SPLASH Companion 2017 – Proceedings

Frontmatter

Doctoral Symposium

How to Make Tasks Faster: Revealing the Complex Interactions of Tasks in the Memory System
Germán Ceballos
(Uppsala University, Sweden)


@InProceedings{SPLASH Companion17p1, author = {Germán Ceballos}, title = {How to Make Tasks Faster: Revealing the Complex Interactions of Tasks in the Memory System}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: splashcomp17doc-splashcomp17doc1-p doi:

Combining Visual and Textual Languages for Dyslexia
Luis F. González
(Universidad Politécnica de Madrid, Spain; Politecnico Colombiano Jaime Isaza Cadavid, Colombia)


@InProceedings{SPLASH Companion17p4, author = {Luis F. González}, title = {Combining Visual and Textual Languages for Dyslexia}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {4-3}, doi = {}, year = {2017}, } Article: splashcomp17doc-splashcomp17doc8-p doi:

Genetic Improvement in Code Interpreters and Compilers
Oliver Krauss
(JKU Linz, Austria; University of Applied Sciences Upper Austria at Hagenberg, Austria)


@InProceedings{SPLASH Companion17p7, author = {Oliver Krauss}, title = {Genetic Improvement in Code Interpreters and Compilers}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2017}, } Article: splashcomp17doc-splashcomp17doc4-p doi:

Simulation-Based Code Duplication for Enhancing Compiler Optimizations
David Leopoldseder
(JKU Linz, Austria)


@InProceedings{SPLASH Companion17p10, author = {David Leopoldseder}, title = {Simulation-Based Code Duplication for Enhancing Compiler Optimizations}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {10-9}, doi = {}, year = {2017}, } Article: splashcomp17doc-splashcomp17doc5-p doi:

Advanced Debugging Techniques to Identify Concurrency Bugs in Actor-based Programs
Carmen Torres Lopez
(Vrije Universiteit Brussel, Belgium)


@InProceedings{SPLASH Companion17p13, author = {Carmen Torres Lopez}, title = {Advanced Debugging Techniques to Identify Concurrency Bugs in Actor-based Programs}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: splashcomp17doc-splashcomp17doc7-p doi:

Student Research Competition

Graduate Students

Framework Support for Usability Evaluation of Domain-Specific Languages
Ankica Barišić
(Nova University of Lisbon, Portugal)


@InProceedings{SPLASH Companion17p16, author = {Ankica Barišić}, title = {Framework Support for Usability Evaluation of Domain-Specific Languages}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {16-15}, doi = {}, year = {2017}, } Article: splashcomp17src-splash17src14-p doi:

What Merge Tool Should I Use?
Guilherme Cavalcanti
(Federal University of Pernambuco, Brazil)


@InProceedings{SPLASH Companion17p19, author = {Guilherme Cavalcanti}, title = {What Merge Tool Should I Use?}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2017}, } Article: splashcomp17src-splash17src4-p doi:

Understanding the Interplay between Task Scheduling, Memory and Performance
Germán Ceballos, Erik Hagersten, and David Black-Schaffer
(Uppsala University, Sweden)


@InProceedings{SPLASH Companion17p22, author = {Germán Ceballos and Erik Hagersten and David Black-Schaffer}, title = {Understanding the Interplay between Task Scheduling, Memory and Performance}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {22-21}, doi = {}, year = {2017}, } Article: splashcomp17src-splash17src2-p doi:

Automatic Testing of Interactive JavaScript Debuggers
Daniel Lehmann
(TU Darmstadt, Germany)


