Workshop SPLASH-E 2019 – Author Index

A B C D F G H M N P R S T W

	Andersen, Erik	SPLASH-E '19: "Towards Answering “Am I ..." 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
	Ball, Thomas	SPLASH-E '19: "Microsoft MakeCode: Embedded ..." 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
	Barowy, Daniel W.	SPLASH-E '19: "Evaluating ProDirect Manipulation ..." 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
	Byrd, William E.	SPLASH-E '19: "Towards Answering “Am I ..." 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
	Campbell, Kiersten	SPLASH-E '19: "Evaluating ProDirect Manipulation ..." 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
	Chatra, Abhijith	SPLASH-E '19: "Microsoft MakeCode: Embedded ..." 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
	Curtsinger, Charlie	SPLASH-E '19: "Parallelism in Practice: Experiences ..." Parallelism in Practice: Experiences Teaching Concurrency and Parallelism in an Undergraduate OS Course Charlie Curtsinger (Grinnell College, USA) @InProceedings{SPLASH-E19p1, author = {Charlie Curtsinger}, title = {Parallelism in Practice: Experiences Teaching Concurrency and Parallelism in an Undergraduate OS Course}, booktitle = {Proc.\ SPLASH-E}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3358711.3361624}, year = {2019}, } Publisher's Version
	De Halleux, Peli	SPLASH-E '19: "Microsoft MakeCode: Embedded ..." 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
	Do, Quan	SPLASH-E '19: "Evaluating ProDirect Manipulation ..." 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
	Feldman, Molly Q	SPLASH-E '19: "Towards Answering “Am I ..." 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
	Guimbretière, François	SPLASH-E '19: "Towards Answering “Am I ..." 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
	Hauswirth, Matthias	SPLASH-E '19: "Experiences in Bridging from ..." 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
	Hilfinger, Paul N.	SPLASH-E '19: "ChocoPy: A Programming Language ..." 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
	Hine, Emmie	SPLASH-E '19: "Evaluating ProDirect Manipulation ..." 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
	Hodges, Steve	SPLASH-E '19: "Microsoft MakeCode: Embedded ..." 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
	Howley, Iris	SPLASH-E '19: "Evaluating ProDirect Manipulation ..." 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
	Maj, Petr	SPLASH-E '19: "Lambdulus: Teaching Lambda ..." 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
	Moskal, Michał	SPLASH-E '19: "Microsoft MakeCode: Embedded ..." 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
	Nystrom, Nathaniel	SPLASH-E '19: "Experiences in Bridging from ..." 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
	Padhye, Rohan	SPLASH-E '19: "ChocoPy: A Programming Language ..." 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
	Pham, Dzung	SPLASH-E '19: "Evaluating ProDirect Manipulation ..." 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
	Pollock, Josh	SPLASH-E '19: "Theia: Automatically Generating ..." 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
	Roesch, Jared	SPLASH-E '19: "Theia: Automatically Generating ..." 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
	Russell, Jacqueline	SPLASH-E '19: "Microsoft MakeCode: Embedded ..." 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
	Santos, Igor Moreno	SPLASH-E '19: "Experiences in Bridging from ..." 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
	Sen, Koushik	SPLASH-E '19: "ChocoPy: A Programming Language ..." 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
	Sliacky, Jan	SPLASH-E '19: "Lambdulus: Teaching Lambda ..." 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
	Tatlock, Zachary	SPLASH-E '19: "Theia: Automatically Generating ..." 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
	Taylor, Alex	SPLASH-E '19: "Evaluating ProDirect Manipulation ..." 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
	Wang, Yiting	SPLASH-E '19: "Towards Answering “Am I ..." 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
	Woos, Doug	SPLASH-E '19: "Theia: Automatically Generating ..." 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

31 authors

proc time: 0.02