Powered by
2019 ACM SIGPLAN SPLASH-E Symposium (SPLASH-E 2019), October 25, 2019,
Athens, Greece
2019 ACM SIGPLAN SPLASH-E Symposium (SPLASH-E 2019)
Frontmatter
Papers
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)
@InProceedings{SPLASH-E19p8,
author = {Thomas Ball and Abhijith Chatra and Peli de Halleux and Steve Hodges and Michał Moskal and Jacqueline Russell},
title = {Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript},
booktitle = {Proc.\ SPLASH-E},
publisher = {ACM},
pages = {8-7},
doi = {10.1145/3358711.3361630},
year = {2019},
}
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)
@InProceedings{SPLASH-E19p15,
author = {Molly Q Feldman and Yiting Wang and William E. Byrd and François Guimbretière and Erik Andersen},
title = {Towards Answering “Am I on the Right Track?” Automatically using Program Synthesis},
booktitle = {Proc.\ SPLASH-E},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3358711.3361626},
year = {2019},
}
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)
@InProceedings{SPLASH-E19p28,
author = {Quan Do and Kiersten Campbell and Emmie Hine and Dzung Pham and Alex Taylor and Iris Howley and Daniel W. Barowy},
title = {Evaluating ProDirect Manipulation in Hour of Code},
booktitle = {Proc.\ SPLASH-E},
publisher = {ACM},
pages = {28-27},
doi = {10.1145/3358711.3361623},
year = {2019},
}
Publisher's Version
Experiences in Bridging from Functional to Object-Oriented Programming
Igor Moreno Santos,
Matthias Hauswirth, and
Nathaniel Nystrom
(USI Lugano, Switzerland)
@InProceedings{SPLASH-E19p41,
author = {Igor Moreno Santos and Matthias Hauswirth and Nathaniel Nystrom},
title = {Experiences in Bridging from Functional to Object-Oriented Programming},
booktitle = {Proc.\ SPLASH-E},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3358711.3361628},
year = {2019},
}
Publisher's Version
ChocoPy: A Programming Language for Compilers Courses
Rohan Padhye,
Koushik Sen, and
Paul N. Hilfinger
(University of California at Berkeley, USA)
@InProceedings{SPLASH-E19p48,
author = {Rohan Padhye and Koushik Sen and Paul N. Hilfinger},
title = {ChocoPy: A Programming Language for Compilers Courses},
booktitle = {Proc.\ SPLASH-E},
publisher = {ACM},
pages = {48-47},
doi = {10.1145/3358711.3361627},
year = {2019},
}
Publisher's Version
Theia: Automatically Generating Correct Program State Visualizations
Josh Pollock,
Jared Roesch,
Doug Woos, and
Zachary Tatlock
(University of Washington, USA; Brown University, USA)
@InProceedings{SPLASH-E19p55,
author = {Josh Pollock and Jared Roesch and Doug Woos and Zachary Tatlock},
title = {Theia: Automatically Generating Correct Program State Visualizations},
booktitle = {Proc.\ SPLASH-E},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3358711.3361625},
year = {2019},
}
Publisher's Version
Lambdulus: Teaching Lambda Calculus Practically
Jan Sliacky and
Petr Maj
(Czech Technical University, Czechia)
@InProceedings{SPLASH-E19p68,
author = {Jan Sliacky and Petr Maj},
title = {Lambdulus: Teaching Lambda Calculus Practically},
booktitle = {Proc.\ SPLASH-E},
publisher = {ACM},
pages = {68-67},
doi = {10.1145/3358711.3361629},
year = {2019},
}
Publisher's Version
proc time: 0.73