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)


Title Page
Welcome from the Chair


Parallelism in Practice: Experiences Teaching Concurrency and Parallelism in an Undergraduate OS Course
Charlie Curtsinger
(Grinnell College, USA)
Publisher's Version Info
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball ORCID logo, Abhijith Chatra, Peli de Halleux ORCID logo, Steve Hodges, Michał Moskal ORCID logo, and Jacqueline Russell
(Microsoft Research, USA; Microsoft, USA; Microsoft Research, UK)
Publisher's Version
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
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
Experiences in Bridging from Functional to Object-Oriented Programming
Igor Moreno Santos ORCID logo, Matthias Hauswirth ORCID logo, and Nathaniel Nystrom
(USI Lugano, Switzerland)
Publisher's Version
ChocoPy: A Programming Language for Compilers Courses
Rohan Padhye, Koushik Sen, and Paul N. Hilfinger
(University of California at Berkeley, USA)
Publisher's Version
Theia: Automatically Generating Correct Program State Visualizations
Josh Pollock, Jared Roesch, Doug Woos, and Zachary Tatlock ORCID logo
(University of Washington, USA; Brown University, USA)
Publisher's Version Info
Lambdulus: Teaching Lambda Calculus Practically
Jan Sliacky and Petr Maj
(Czech Technical University, Czechia)
Publisher's Version

proc time: 1.47