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 – Preliminary Table of Contents

Contents - Abstracts - Authors

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


Title Page
Message from the Chairs


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)
Article Search
Parallelism in Practice: Experiences Teaching Concurrency and Parallelism in an Undergraduate OS Course
Charlie Curtsinger
(Grinnell College, USA)
Preprint Info
Theia: Automatically Generating Correct Program State Visualizations
Josh Pollock, Jared Roesch, Doug Woos, and Zachary Tatlock
(University of Washington, USA; Brown University, USA)
Article Search Info
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)
Article Search
ChocoPy: A Programming Language for Compilers Courses
Rohan Padhye, Koushik Sen, and Paul N. Hilfinger
(University of California at Berkeley, USA)
Article Search
Experiences in Bridging from Functional to Object-Oriented Programming
Igor Moreno Santos, Matthias Hauswirth, and Nathaniel Nystrom
(USI Lugano, Switzerland)
Article Search
Lambdulus: Teaching Lambda Calculus Practically
Jan Sliacky and Petr Maj
(Czech Technical University, Czechia)
Article Search
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, n.n.; Microsoft, n.n.)
Article Search

proc time: 1.61