SPLASH Companion 2017
2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2017)

Powered by

2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2017), October 22–27, 2017, Vancouver, BC, Canada

SPLASH Companion 2017 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page

Welcome from the SPLASH 2017 General Chair

Message from the OOPSLA 2017 Program Chair

SPLASH 2017 Organization

Message from the SPLASH 2017 Workshop Chairs

SPLASH 2017 Sponsors and Supporters

Doctoral Symposium

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

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

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

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

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

Student Research Competition

Graduate Students

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

Video

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

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

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

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

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

Undergraduate Students

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

Info

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

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

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

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

Info

Abstracting Resource Effects
Valerie Zhao
(Wellesley College, USA)

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)

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

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)

proc time: 0.44