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): Patrick Lam, Jonathan Bell

Fredrik Kjolstad is a PhD candidate at MIT. He works on compilers and languages for fast computing with linear and tensor algebra, including the Tensor Algebra Compiler (taco) and the Simit programming language. He believes we should program with systems as well as objects, and that math abstractions should be brought into programming languages. He is from northern Norway and likes literature, music and hiking.

Mon 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

17:30 - 19:30: Poster Reception MondayPosters at Poster Area
Chair(s): Jonathan BellGeorge Mason University, Patrick LamUniversity of Waterloo
17:30 - 19:30
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair DonaldsonImperial College London
17:30 - 19:30
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla SusungiMINES ParisTech, France
17:30 - 19:30
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman RoychoudhuryTata Consultancy Services Research
17:30 - 19:30
Talk
Systems Level Liveness with Extempore
Posters
Andrew SorensenAustralian National University
17:30 - 19:30
Talk
Incremental Parametric Syntax for Multi-Language Transformation
Posters
17:30 - 19:30
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya MelicherCarnegie Mellon University
17:30 - 19:30
Talk
What merge tool should I use?
Posters
17:30 - 19:30
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark SantolucitoYale University
17:30 - 19:30
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide AnconaUniversity of Genova
17:30 - 19:30
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis CarlsonUniversity of Minnesota, USA
17:30 - 19:30
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30 - 19:30
Talk
The Tensor Algebra Compiler
Posters
17:30 - 19:30
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper OqvistLund University
17:30 - 19:30
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
17:30 - 19:30
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr MajReactorLabs
17:30 - 19:30
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui GeUniversity of British Columbia, Canada
17:30 - 19:30
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica PiskacYale University
17:30 - 19:30
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica FigueraUniversidad Simón Bolívar
17:30 - 19:30
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Germán CeballosUppsala University, Erik HagerstenUppsala University, David Black-SchafferUppsala University
17:30 - 19:30
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
17:30 - 19:30
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David GroveIBM Research
17:30 - 19:30
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo OhKorea University
17:30 - 19:30
Talk
Selfie and the Basics
Posters
Christoph KirschUniversity of Salzburg
17:30 - 19:30
Talk
P/Taint: Unified Points-To and Information Flow Analysis
Posters
17:30 - 19:30
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene SyrianiUniversity of Montreal
17:30 - 19:30
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl CronburgTufts University
17:30 - 19:30
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
17:30 - 19:30
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. NewcombUniversity of California at Berkeley
17:30 - 19:30
Talk
Locality-Guided Scheduling in CAF
Posters
17:30 - 19:30
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET
17:30 - 19:30
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi ShenMassachusetts Institute of Technology
17:30 - 19:30
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo OhKorea University
17:30 - 19:30
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist AdamsenAarhus University
17:30 - 19:30
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
17:30 - 19:30
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Derrick LinIndependent Researcher, James KoppelMIT, Angela ChenGoogle, Inc, Armando Solar-LezamaMIT CSAIL
17:30 - 19:30
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan MaengCarnegie Mellon University, USA
17:30 - 19:30
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Julien Gascon-Samson, Rafiuzzaman MohammadUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
17:30 - 19:30
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda KhairunnesaIowa State University
17:30 - 19:30
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim ZaytsevRaincode Labs, Belgium

Wed 25 Oct
Times are displayed in time zone: Tijuana, Baja California change

17:30 - 19:30: Poster Reception WednesdayPosters at Poster Area
Chair(s): Patrick LamUniversity of Waterloo, Jonathan BellGeorge Mason University
17:30 - 19:30
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30 - 19:30
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark SantolucitoYale University
17:30 - 19:30
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica FigueraUniversidad Simón Bolívar
17:30 - 19:30
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan MaengCarnegie Mellon University, USA
17:30 - 19:30
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis CarlsonUniversity of Minnesota, USA
17:30 - 19:30
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET
17:30 - 19:30
Talk
P/Taint: Unified Points-To and Information Flow Analysis
Posters
17:30 - 19:30
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica PiskacYale University
17:30 - 19:30
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
17:30 - 19:30
Talk
Incremental Parametric Syntax for Multi-Language Transformation
Posters
17:30 - 19:30
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
17:30 - 19:30
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla SusungiMINES ParisTech, France
17:30 - 19:30
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Julien Gascon-Samson, Rafiuzzaman MohammadUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
17:30 - 19:30
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper OqvistLund University
17:30 - 19:30
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene SyrianiUniversity of Montreal
17:30 - 19:30
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30 - 19:30
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide AnconaUniversity of Genova
17:30 - 19:30
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
17:30 - 19:30
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl CronburgTufts University
17:30 - 19:30
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr MajReactorLabs
17:30 - 19:30
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David GroveIBM Research
17:30 - 19:30
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Germán CeballosUppsala University, Erik HagerstenUppsala University, David Black-SchafferUppsala University
17:30 - 19:30
Talk
Selfie and the Basics
Posters
Christoph KirschUniversity of Salzburg
17:30 - 19:30
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui GeUniversity of British Columbia, Canada
17:30 - 19:30
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda KhairunnesaIowa State University
17:30 - 19:30
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Derrick LinIndependent Researcher, James KoppelMIT, Angela ChenGoogle, Inc, Armando Solar-LezamaMIT CSAIL
17:30 - 19:30
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya MelicherCarnegie Mellon University
17:30 - 19:30
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. NewcombUniversity of California at Berkeley
17:30 - 19:30
Talk
Systems Level Liveness with Extempore
Posters
Andrew SorensenAustralian National University
17:30 - 19:30
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist AdamsenAarhus University
17:30 - 19:30
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo OhKorea University
17:30 - 19:30
Talk
The Tensor Algebra Compiler
Posters
17:30 - 19:30
Talk
What merge tool should I use?
Posters
17:30 - 19:30
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi ShenMassachusetts Institute of Technology
17:30 - 19:30
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair DonaldsonImperial College London
17:30 - 19:30
Talk
Locality-Guided Scheduling in CAF
Posters
17:30 - 19:30
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
17:30 - 19:30
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo OhKorea University
17:30 - 19:30
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman RoychoudhuryTata Consultancy Services Research