WODA 2017
Sun 22 - Fri 27 October 2017
Vancouver, Canada
co-located with
SPLASH 2017
Toggle navigation
Attending
Venue: Hyatt Regency Vancouver
Program
WODA Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Track/Call
Organization
WODA 2017 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
WODA 2017
WODA 2016
WODA 2015
Sign in
Sign up
SPLASH 2017
(
series
) /
WODA 2017 (
series
) /
Hyatt Regency Vancouver
/
Room information: Poster Area
Venue
Hyatt Regency Vancouver
Room name
Poster Area
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
change
17:30 - 19:30
Poster Reception Monday
SPLASH Posters
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
SPLASH Posters
Alastair F. Donaldson
Imperial College London
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
SPLASH Posters
Adilla Susungi
MINES ParisTech, France
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
SPLASH Posters
Suman Roychoudhury
Tata Consultancy Services Research
17:30
2h
Talk
Systems Level Liveness with Extempore
SPLASH Posters
Andrew Sorensen
Australian National University
17:30
2h
Talk
Incremental Parametric Syntax for Multi-Language Transformation
SPLASH Posters
James Koppel
MIT
,
Armando Solar-Lezama
MIT CSAIL
17:30
2h
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
SPLASH Posters
Darya Melicher
Carnegie Mellon University
17:30
2h
Talk
What merge tool should I use?
SPLASH Posters
Guilherme Miguel Teixeira Rito
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
SPLASH Posters
Mark Santolucito
Yale University
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
SPLASH Posters
Davide Ancona
University of Genova
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
SPLASH Posters
Travis Carlson
University of Minnesota, USA
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
SPLASH Posters
Vadim Zaytsev
Raincode Labs, Belgium
17:30
2h
Talk
The Tensor Algebra Compiler
SPLASH Posters
Fredrik Kjolstad
MIT CSAIL
17:30
2h
Talk
Concurrent Circular Reference Attribute Grammars
SPLASH Posters
Jesper Oqvist
Lund University
17:30
2h
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
SPLASH Posters
Nathalie Oostvogels
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
SPLASH Posters
Petr Maj
ReactorLabs
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
SPLASH Posters
Rui Ge
University of British Columbia, Canada
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
SPLASH Posters
Ruzica Piskac
Yale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
SPLASH 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
SPLASH 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
SPLASH Posters
Neville Grech
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
SPLASH Posters
David Grove
IBM Research
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
SPLASH Posters
Hakjoo Oh
Korea University
17:30
2h
Talk
Selfie and the Basics
SPLASH Posters
Christoph Kirsch
University of Salzburg
17:30
2h
Talk
P/Taint: Unified Points-To and Information Flow Analysis
SPLASH Posters
Neville Grech
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
SPLASH Posters
Eugene Syriani
University of Montreal
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
SPLASH Posters
Karl Cronburg
Tufts University
17:30
2h
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
SPLASH Posters
Lionel Parreaux
EPFL
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
SPLASH Posters
Julie L. Newcomb
University of California at Berkeley
17:30
2h
Talk
Locality-Guided Scheduling in CAF
SPLASH Posters
Raphael Hiesgen
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
SPLASH Posters
Mallku Soldevila
FAMAF, UNC / CONICET
17:30
2h
Talk
Robust Programs with Filtered Iterators
SPLASH Posters
Jiasi Shen
Massachusetts Institute of Technology
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
SPLASH Posters
Hakjoo Oh
Korea University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
SPLASH Posters
Christoffer Quist Adamsen
Aarhus University
17:30
2h
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
SPLASH Posters
Peilun Zhang
17:30
2h
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
SPLASH 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
SPLASH Posters
Kiwan Maeng
Carnegie Mellon University, USA
17:30
2h
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
SPLASH 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
SPLASH Posters
Samantha Syeda Khairunnesa
Iowa State University
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
SPLASH Posters
Vadim Zaytsev
Raincode Labs, Belgium
17:30 - 19:30
Monday Poster Reception
SPLASH Social Program
at
Poster Area
17:30
2h
Social Event
Monday Workshop and Poster Reception
SPLASH Social Program
Gail Murphy
University of British Columbia
Wed 25 Oct
Displayed time zone:
Tijuana, Baja California
change
17:30 - 19:30
SRC 1st Round: Posters
SPLASH Student Research Competition
at
Poster Area
Chair(s):
Shan Shan Huang
LogicBlox, Inc.
,
Jennifer B. Sartor
Vrije Universiteit Brussel
17:30
2h
Talk
What merge tool should I use?
SPLASH Student Research Competition
Guilherme Cavalcanti
Federal University of Pernambuco, Brazil
17:30
2h
Talk
Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java
SPLASH Student Research Competition
Haochen Xie
Nagoya University
17:30
2h
Talk
How to Efficiently Process 2^100 Different Lists
SPLASH Student Research Competition
Lukas Lazarek
17:30
2h
Talk
Automatic Testing of Interactive JavaScript Debuggers
SPLASH Student Research Competition
Daniel Lehmann
TU Darmstadt
17:30
2h
Talk
Abstracting Resource Effects
SPLASH Student Research Competition
Valerie Zhao
Wellesley College
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
SPLASH Student Research Competition
Germán Ceballos
Uppsala University
17:30
2h
Talk
Genetic Improvement in Code Interpreters and Compilers
SPLASH Student Research Competition
Oliver Krauss
University 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
SPLASH Student Research Competition
Savannah Morgan
17:30
2h
Talk
Framework support for Usability evaluation of Domain-Specific Languages
SPLASH Student Research Competition
Ankica Barisic
NOVA-LINCS - Universidade Nova de Lisboa
17:30
2h
Talk
Computer-Assisted Specification of Asynchronous Interfaces with Non-Deterministic Behavior
SPLASH Student Research Competition
Nicholas Lewchenko
17:30
2h
Talk
Devirtualization in LLVM
SPLASH Student Research Competition
Piotr Padlewski
17:30
2h
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
SPLASH Student Research Competition
David Leopoldseder
Johannes Kepler University Linz
17:30
2h
Talk
Verifying the Proxy Design Pattern Using Object Propositions
SPLASH Student Research Competition
Nistor Ligia
Carnegie Mellon University
17:30
2h
Talk
ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing
SPLASH Student Research Competition
Monica Figuera
Universidad Simón Bolívar
17:30 - 19:30
Wednesday Poster Reception
SPLASH Social Program
at
Poster Area
17:30
2h
Social Event
Wednesday Poster Reception
SPLASH Social Program
Gail Murphy
University of British Columbia
17:30 - 19:30
Poster Reception Wednesday
SPLASH Posters
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
SPLASH Posters
Vadim Zaytsev
Raincode Labs, Belgium
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
SPLASH Posters
Mark Santolucito
Yale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
SPLASH Posters
Monica Figuera
Universidad Simón Bolívar
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
SPLASH Posters
Kiwan Maeng
Carnegie Mellon University, USA
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
SPLASH Posters
Travis Carlson
University of Minnesota, USA
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
SPLASH Posters
Mallku Soldevila
FAMAF, UNC / CONICET
17:30
2h
Talk
P/Taint: Unified Points-To and Information Flow Analysis
SPLASH Posters
Neville Grech
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
SPLASH Posters
Ruzica Piskac
Yale University
17:30
2h
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
SPLASH Posters
Lionel Parreaux
EPFL
17:30
2h
Talk
Incremental Parametric Syntax for Multi-Language Transformation
SPLASH Posters
James Koppel
MIT
,
Armando Solar-Lezama
MIT CSAIL
17:30
2h
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
SPLASH Posters
Neville Grech
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
SPLASH Posters
Adilla Susungi
MINES ParisTech, France
17:30
2h
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
SPLASH 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
SPLASH Posters
Jesper Oqvist
Lund University
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
SPLASH Posters
Eugene Syriani
University of Montreal
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
SPLASH Posters
Vadim Zaytsev
Raincode Labs, Belgium
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
SPLASH Posters
Davide Ancona
University of Genova
17:30
2h
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
SPLASH Posters
Nathalie Oostvogels
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
SPLASH Posters
Karl Cronburg
Tufts University
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
SPLASH Posters
Petr Maj
ReactorLabs
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
SPLASH Posters
David Grove
IBM Research
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
SPLASH Posters
Germán Ceballos
Uppsala University
,
Erik Hagersten
Uppsala University
,
David Black-Schaffer
Uppsala University
17:30
2h
Talk
Selfie and the Basics
SPLASH Posters
Christoph Kirsch
University of Salzburg
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
SPLASH 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
SPLASH Posters
Samantha Syeda Khairunnesa
Iowa State University
17:30
2h
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
SPLASH 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
SPLASH Posters
Darya Melicher
Carnegie Mellon University
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
SPLASH Posters
Julie L. Newcomb
University of California at Berkeley
17:30
2h
Talk
Systems Level Liveness with Extempore
SPLASH Posters
Andrew Sorensen
Australian National University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
SPLASH Posters
Christoffer Quist Adamsen
Aarhus University
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
SPLASH Posters
Hakjoo Oh
Korea University
17:30
2h
Talk
The Tensor Algebra Compiler
SPLASH Posters
Fredrik Kjolstad
MIT CSAIL
17:30
2h
Talk
What merge tool should I use?
SPLASH Posters
Guilherme Miguel Teixeira Rito
17:30
2h
Talk
Robust Programs with Filtered Iterators
SPLASH Posters
Jiasi Shen
Massachusetts Institute of Technology
17:30
2h
Talk
Automated Testing of Graphics Shader Compilers
SPLASH Posters
Alastair F. Donaldson
Imperial College London
17:30
2h
Talk
Locality-Guided Scheduling in CAF
SPLASH Posters
Raphael Hiesgen
17:30
2h
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
SPLASH Posters
Peilun Zhang
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
SPLASH Posters
Hakjoo Oh
Korea University
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
SPLASH Posters
Suman Roychoudhury
Tata Consultancy Services Research
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
17:00
30
18:00
30
19:00
30
Poster Area
SPLASH Student Research Competition
SPLASH Posters
Poster Reception Monday
17:30 - 19:30
SPLASH Social Program
Monday Poster Reception
17:30 - 19:30
Wed 25 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
17:00
30
18:00
30
19:00
30
Poster Area
SPLASH Student Research Competition
SRC 1st Round: Posters
SPLASH Social Program
Wednesday Poster Reception
17:30 - 19:30
SPLASH Posters
Poster Reception Wednesday
17:30 - 19:30
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Poster Area
SPLASH Posters
Automated Testing of Graphics Shader Compilers
17:30 - 19:30
Towards Compositional and Generative Tensor Optimizations
17:30 - 19:30
A Domain-Specific Controlled English Language for Automated Regulatory ...
17:30 - 19:30
Systems Level Liveness with Extempore
17:30 - 19:30
Incremental Parametric Syntax for Multi-Language Transformation
17:30 - 19:30
Using Object Capabilities and Effects to Build an Authority-Safe Module ...
17:30 - 19:30
What merge tool should I use?
17:30 - 19:30
Synthesizing Configuration File Specifications with Association Rule Le ...
17:30 - 19:30
Reasoning on Divergent Computations with Coaxioms
17:30 - 19:30
Reliable and Automatic Composition of Language Extensions to C
17:30 - 19:30
Towards a Taxonomy of Grammar Smells
17:30 - 19:30
The Tensor Algebra Compiler
17:30 - 19:30
Concurrent Circular Reference Attribute Grammars
17:30 - 19:30
Dynamic Verification of Inter-parameter Constraints in Web Applications
17:30 - 19:30
DéjàVu: A Map of Code Duplicates on GitHub
17:30 - 19:30
Refining Semantics for Multi-stage Programming
17:30 - 19:30
An Auditing Language for Preventing Correlated Failures in the Cloud
17:30 - 19:30
ZenSheet Studio: a visual environment for functional reactive computing
17:30 - 19:30
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks I ...
17:30 - 19:30
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
17:30 - 19:30
Dynamic Atomicity: Optimizing Swift Memory Management
17:30 - 19:30
Automatically Generating Features for Learning Program Analysis Heurist ...
17:30 - 19:30
Selfie and the Basics
17:30 - 19:30
P/Taint: Unified Points-To and Information Flow Analysis
17:30 - 19:30
Comparison of the Expressiveness and Performance of Template-Based Code ...
17:30 - 19:30
Markedly: a cartographic approach for mapping eDSL implementation costs
17:30 - 19:30
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimi ...
17:30 - 19:30
Iota: A Calculus for Internet of Things Automation
17:30 - 19:30
Locality-Guided Scheduling in CAF
17:30 - 19:30
Decoding Lua: Formal Semantics for the Developer and the Semanticist
17:30 - 19:30
Robust Programs with Filtered Iterators
17:30 - 19:30
Data-Driven Context-Sensitivity for Points-to Analysis
17:30 - 19:30
Practical Initialization Race Detection for JavaScript Web Applications
17:30 - 19:30
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
17:30 - 19:30
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Qui ...
17:30 - 19:30
Alpaca: Intermittent Execution Without Checkpoints
17:30 - 19:30
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generat ...
17:30 - 19:30
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Ba ...
17:30 - 19:30
DYOL: Design a Language, Know the Consequences
17:30 - 19:30
SPLASH Social Program
Monday Workshop and Poster Reception
17:30 - 19:30
Wed 25 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Poster Area
SPLASH Student Research Competition
What merge tool should I use?
17:30 - 19:30
Principles, patterns, and techniques for designing and implementing pra ...
17:30 - 19:30
How to Efficiently Process 2^100 Different Lists
17:30 - 19:30
Automatic Testing of Interactive JavaScript Debuggers
17:30 - 19:30
Abstracting Resource Effects
17:30 - 19:30
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks I ...
17:30 - 19:30
Genetic Improvement in Code Interpreters and Compilers
17:30 - 19:30
How Are Programming Questions from Women Received on Stack Overflow? A ...
17:30 - 19:30
Framework support for Usability evaluation of Domain-Specific Languages
17:30 - 19:30
Computer-Assisted Specification of Asynchronous Interfaces with Non-Det ...
17:30 - 19:30
Devirtualization in LLVM
17:30 - 19:30
Simulation-based Code Duplication for Enhancing Compiler Optimizations
17:30 - 19:30
Verifying the Proxy Design Pattern Using Object Propositions
17:30 - 19:30
ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing
17:30 - 19:30
SPLASH Social Program
Wednesday Poster Reception
17:30 - 19:30
SPLASH Posters
DYOL: Design a Language, Know the Consequences
17:30 - 19:30
Synthesizing Configuration File Specifications with Association Rule Le ...
17:30 - 19:30
ZenSheet Studio: a visual environment for functional reactive computing
17:30 - 19:30
Alpaca: Intermittent Execution Without Checkpoints
17:30 - 19:30
Reliable and Automatic Composition of Language Extensions to C
17:30 - 19:30
Decoding Lua: Formal Semantics for the Developer and the Semanticist
17:30 - 19:30
P/Taint: Unified Points-To and Information Flow Analysis
17:30 - 19:30
An Auditing Language for Preventing Correlated Failures in the Cloud
17:30 - 19:30
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimi ...
17:30 - 19:30
Incremental Parametric Syntax for Multi-Language Transformation
17:30 - 19:30
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
17:30 - 19:30
Towards Compositional and Generative Tensor Optimizations
17:30 - 19:30
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generat ...
17:30 - 19:30
Concurrent Circular Reference Attribute Grammars
17:30 - 19:30
Comparison of the Expressiveness and Performance of Template-Based Code ...
17:30 - 19:30
Towards a Taxonomy of Grammar Smells
17:30 - 19:30
Reasoning on Divergent Computations with Coaxioms
17:30 - 19:30
Dynamic Verification of Inter-parameter Constraints in Web Applications
17:30 - 19:30
Markedly: a cartographic approach for mapping eDSL implementation costs
17:30 - 19:30
DéjàVu: A Map of Code Duplicates on GitHub
17:30 - 19:30
Dynamic Atomicity: Optimizing Swift Memory Management
17:30 - 19:30
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks I ...
17:30 - 19:30
Selfie and the Basics
17:30 - 19:30
Refining Semantics for Multi-stage Programming
17:30 - 19:30
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Ba ...
17:30 - 19:30
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Qui ...
17:30 - 19:30
Using Object Capabilities and Effects to Build an Authority-Safe Module ...
17:30 - 19:30
Iota: A Calculus for Internet of Things Automation
17:30 - 19:30
Systems Level Liveness with Extempore
17:30 - 19:30
Practical Initialization Race Detection for JavaScript Web Applications
17:30 - 19:30
Automatically Generating Features for Learning Program Analysis Heurist ...
17:30 - 19:30
The Tensor Algebra Compiler
17:30 - 19:30
What merge tool should I use?
17:30 - 19:30
Robust Programs with Filtered Iterators
17:30 - 19:30
Automated Testing of Graphics Shader Compilers
17:30 - 19:30
Locality-Guided Scheduling in CAF
17:30 - 19:30
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
17:30 - 19:30
Data-Driven Context-Sensitivity for Points-to Analysis
17:30 - 19:30
A Domain-Specific Controlled English Language for Automated Regulatory ...
17:30 - 19:30
x
Sun 24 Nov 03:06