SPLASH Workshops 2019
2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Workshops 2019)
Powered by
Conference Publishing Consulting
2019 ACM SIGPLAN SPLASH-E Symposium (SPLASH-E 2019), October 25, 2019, Athens, Greece

SPLASH-E 2019 – Proceedings

 Contents - Abstracts - Authors

2019 ACM SIGPLAN SPLASH-E Symposium (SPLASH-E 2019)

Frontmatter

Title Page
Article: splashws19splasheforeword-fm000-p doi:
Welcome from the Chair
Article: splashws19splasheforeword-fm001-p doi:

Papers

Parallelism in Practice: Experiences Teaching Concurrency and Parallelism in an Undergraduate OS Course
Charlie Curtsinger
(Grinnell College, USA)
Publisher's Version Article: splashws19splashemain-p2-p doi:10.1145/3358711.3361624
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michał Moskal, and Jacqueline Russell
(Microsoft Research, USA; Microsoft, USA; Microsoft Research, UK)
Publisher's Version Article: splashws19splashemain-p8-p doi:10.1145/3358711.3361630
Towards Answering “Am I on the Right Track?” Automatically using Program Synthesis
Molly Q Feldman, Yiting Wang, William E. Byrd, François Guimbretière, and Erik Andersen
(Cornell University, USA; University of Alabama at Birmingham, USA)
Publisher's Version Article: splashws19splashemain-p4-p doi:10.1145/3358711.3361626
Evaluating ProDirect Manipulation in Hour of Code
Quan Do, Kiersten Campbell, Emmie Hine, Dzung Pham, Alex Taylor, Iris Howley, and Daniel W. Barowy
(Williams College, USA)
Publisher's Version Article: splashws19splashemain-p1-p doi:10.1145/3358711.3361623
Experiences in Bridging from Functional to Object-Oriented Programming
Igor Moreno Santos, Matthias Hauswirth, and Nathaniel Nystrom
(USI Lugano, Switzerland)
Publisher's Version Article: splashws19splashemain-p6-p doi:10.1145/3358711.3361628
ChocoPy: A Programming Language for Compilers Courses
Rohan Padhye, Koushik Sen, and Paul N. Hilfinger
(University of California at Berkeley, USA)
Publisher's Version Article: splashws19splashemain-p5-p doi:10.1145/3358711.3361627
Theia: Automatically Generating Correct Program State Visualizations
Josh Pollock, Jared Roesch, Doug Woos, and Zachary Tatlock
(University of Washington, USA; Brown University, USA)
Publisher's Version Article: splashws19splashemain-p3-p doi:10.1145/3358711.3361625
Lambdulus: Teaching Lambda Calculus Practically
Jan Sliacky and Petr Maj
(Czech Technical University, Czechia)
Publisher's Version Article: splashws19splashemain-p7-p doi:10.1145/3358711.3361629

proc time: 0.01