@InProceedings{SPLASH Companion17p25, author = {Daniel Lehmann}, title = {Automatic Testing of Interactive JavaScript Debuggers}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Article: splashcomp17src-splash17src6-p doi:

Computer-Assisted Specification of Asynchronous Interfaces with Non-deterministic Behavior
Nicholas V. Lewchenko
(University of Colorado at Boulder, USA)


@InProceedings{SPLASH Companion17p28, author = {Nicholas V. Lewchenko}, title = {Computer-Assisted Specification of Asynchronous Interfaces with Non-deterministic Behavior}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {28-27}, doi = {}, year = {2017}, } Article: splashcomp17src-splash17src5-p doi:

Verifying the Proxy Design Pattern using Object Propositions
Ligia Nistor
(Carnegie Mellon University, USA)


@InProceedings{SPLASH Companion17p31, author = {Ligia Nistor}, title = {Verifying the Proxy Design Pattern using Object Propositions}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2017}, } Article: splashcomp17src-splash17src11-p doi:

Undergraduate Students

ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing
Monica Figuera
(Simón Bolívar University, Venezuela)


@InProceedings{SPLASH Companion17p34, author = {Monica Figuera}, title = {ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {34-33}, doi = {}, year = {2017}, } Article: splashcomp17src-splash17src10-p doi:

How to Efficiently Process 2¹⁰⁰ List Variations
Lukas Lazarek
(University of Massachusetts at Lowell, USA)


@InProceedings{SPLASH Companion17p37, author = {Lukas Lazarek}, title = {How to Efficiently Process 2¹⁰⁰ List Variations}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: splashcomp17src-splash17src12-p doi:

How Are Programming Questions from Women Received on Stack Overflow? A Case Study of Peer Parity
Savannah Morgan
(Centre College, USA)


@InProceedings{SPLASH Companion17p40, author = {Savannah Morgan}, title = {How Are Programming Questions from Women Received on Stack Overflow? A Case Study of Peer Parity}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {40-39}, doi = {}, year = {2017}, } Article: splashcomp17src-splash17src13-p doi:

Devirtualization in LLVM
Piotr Padlewski
(University of Warsaw, Poland)


@InProceedings{SPLASH Companion17p43, author = {Piotr Padlewski}, title = {Devirtualization in LLVM}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {43-42}, doi = {}, year = {2017}, } Article: splashcomp17src-splash17src8-p doi:

Principles, Patterns, and Techniques for Designing and Implementing Practical Fluent Interfaces in Java
Haochen Xie
(Nagoya University, Japan)


@InProceedings{SPLASH Companion17p46, author = {Haochen Xie}, title = {Principles, Patterns, and Techniques for Designing and Implementing Practical Fluent Interfaces in Java}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2017}, } Article: splashcomp17src-splash17src9-p doi:

Abstracting Resource Effects
Valerie Zhao
(Wellesley College, USA)


@InProceedings{SPLASH Companion17p49, author = {Valerie Zhao}, title = {Abstracting Resource Effects}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, } Article: splashcomp17src-splash17src7-p doi:

Posters

SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Julien Gascon-Samson, Mohammad Rafiuzzaman, and Karthik Pattabiraman
(University of British Columbia, Canada)


@InProceedings{SPLASH Companion17p52, author = {Julien Gascon-Samson and Mohammad Rafiuzzaman and Karthik Pattabiraman}, title = {SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {52-51}, doi = {}, year = {2017}, } Article: splashcomp17posters-posters4-p doi:

Incremental Parametric Syntax for Multi-Language Transformation
James Koppel and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA)


@InProceedings{SPLASH Companion17p54, author = {James Koppel and Armando Solar-Lezama}, title = {Incremental Parametric Syntax for Multi-Language Transformation}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {54-53}, doi = {}, year = {2017}, } Article: splashcomp17posters-posters5-p doi:

QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Derrick Lin, James Koppel, Angela Chen, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA; Google, USA)


@InProceedings{SPLASH Companion17p56, author = {Derrick Lin and James Koppel and Angela Chen and Armando Solar-Lezama}, title = {QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {56-55}, doi = {}, year = {2017}, } Article: splashcomp17posters-posters7-p doi:

proc time: 0.03