Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Mon 23 Oct 2017 17:30 - 19:30 at Poster Area - Poster Reception Monday Chair(s): Jonathan Bell, Patrick Lam
Wed 25 Oct 2017 17:30 - 19:30 at Poster Area - Poster Reception Wednesday Chair(s): Jonathan Bell, Patrick Lam

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

17:30 - 19:30
Poster Reception MondayPosters at Poster Area
Chair(s): Jonathan Bell George Mason University, Patrick Lam University of Waterloo
17:30
2h
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair F. Donaldson Imperial College London
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla Susungi MINES ParisTech, France
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman Roychoudhury Tata Consultancy Services Research
17:30
2h
Talk
Systems Level Liveness with Extempore
Posters
Andrew Sorensen Australian National University
17:30
2h
Talk
Incremental Parametric Syntax for Multi-Language Transformation
Posters
17:30
2h
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya Melicher Carnegie Mellon University
17:30
2h
Talk
What merge tool should I use?
Posters
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark Santolucito Yale University
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide Ancona University of Genova
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis Carlson University of Minnesota, USA
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim Zaytsev Raincode Labs, Belgium
17:30
2h
Talk
The Tensor Algebra Compiler
Posters
17:30
2h
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper Oqvist Lund University
17:30
2h
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr Maj ReactorLabs
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui Ge University of British Columbia, Canada
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica Piskac Yale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica Figuera Universidad Simón Bolívar
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Germán Ceballos Uppsala University, Erik Hagersten Uppsala University, David Black-Schaffer Uppsala University
17:30
2h
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David Grove IBM Research
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo Oh Korea University
17:30
2h
Talk
Selfie and the Basics
Posters
Christoph Kirsch University of Salzburg
17:30
2h
Talk
P/Taint: Unified Points-To and Information Flow Analysis
Posters
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene Syriani University of Montreal
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl Cronburg Tufts University
17:30
2h
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. Newcomb University of California at Berkeley
17:30
2h
Talk
Locality-Guided Scheduling in CAF
Posters
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Soldevila FAMAF, UNC / CONICET
17:30
2h
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi Shen Massachusetts Institute of Technology
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo Oh Korea University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist Adamsen Aarhus University
17:30
2h
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
17:30
2h
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Derrick Lin Independent Researcher, James Koppel MIT, Angela Chen Google, Inc, Armando Solar-Lezama MIT CSAIL
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan Maeng Carnegie Mellon University, USA
17:30
2h
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Julien Gascon-Samson , Rafiuzzaman Mohammad University of British Columbia, Karthik Pattabiraman University of British Columbia
17:30
2h
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda Khairunnesa Iowa State University
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim Zaytsev Raincode Labs, Belgium

Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

17:30 - 19:30
Poster Reception WednesdayPosters at Poster Area
Chair(s): Jonathan Bell George Mason University, Patrick Lam University of Waterloo
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim Zaytsev Raincode Labs, Belgium
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark Santolucito Yale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica Figuera Universidad Simón Bolívar
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan Maeng Carnegie Mellon University, USA
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis Carlson University of Minnesota, USA
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Soldevila FAMAF, UNC / CONICET
17:30
2h
Talk
P/Taint: Unified Points-To and Information Flow Analysis
Posters
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica Piskac Yale University
17:30
2h
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
17:30
2h
Talk
Incremental Parametric Syntax for Multi-Language Transformation
Posters
17:30
2h
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla Susungi MINES ParisTech, France
17:30
2h
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Julien Gascon-Samson , Rafiuzzaman Mohammad University of British Columbia, Karthik Pattabiraman University of British Columbia
17:30
2h
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper Oqvist Lund University
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene Syriani University of Montreal
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim Zaytsev Raincode Labs, Belgium
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide Ancona University of Genova
17:30
2h
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl Cronburg Tufts University
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr Maj ReactorLabs
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David Grove IBM Research
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Germán Ceballos Uppsala University, Erik Hagersten Uppsala University, David Black-Schaffer Uppsala University
17:30
2h
Talk
Selfie and the Basics
Posters
Christoph Kirsch University of Salzburg
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui Ge University of British Columbia, Canada
17:30
2h
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda Khairunnesa Iowa State University
17:30
2h
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Derrick Lin Independent Researcher, James Koppel MIT, Angela Chen Google, Inc, Armando Solar-Lezama MIT CSAIL
17:30
2h
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya Melicher Carnegie Mellon University
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. Newcomb University of California at Berkeley
17:30
2h
Talk
Systems Level Liveness with Extempore
Posters
Andrew Sorensen Australian National University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist Adamsen Aarhus University
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo Oh Korea University
17:30
2h
Talk
The Tensor Algebra Compiler
Posters
17:30
2h
Talk
What merge tool should I use?
Posters
17:30
2h
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi Shen Massachusetts Institute of Technology
17:30
2h
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair F. Donaldson Imperial College London
17:30
2h
Talk
Locality-Guided Scheduling in CAF
Posters
17:30
2h
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo Oh Korea University
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman Roychoudhury Tata Consultancy Services Research