| |
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
Article: splashws19splashemain-p4-p doi:10.1145/3358711.3361626
|
| |
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
Article: splashws19splashemain-p8-p doi:10.1145/3358711.3361630
|
| |
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
Article: splashws19splashemain-p1-p doi:10.1145/3358711.3361623
|
| |
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
Article: splashws19splashemain-p4-p doi:10.1145/3358711.3361626
|
| |
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
Article: splashws19splashemain-p1-p doi:10.1145/3358711.3361623
|
| |
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
Article: splashws19splashemain-p8-p doi:10.1145/3358711.3361630
|
| |
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
Article: splashws19splashemain-p2-p doi:10.1145/3358711.3361624
|
| |
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
Article: splashws19splashemain-p8-p doi:10.1145/3358711.3361630
|
| |
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
Article: splashws19splashemain-p1-p doi:10.1145/3358711.3361623
|
| |
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
Article: splashws19splashemain-p4-p doi:10.1145/3358711.3361626
|
| |
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
Article: splashws19splashemain-p4-p doi:10.1145/3358711.3361626
|
| |
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
Article: splashws19splashemain-p6-p doi:10.1145/3358711.3361628
|
| |
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
Article: splashws19splashemain-p5-p doi:10.1145/3358711.3361627
|
| |
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
Article: splashws19splashemain-p1-p doi:10.1145/3358711.3361623
|
| |
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
Article: splashws19splashemain-p8-p doi:10.1145/3358711.3361630
|
| |
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
Article: splashws19splashemain-p1-p doi:10.1145/3358711.3361623
|
| |
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
Article: splashws19splashemain-p7-p doi:10.1145/3358711.3361629
|
| |
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
Article: splashws19splashemain-p8-p doi:10.1145/3358711.3361630
|
| |
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
Article: splashws19splashemain-p6-p doi:10.1145/3358711.3361628
|
| |
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
Article: splashws19splashemain-p5-p doi:10.1145/3358711.3361627
|
| |
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
Article: splashws19splashemain-p1-p doi:10.1145/3358711.3361623
|
| |
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
Article: splashws19splashemain-p3-p doi:10.1145/3358711.3361625
|
| |
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
Article: splashws19splashemain-p3-p doi:10.1145/3358711.3361625
|
| |
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
Article: splashws19splashemain-p8-p doi:10.1145/3358711.3361630
|
| |
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
Article: splashws19splashemain-p6-p doi:10.1145/3358711.3361628
|
| |
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
Article: splashws19splashemain-p5-p doi:10.1145/3358711.3361627
|
| |
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
Article: splashws19splashemain-p7-p doi:10.1145/3358711.3361629
|
| |
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
Article: splashws19splashemain-p3-p doi:10.1145/3358711.3361625
|
| |
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
Article: splashws19splashemain-p1-p doi:10.1145/3358711.3361623
|
| |
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
Article: splashws19splashemain-p4-p doi:10.1145/3358711.3361626
|
| |
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
Article: splashws19splashemain-p3-p doi:10.1145/3358711.3361625
|