Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
VenueHyatt Regency Vancouver
Room namePoster Area
Floor0
Additional informationThere is no additional information of this room 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 MondaySPLASH Posters at Poster Area
Chair(s): Jonathan BellGeorge Mason University, Patrick LamUniversity of Waterloo
17:30 - 19:30
Talk
Automated Testing of Graphics Shader Compilers
SPLASH Posters
Alastair DonaldsonImperial College London
17:30 - 19:30
Talk
Towards Compositional and Generative Tensor Optimizations
SPLASH Posters
Adilla SusungiMINES ParisTech, France
17:30 - 19:30
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
SPLASH Posters
Suman RoychoudhuryTata Consultancy Services Research
17:30 - 19:30
Talk
Systems Level Liveness with Extempore
SPLASH Posters
Andrew SorensenAustralian National University
17:30 - 19:30
Talk
Incremental Parametric Syntax for Multi-Language Transformation
SPLASH Posters
17:30 - 19:30
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
SPLASH Posters
Darya MelicherCarnegie Mellon University
17:30 - 19:30
Talk
What merge tool should I use?
SPLASH Posters
17:30 - 19:30
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
SPLASH Posters
Mark SantolucitoYale University
17:30 - 19:30
Talk
Reasoning on Divergent Computations with Coaxioms
SPLASH Posters
Davide AnconaUniversity of Genova
17:30 - 19:30
Talk
Reliable and Automatic Composition of Language Extensions to C
SPLASH Posters
Travis CarlsonUniversity of Minnesota, USA
17:30 - 19:30
Talk
Towards a Taxonomy of Grammar Smells
SPLASH Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30 - 19:30
Talk
The Tensor Algebra Compiler
SPLASH Posters
17:30 - 19:30
Talk
Concurrent Circular Reference Attribute Grammars
SPLASH Posters
Jesper OqvistLund University
17:30 - 19:30
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
SPLASH Posters
17:30 - 19:30
Talk
DéjàVu: A Map of Code Duplicates on GitHub
SPLASH Posters
Petr MajReactorLabs
17:30 - 19:30
Talk
Refining Semantics for Multi-stage Programming
SPLASH Posters
Rui GeUniversity of British Columbia, Canada
17:30 - 19:30
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
SPLASH Posters
Ruzica PiskacYale University
17:30 - 19:30
Talk
ZenSheet Studio: a visual environment for functional reactive computing
SPLASH 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
SPLASH 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
SPLASH Posters
17:30 - 19:30
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
SPLASH Posters
David GroveIBM Research
17:30 - 19:30
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
SPLASH Posters
Hakjoo OhKorea University
17:30 - 19:30
Talk
Selfie and the Basics
SPLASH Posters
Christoph KirschUniversity of Salzburg
17:30 - 19:30
Talk
P/Taint: Unified Points-To and Information Flow Analysis
SPLASH Posters
17:30 - 19:30
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
SPLASH Posters
Eugene SyrianiUniversity of Montreal
17:30 - 19:30
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
SPLASH Posters
Karl CronburgTufts University
17:30 - 19:30
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
SPLASH Posters
17:30 - 19:30
Talk
Iota: A Calculus for Internet of Things Automation
SPLASH Posters
Julie L. NewcombUniversity of California at Berkeley
17:30 - 19:30
Talk
Locality-Guided Scheduling in CAF
SPLASH Posters
17:30 - 19:30
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
SPLASH Posters
Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET
17:30 - 19:30
Talk
Robust Programs with Filtered Iterators
SPLASH Posters
Jiasi ShenMassachusetts Institute of Technology
17:30 - 19:30
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
SPLASH Posters
Hakjoo OhKorea University
17:30 - 19:30
Talk
Practical Initialization Race Detection for JavaScript Web Applications
SPLASH Posters
Christoffer Quist AdamsenAarhus University
17:30 - 19:30
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
SPLASH Posters
17:30 - 19:30
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
SPLASH Posters
Derrick LinIndependent Researcher, James KoppelMIT, Angela ChenGoogle, Inc, Armando Solar-LezamaMIT CSAIL
17:30 - 19:30
Talk
Alpaca: Intermittent Execution Without Checkpoints
SPLASH Posters
Kiwan MaengCarnegie Mellon University, USA
17:30 - 19:30
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
SPLASH 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
SPLASH Posters
Samantha Syeda KhairunnesaIowa State University
17:30 - 19:30
Talk
DYOL: Design a Language, Know the Consequences
SPLASH Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30 - 19:30: Monday Poster ReceptionSPLASH Social Program at Poster Area
17:30 - 19:30
Social Event
Monday Workshop and Poster Reception
SPLASH 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: PostersSPLASH Student Research Competition at Poster Area
Chair(s): Shan Shan HuangLogicBlox, Inc., Jennifer B. SartorVrije Universiteit Brussel
17:30 - 19:30
Talk
What merge tool should I use?
SPLASH Student Research Competition
Guilherme CavalcantiFederal University of Pernambuco, Brazil
17:30 - 19:30
Talk
Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java
SPLASH Student Research Competition
Haochen XieNagoya University
17:30 - 19:30
Talk
How to Efficiently Process 2^100 Different Lists
SPLASH Student Research Competition
17:30 - 19:30
Talk
Automatic Testing of Interactive JavaScript Debuggers
SPLASH Student Research Competition
Daniel LehmannTU Darmstadt
17:30 - 19:30
Talk
Abstracting Resource Effects
SPLASH Student Research Competition
Valerie ZhaoWellesley College
17:30 - 19:30
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
SPLASH Student Research Competition
Germán CeballosUppsala University
17:30 - 19:30
Talk
Genetic Improvement in Code Interpreters and Compilers
SPLASH Student Research Competition
Oliver KraussUniversity of Applied Sciences Upper Austria
17:30 - 19:30
Talk
How Are Programming ƒQuestions from Women Received on Stack Overflow? A Case Study of Peer Parity
SPLASH Student Research Competition
17:30 - 19:30
Talk
Framework support for Usability evaluation of Domain-Specific Languages
SPLASH Student Research Competition
Ankica BarisicNOVA-LINCS - Universidade Nova de Lisboa
17:30 - 19:30
Talk
Computer-Assisted Specification of Asynchronous Interfaces with Non-Deterministic Behavior
SPLASH Student Research Competition
17:30 - 19:30
Talk
Devirtualization in LLVM
SPLASH Student Research Competition
17:30 - 19:30
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
SPLASH Student Research Competition
David LeopoldsederJohannes Kepler University Linz
17:30 - 19:30
Talk
Verifying the Proxy Design Pattern Using Object Propositions
SPLASH Student Research Competition
Nistor LigiaCarnegie Mellon University
17:30 - 19:30
Talk
ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing
SPLASH Student Research Competition
Monica FigueraUniversidad Simón Bolívar
17:30 - 19:30: Wednesday Poster ReceptionSPLASH Social Program at Poster Area
17:30 - 19:30
Social Event
Wednesday Poster Reception
SPLASH Social Program
Gail MurphyUniversity of British Columbia
17:30 - 19:30: Poster Reception WednesdaySPLASH Posters 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
SPLASH Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30 - 19:30
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
SPLASH Posters
Mark SantolucitoYale University
17:30 - 19:30
Talk
ZenSheet Studio: a visual environment for functional reactive computing
SPLASH Posters
Monica FigueraUniversidad Simón Bolívar
17:30 - 19:30
Talk
Alpaca: Intermittent Execution Without Checkpoints
SPLASH Posters
Kiwan MaengCarnegie Mellon University, USA
17:30 - 19:30
Talk
Reliable and Automatic Composition of Language Extensions to C
SPLASH Posters
Travis CarlsonUniversity of Minnesota, USA
17:30 - 19:30
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
SPLASH Posters
Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET
17:30 - 19:30
Talk
P/Taint: Unified Points-To and Information Flow Analysis
SPLASH Posters
17:30 - 19:30
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
SPLASH Posters
Ruzica PiskacYale University
17:30 - 19:30
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
SPLASH Posters
17:30 - 19:30
Talk
Incremental Parametric Syntax for Multi-Language Transformation
SPLASH Posters
17:30 - 19:30
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
SPLASH Posters
17:30 - 19:30
Talk
Towards Compositional and Generative Tensor Optimizations
SPLASH Posters
Adilla SusungiMINES ParisTech, France
17:30 - 19:30
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
SPLASH Posters
Julien Gascon-Samson, Rafiuzzaman MohammadUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
17:30 - 19:30
Talk
Concurrent Circular Reference Attribute Grammars
SPLASH Posters
Jesper OqvistLund University
17:30 - 19:30
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
SPLASH Posters
Eugene SyrianiUniversity of Montreal
17:30 - 19:30
Talk
Towards a Taxonomy of Grammar Smells
SPLASH Posters
Vadim ZaytsevRaincode Labs, Belgium
17:30 - 19:30
Talk
Reasoning on Divergent Computations with Coaxioms
SPLASH Posters
Davide AnconaUniversity of Genova
17:30 - 19:30
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
SPLASH Posters
17:30 - 19:30
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
SPLASH Posters
Karl CronburgTufts University
17:30 - 19:30
Talk
DéjàVu: A Map of Code Duplicates on GitHub
SPLASH Posters
Petr MajReactorLabs
17:30 - 19:30
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
SPLASH Posters
David GroveIBM Research
17:30 - 19:30
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
SPLASH Posters
Germán CeballosUppsala University, Erik HagerstenUppsala University, David Black-SchafferUppsala University
17:30 - 19:30
Talk
Selfie and the Basics
SPLASH Posters
Christoph KirschUniversity of Salzburg
17:30 - 19:30
Talk
Refining Semantics for Multi-stage Programming
SPLASH 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
SPLASH Posters
Samantha Syeda KhairunnesaIowa State University
17:30 - 19:30
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
SPLASH 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
SPLASH Posters
Darya MelicherCarnegie Mellon University
17:30 - 19:30
Talk
Iota: A Calculus for Internet of Things Automation
SPLASH Posters
Julie L. NewcombUniversity of California at Berkeley
17:30 - 19:30
Talk
Systems Level Liveness with Extempore
SPLASH Posters
Andrew SorensenAustralian National University
17:30 - 19:30
Talk
Practical Initialization Race Detection for JavaScript Web Applications
SPLASH Posters
Christoffer Quist AdamsenAarhus University
17:30 - 19:30
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
SPLASH Posters
Hakjoo OhKorea University
17:30 - 19:30
Talk
The Tensor Algebra Compiler
SPLASH Posters
17:30 - 19:30
Talk
What merge tool should I use?
SPLASH Posters
17:30 - 19:30
Talk
Robust Programs with Filtered Iterators
SPLASH Posters
Jiasi ShenMassachusetts Institute of Technology
17:30 - 19:30
Talk
Automated Testing of Graphics Shader Compilers
SPLASH Posters
Alastair DonaldsonImperial College London
17:30 - 19:30
Talk
Locality-Guided Scheduling in CAF
SPLASH Posters
17:30 - 19:30
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
SPLASH Posters
17:30 - 19:30
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
SPLASH Posters
Hakjoo OhKorea University
17:30 - 19:30
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
SPLASH 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