SPLASH-E 2019 – Proceedings

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

Frontmatter

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 (type: Full Paper (Short paper, 5 pages + references)) 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 (type: Full Paper (Short paper, 5 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (Short paper, 5 pages + references)) 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 (type: Full Paper (Short paper, 5 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) doi:10.1145/3358711.3361629

proc time: 0.02