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

Christoph Kirsch is Professor at the Department of Computer Sciences of the University of Salzburg, Austria. He received his Dr.Ing. degree from Saarland University, Saarbrücken, Germany, in 1999 while at the Max Planck Institute for Computer Science. From 1999 to 2004 he worked as Postdoctoral Researcher at the Department of Electrical Engineering and Computer Sciences of the University of California, Berkeley. He later returned to Berkeley as Visiting Scholar (2008-2013) and Visiting Professor (2014) at the Department of Civil and Environmental Engineering as part of a collaborative research effort in Cyber-Physical Systems. His research interests are in concurrent programming, memory management, virtualization, and automated theorem proving. Dr. Kirsch co-invented embedded programming languages and systems such as Giotto, HTL, and the Embedded Machine, and more recently co-designed high-performance, multicore-scalable concurrent data structures and memory management systems. He co-founded the International Conference on Embedded Software (EMSOFT) and served as ACM SIGBED chair from 2011 until 2013 and ACM TODAES associate editor from 2011 until 2014. He is currently associate editor of IEEE TCAD.

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