Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
VenueHyatt Regency Vancouver
Room namePoster Area
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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
2h
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair F. DonaldsonImperial College London
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla SusungiMINES ParisTech, France
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman RoychoudhuryTata Consultancy Services Research
17:30
2h
Talk
Systems Level Liveness with Extempore
Posters
Andrew SorensenAustralian 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 MelicherCarnegie 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 SantolucitoYale University
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide AnconaUniversity of Genova
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis CarlsonUniversity of Minnesota, USA
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30
2h
Talk
The Tensor Algebra Compiler
Posters
17:30
2h
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper OqvistLund 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 MajReactorLabs
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui GeUniversity of British Columbia, Canada
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica PiskacYale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica FigueraUniversidad 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 CeballosUppsala University, Erik HagerstenUppsala University, David Black-SchafferUppsala 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 GroveIBM Research
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo OhKorea University
17:30
2h
Talk
Selfie and the Basics
Posters
Christoph KirschUniversity 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 SyrianiUniversity of Montreal
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl CronburgTufts 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. NewcombUniversity 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 Ernesto Soldevila RaffaFAMAF, UNC / CONICET
17:30
2h
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi ShenMassachusetts Institute of Technology
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo OhKorea University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist AdamsenAarhus 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 LinIndependent Researcher, James KoppelMIT, Angela ChenGoogle, Inc, Armando Solar-LezamaMIT CSAIL
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan MaengCarnegie Mellon University, USA
17:30
2h
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
2h
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda KhairunnesaIowa State University
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30 - 19:30
Monday Poster ReceptionSocial Program at Poster Area
17:30
2h
Social Event
Monday Workshop and Poster Reception
Social Program
Gail MurphyUniversity of British Columbia

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

17:30 - 19:30
SRC 1st Round: PostersStudent Research Competition at Poster Area
Chair(s): Shan Shan HuangLogicBlox, Inc., Jennifer B. SartorVrije Universiteit Brussel
17:30
2h
Talk
What merge tool should I use?
Student Research Competition
Guilherme CavalcantiFederal University of Pernambuco, Brazil
17:30
2h
Talk
Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java
Student Research Competition
Haochen XieNagoya University
17:30
2h
Talk
How to Efficiently Process 2^100 Different Lists
Student Research Competition
17:30
2h
Talk
Automatic Testing of Interactive JavaScript Debuggers
Student Research Competition
Daniel LehmannTU Darmstadt
17:30
2h
Talk
Abstracting Resource Effects
Student Research Competition
Valerie ZhaoWellesley College
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Student Research Competition
Germán CeballosUppsala University
17:30
2h
Talk
Genetic Improvement in Code Interpreters and Compilers
Student Research Competition
Oliver KraussUniversity of Applied Sciences Upper Austria
17:30
2h
Talk
How Are Programming ƒQuestions from Women Received on Stack Overflow? A Case Study of Peer Parity
Student Research Competition
17:30
2h
Talk
Framework support for Usability evaluation of Domain-Specific Languages
Student Research Competition
Ankica BarisicNOVA-LINCS - Universidade Nova de Lisboa
17:30
2h
Talk
Computer-Assisted Specification of Asynchronous Interfaces with Non-Deterministic Behavior
Student Research Competition
17:30
2h
Talk
Devirtualization in LLVM
Student Research Competition
17:30
2h
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
Student Research Competition
David LeopoldsederJohannes Kepler University Linz
17:30
2h
Talk
Verifying the Proxy Design Pattern Using Object Propositions
Student Research Competition
Nistor LigiaCarnegie Mellon University
17:30
2h
Talk
ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing
Student Research Competition
Monica FigueraUniversidad Simón Bolívar
17:30 - 19:30
Wednesday Poster ReceptionSocial Program at Poster Area
17:30
2h
Social Event
Wednesday Poster Reception
Social Program
Gail MurphyUniversity of British Columbia
17:30 - 19:30
Poster Reception WednesdayPosters at Poster Area
Chair(s): Patrick LamUniversity of Waterloo, Jonathan BellGeorge Mason University
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark SantolucitoYale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica FigueraUniversidad Simón Bolívar
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan MaengCarnegie Mellon University, USA
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis CarlsonUniversity of Minnesota, USA
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Ernesto Soldevila RaffaFAMAF, 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 PiskacYale 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 SusungiMINES ParisTech, France
17:30
2h
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
2h
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper OqvistLund University
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene SyrianiUniversity of Montreal
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide AnconaUniversity 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 CronburgTufts University
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr MajReactorLabs
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David GroveIBM Research
17:30
2h
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
2h
Talk
Selfie and the Basics
Posters
Christoph KirschUniversity of Salzburg
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui GeUniversity of British Columbia, Canada
17:30
2h
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda KhairunnesaIowa State University
17:30
2h
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
2h
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya MelicherCarnegie Mellon University
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. NewcombUniversity of California at Berkeley
17:30
2h
Talk
Systems Level Liveness with Extempore
Posters
Andrew SorensenAustralian National University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist AdamsenAarhus University
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo OhKorea 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 ShenMassachusetts Institute of Technology
17:30
2h
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair F. DonaldsonImperial 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 OhKorea University
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman RoychoudhuryTata Consultancy Services Research

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

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

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

Room17:0015304518:0015304519:00153045
Poster Area
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30

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

Room17:0015304518:0015304519:00153045
Poster Area
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30
17:30 - 19:30