Write a Blog >>
Onward! 2018
Wed 7 - Thu 8 November 2018
Boston, Massachusetts, United States
co-located with
SPLASH 2018
Toggle navigation
Attending
Venue: Boston Park Plaza Hotel
SPLASH 2018
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Program
Complete Program
Your Program
Wed 7 Nov
Thu 8 Nov
Tracks
Onward! 2018
Onward! Essays
Onward! Papers
Organization
Onward! 2018
Organizing Committee
Steering Committee
Onward! Essays
Program Committee
Onward! Papers
Program Committee
Contributors
People Index
Search
Series
Series
Onward! 2019
Onward! 2018
Onward! 2017
Onward! 2016
Onward! 2015
Onward!
Onward! 2013
Sign in
Sign up
SPLASH 2018
(
series
) /
Onward! 2018
(
series
) /
Boston Park Plaza Hotel
/
Room information: Terrace
Venue
Boston Park Plaza Hotel
Room name
Terrace
Floor
0
Room number
Capacity
0
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Sun 4 Nov
splash-2018-Social
08:00 - 09:00:
Social
- Breakfast at
Terrace
splash-2018-Social
10:00 - 10:30:
Social
- Break at
Terrace
splash-2018-Social
15:00 - 15:30:
Social
- Break at
Terrace
splash-2018-Social
17:00 - 18:00:
Social
- Social at
Terrace
Mon 5 Nov
splash-2018-Social
07:30 - 08:30:
Social
- Breakfast at
Terrace
splash-2018-Social
10:00 - 10:30:
Social
- Break at
Terrace
splash-2018-Social
15:00 - 15:30:
Social
- Break at
Terrace
splash-2018-Posters
17:30 - 19:30:
Posters
- Poster at
Terrace
splash-2018-Posters
17:30 - 17:31
Poster
Data Programming (DP): A new way of programming user interfaces
Blaine Bell
Link to publication
splash-2018-Posters
17:31 - 17:33
Poster
Programming by example: efficient, but not "helpful"
Mark Santolucito
Yale University, USA
,
Drew Goldman
Roslyn High School
,
Allyson Weseley
Roslyn High School
,
Ruzica Piskac
Yale University, USA
Link to publication
splash-2018-Posters
17:33 - 17:34
Poster
Obsidian: A Safer Blockchain Programming Language
Michael Coblenz
Carnegie Mellon University
,
Jonathan Aldrich
Carnegie Mellon University
,
Brad Myers
Carnegie Mellon University
,
Joshua Sunshine
Carnegie Mellon University
splash-2018-Posters
17:34 - 17:36
Talk
Toward a Language-Parametric Code Completion Editor Service
Daniel Pelsmaeker
Delft University of Technology, Netherlands
,
Eelco Visser
Delft University of Technology
Link to publication
splash-2018-Posters
17:36 - 17:38
Poster
Compositional Programming and Testing of Dynamic Distributed Systems
Ankush Desai
University of California, Berkeley
,
Amar Phanishayee
Microsoft Research
,
Shaz Qadeer
Microsoft Research
,
Sanjit Seshia
UC Berkeley
Link to publication
splash-2018-Posters
17:38 - 17:39
Poster
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Benoît Ries
University of Luxembourg
,
Alfredo Capozucca
University of Luxembourg
,
Nicolas Guelfi
University of Luxembourg
Link to publication
splash-2018-Posters
17:39 - 17:41
Poster
Finding Broken Promises in Asynchronous JavaScript Programs
Saba Alimadadi
Northeastern University
,
Di Zhong
Northeastern University, USA
,
Magnus Madsen
Aarhus University
,
Frank Tip
Northeastern University
Link to publication
splash-2018-Posters
17:41 - 17:43
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
Marija Selakovic
TU Darmstadt, Germany
,
Michael Pradel
TU Darmstadt
,
Rezwana Karim Nawrin
Samsung Research America
,
Frank Tip
Northeastern University
Link to publication
splash-2018-Posters
17:43 - 17:44
Poster
Speeding up Symbolic Reasoning for Relational Queries
Chenglong Wang
University of Washington, USA
,
Alvin Cheung
University of Washington
,
Rastislav Bodik
University of Washington
Link to publication
splash-2018-Posters
17:44 - 17:46
Poster
Fixing Machine Learning with Solver-Aided Languages
Revan MacQueen
University of Alberta
,
Julian Dolby
IBM Research
,
Karim Ali
University of Alberta
splash-2018-Posters
17:46 - 17:48
Poster
SWAN: A Swift Program Analysis Framework
Jeff Cho
University of Alberta
,
Mark Mroz
University of Ottawa
,
Julian Dolby
IBM Research
,
Karim Ali
University of Alberta
Link to publication
splash-2018-Posters
17:48 - 17:49
Poster
The Software Architecture of Economy Mechanics in Digital Games
Wilson Mizutani
University of São Paulo
Link to publication
splash-2018-Posters
17:49 - 17:51
Poster
Identifying Barriers to Adoption for Rust through Online Discourse
Anna Zeng
Stanford University
,
Will Crichton
Stanford University
Link to publication
splash-2018-Posters
17:51 - 17:53
Poster
Handling inconsistencies in software product line using a rule-based approach
Megha Bhushan
Chitkara University, Punjab, India
,
Shivani Goel
,
Arun Negi
Ministry of Defence, Government of India, India
,
Piyush Samant
Thapar Institute of Engineering, Patiala, Punjab, India
splash-2018-Posters
17:53 - 17:54
Poster
Chocola: Integrating Futures, Actors, and Transactions
Janwillem Swalens
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel
,
Joeri De Koster
Vrije Universiteit Brussel, Belgium
Link to publication
Pre-print
splash-2018-Posters
17:54 - 17:56
Poster
Anomaly Analyses for Feature-Model Evolution
Michael Nieke
TU Braunschweig, Germany
,
Christoph Seidl
Technische Universität Braunschweig
,
Jacopo Mauro
University of Southern Denmark
,
Thomas Thüm
TU Braunschweig, Germany
,
Ingrid Chieh Yu
University of Oslo
,
Felix Franzke
TU Braunschweig
Link to publication
splash-2018-Posters
17:56 - 17:57
Poster
Understanding Java Usability by Mining GitHub Repositories
Mark Lemay
Link to publication
splash-2018-Posters
17:57 - 17:59
Poster
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Minseok Jeon
Korea University, South Korea
,
Sehun Jeong
Korea University
,
Hakjoo Oh
Korea University
Link to publication
splash-2018-Posters
17:59 - 18:01
Poster
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Yipeng Huang
Princeton University
,
Margaret Martonosi
Link to publication
splash-2018-Posters
18:01 - 18:02
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Luis Eduardo de Souza Amorim
Delft University of Technology, Netherlands
,
Michael J. Steindorfer
Delft University of Technology
,
Sebastian Erdweg
TU Delft
,
Eelco Visser
Delft University of Technology
Link to publication
splash-2018-Posters
18:02 - 18:04
Poster
Safe Replication through Bounded Concurrency Verification
Gowtham Kaki
Purdue University
,
Kapil Earanky
Purdue University
,
KC Sivaramakrishnan
University of Cambridge
,
Suresh Jagannathan
Purdue University
Link to publication
splash-2018-Posters
18:04 - 18:06
Poster
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Junho Lee
Korea University
,
Dowon Song
Korea University
,
Sunbeom So
Korea University
,
Hakjoo Oh
Korea University
Link to publication
splash-2018-Posters
18:06 - 18:07
Poster
Observable atomic consistency for CvRDTs
Xin Zhao
KTH Royal Institute of Technology
,
Philipp Haller
KTH, Sweden
Link to publication
splash-2018-Posters
18:07 - 18:09
Poster
Reconciling High-level Optimizations and Low-level Code in LLVM
Juneyoung Lee
Seoul National University
,
Chung-Kil Hur
Seoul National University
,
Ralf Jung
MPI-SWS
,
Zhengyang Liu
University of Utah
,
John Regehr
University of Utah
,
Nuno P. Lopes
Microsoft Research
Link to publication
splash-2018-Posters
18:09 - 18:11
Poster
Meta-programming for cross-domain tensor optimizations
Adilla Susungi
MINES ParisTech, France
,
Norman A. Rink
TU Dresden, Germany
,
Albert Cohen
Google
,
Jeronimo Castrillon
TU Dresden, Germany
,
Claude Tadonki
MINES ParisTech, France
Link to publication
splash-2018-Posters
18:11 - 18:12
Poster
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
James Koppel
MIT
,
Varot Premtoon
MIT
,
Armando Solar-Lezama
MIT CSAIL
Link to publication
splash-2018-Posters
18:12 - 18:14
Poster
Scaling the REPL Experience
Yair Chuchem
Lamdu
,
Eyal Lotem
Lamdu
Link to publication
splash-2018-Posters
18:14 - 18:16
Poster
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Anna-Katharina Wickert
TU Darmstadt
Link to publication
splash-2018-Posters
18:16 - 18:17
Poster
Exploring feature interactions without specifications: a controlled experiment
Larissa Soares
Universidade Federal da Bahia
,
Jens Meinicke
Magdeburg University
,
Sarah Nadi
University of Alberta
,
Christian Kästner
Carnegie Mellon University
,
Eduardo Almeida
Universidade Federal da Bahia
Link to publication
splash-2018-Posters
18:17 - 18:19
Poster
GraphIt - A High-Performance Graph DSL
Yunming Zhang
,
Mengjiao Yang
MIT CSAIL
,
Riyadh Baghdadi
MIT
,
Shoaib Kamil
Adobe
,
Julian Shun
MIT
,
Saman Amarasinghe
MIT
Link to publication
splash-2018-Posters
18:19 - 18:20
Poster
Symmetry-based Optimization of Interaction Kernels
Shigeyuki Sato
Kochi University of Technology
splash-2018-Posters
18:20 - 18:22
Poster
Sound Deadlock Prediction
Christian Gram Kalhauge
University of California, Los Angeles
,
Jens Palsberg
University of California, Los Angeles
Link to publication
splash-2018-Posters
18:22 - 18:24
Poster
Conflict Resolution for Structured Merge via Version Space Algebra
Fengmin Zhu
,
Fei He
Tsinghua University
Link to publication
splash-2018-Posters
18:24 - 18:25
Poster
Robust Relational Layout Synthesis from Examples for Android
Pavol Bielik
ETH Zürich
,
Marc Fischer
ETH Zurich
,
Martin Vechev
ETH Zürich
Link to publication
splash-2018-Posters
18:25 - 18:27
Poster
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Benoit Daloze
JKU Linz, Austria
,
Arie Tal
Technion
,
Stefan Marr
University of Kent
,
Hanspeter Mössenböck
JKU Linz, Austria
,
Erez Petrank
Technion
Link to publication
splash-2018-Posters
18:27 - 18:29
Poster
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Yin Liu
Virginia Tech
,
Kijin An
Virginia Tech
,
Eli Tilevich
Virginia Tech
Link to publication
splash-2018-Posters
18:29 - 18:30
Poster
Scopes as Types
Hendrik van Antwerpen
TU Delft
,
Casper Bach Poulsen
Delft University of Technology
,
Arjen Rouvoet
Delft University of Technology
,
Eelco Visser
Delft University of Technology
Link to publication
splash-2018-Posters
18:30 - 18:32
Poster
Generating a Java Library from Its Specification
Tomoki Nakamaru
The University of Tokyo
,
Shigeru Chiba
The University of Tokyo
splash-2018-Posters
18:32 - 18:34
Poster
Thread-Safe Reactive Programming
Joscha Drechsler
Technische Universität Darmstadt
,
Ragnar Mogk
Technische Universität Darmstadt
,
Guido Salvaneschi
TU Darmstadt
,
Mira Mezini
TU Darmstadt
Link to publication
splash-2018-Posters
18:34 - 18:35
Poster
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Filip Strömbäck
Linköping University
Link to publication
splash-2018-Posters
18:35 - 18:37
Poster
Multi-Device Grace
Ben Selwyn-Smith
,
Craig Anslow
Victoria University of Wellington
,
Michael Homer
Victoria University of Wellington
splash-2018-Posters
18:37 - 18:39
Poster
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Jasper Denkers
TU Delft
,
Louis van Gool
Océ Technologies B.V.
,
Eelco Visser
Delft University of Technology
Link to publication
splash-2018-Posters
18:39 - 18:40
Poster
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Erick Ochoa
University of Alberta
,
Andrew Craik
IBM Canada
,
Jose Nelson Amaral
University of Alberta
,
Karim Ali
University of Alberta
splash-2018-Posters
18:40 - 18:42
Poster
Compiling Distributed System Specifications into Implementations
Matthew Do
Computer Science, University of British Columbia
,
Renato Mascarenhas
Computer Science, University of British Columbia
,
Finn Hacket
Computer Science, University of Waterloo
,
Brandon Zhang
Computer Science, University of British Columbia
,
Yi Fan (Bob) Yang
Facebook
,
Adam Geller
Computer Science, University of British Columbia
,
Ivan Beschastnikh
Computer Science, University of British Columbia
splash-2018-Posters
18:42 - 18:43
Poster
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Peizhao Ou
University of California, Irvine
,
Brian Demsky
University of California, Irvine
Link to publication
splash-2018-Posters
18:43 - 18:45
Poster
Incremental compilation for Stratego
Jeff Smits
Delft University of Technology
,
Eelco Visser
Delft University of Technology
Link to publication
splash-2018-Posters
18:45 - 18:47
Poster
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Juan Fumero
The University of Manchester
,
Christos Kotselidis
The University of Manchester
Link to publication
splash-2018-Posters
18:47 - 18:48
Poster
Object-Oriented Recovery for Non-Volatile Memory
Nachshon Cohen
EPFL, Switzerland
,
David T. Aksun
EPFL
,
James Larus
EPFL
Link to publication
splash-2018-Posters
18:48 - 18:50
Poster
Faster Variational Execution with Transparent Bytecode Transformation
Chu-Pan Wong
Carnegie Mellon University
,
Jens Meinicke
Magdeburg University
,
Lukas Lazarek
,
Christian Kästner
Carnegie Mellon University
Link to publication
splash-2018-Posters
18:50 - 18:52
Poster
Observing the Uptake of a Language Change Making Strings Immutable
Manuel Maarek
Heriot-Watt University
Link to publication
splash-2018-Posters
18:52 - 18:53
Poster
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Laurent Christophe
VUB
,
Coen De Roover
Vrije Universiteit Brussel
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel
Link to publication
splash-2018-Posters
18:53 - 18:55
Poster
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Matt McCutchen
MIT
,
Shachar Itzhaky
Technion, Israel
,
Daniel Jackson
MIT
,
Willow Jarvis
MIT
Link to publication
splash-2018-Posters
18:55 - 18:57
Poster
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Jyothi Vedurada
IIT Madras
,
V Krishna Nandivada
IIT Madras
Link to publication
splash-2018-Posters
18:57 - 18:58
Poster
Margin Notes: Automatic code documentation with recorded examples from runtime
Geoffrey Litt
Link to publication
splash-2018-Posters
18:58 - 19:00
Poster
A Practical Unification of Multi-Stage Programming and Macros
Nicolas Stucki
EPFL, Switzerland
,
Aggelos Biboudis
EPFL, Switzerland
,
Martin Odersky
EPFL, Switzerland
Link to publication
splash-2018-Posters
19:00 - 19:02
Poster
Precision-Guided Context Sensitivity for Pointer Analysis
Yue Li
Aarhus University, Denmark
,
Tian Tan
Aarhus University, Denmark
,
Anders Møller
Aarhus University
,
Yannis Smaragdakis
University of Athens
Link to publication
splash-2018-Posters
19:02 - 19:03
Poster
Skitter: A DSL for Distributed Reactive Workflows
Mathijs Saey
Vrije Universiteit Brussel
,
Joeri De Koster
Vrije Universiteit Brussel, Belgium
,
Wolfgang De Meuter
Vrije Universiteit Brussel
Link to publication
splash-2018-Posters
19:03 - 19:05
Poster
Consolidating Inheritance and Scoping into a Context Abstraction
Matan I. Peled
Technion—Israel Institute of Technology
splash-2018-Posters
19:05 - 19:06
Poster
Modular Language Composition for the Masses
Manuel Leduc
IRISA, University of Rennes 1
,
Thomas Degueule
Centrum Wiskunde & Informatica
,
Benoit Combemale
University of Rennes 1
Link to publication
splash-2018-Posters
19:06 - 19:08
Poster
From Debugging Towards Live Tuning of Reactive Applications
Ragnar Mogk
Technische Universität Darmstadt
,
Pascal Weisenburger
Technische Universität Darmstadt
,
Julian Haas
Technische Universität Darmstadt
,
David Richter
Technische Universität Darmstadt
Link to publication
splash-2018-Posters
19:08 - 19:10
Poster
Secure Serverless Computing Using Dynamic Information Flow Control
Kalev Alpernas
Tel Aviv University
,
Cormac Flanagan
University of California, Santa Cruz
,
Sadjad Fouladi
Stanford University
,
Leonid Ryzhyk
VMware Research
,
Mooly Sagiv
Tel Aviv University
,
Thomas Schmitz
,
Keith Winstein
Stanford University
Link to publication
splash-2018-Posters
19:10 - 19:11
Poster
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Jesse Zaman
Vrije Universiteit Brussel
,
Kennedy Kambona
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel
Link to publication
splash-2018-Posters
19:11 - 19:13
Poster
A Derivation Framework for Dependent Security Label Inference
Peixuan Li
Penn State University
,
Danfeng Zhang
Pennsylvania State University
Link to publication
splash-2018-Posters
19:13 - 19:15
Poster
Distributed System Development with ScalaLoci
Pascal Weisenburger
Technische Universität Darmstadt
,
Mirko Köhler
,
Guido Salvaneschi
TU Darmstadt
Link to publication
splash-2018-Posters
19:15 - 19:16
Poster
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Zhangxiaowen Gong
University of Illinois at Urbana-Champaign
,
Zhi Chen
University of California, Irvine
,
Justin Szaday
University of Illinois at Urbana-Champaign
,
David Wong
Intel
,
Zehra Sura
IBM Research
,
Neftali Watkinson
,
Saeed Maleki
Microsoft Research
,
David Padua
University of Illinois at Urbana-Champaign
,
Alexander Veidenbaum
University of California, Irvine
,
Alexandru Nicolau
University of California, Irvine
,
Josep Torrellas
University of Illinois at Urbana-Champaign
Link to publication
splash-2018-Posters
19:16 - 19:18
Poster
METACO, a Type Checker Generator
Haochen Xie
Nagoya University
splash-2018-Posters
19:18 - 19:20
Poster
Refinement in object-sensitivity points-to analysis via slicing
Girish Maskeri Rama
Infosys Limited
,
Raghavan Komondoor
Indian Institute of Science, Bangalore
,
Himanshu Sharma
Indian Institute of Science, Bangalore
Link to publication
splash-2018-Posters
19:20 - 19:21
Poster
Explaining Spreadsheets with Spreadsheets
Jácome Cunha
University of Minho
,
Mihai Dan
Oregon State University
,
Martin Erwig
Oregon State University
,
Danila Fedorin
Oregon State University
,
Alex Grejuc
Oregon State University
Link to publication
splash-2018-Posters
19:21 - 19:23
Poster
Continuous Model Validation using Reference Attribute Grammars
Johannes Mey
Technische Universität Dresden
,
René Schöne
Technische Universität Dresden
,
Görel Hedin
,
Emma Söderberg
Lund University
,
Thomas Kühn
Technische Universität Dresden
,
Niklas Fors
Lund University
,
Jesper Oqvist
Lund University
,
Uwe Aßmann
TU Dresden, Germany
Link to publication
Pre-print
splash-2018-Posters
19:23 - 19:25
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Jonathan Bell
George Mason University
,
Luís Pina
George Mason University
splash-2018-Posters
19:25 - 19:26
Poster
DeepBugs: A Learning Approach to Name-based Bug Detection
Michael Pradel
TU Darmstadt
,
Koushik Sen
University of California, Berkeley
Link to publication
splash-2018-Posters
19:26 - 19:28
Talk
Grammar Induction for Programming Languages using Skip-Gram Model
Tomomasa Matsunaga
,
Shigeru Chiba
The University of Tokyo
splash-2018-Posters
19:28 - 19:30
Poster
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Daco Harkes
Delft University of Technology
,
Elmer van Chastelet
Delft University of Technology
,
Eelco Visser
Delft University of Technology
Link to publication
Tue 6 Nov
splash-2018-Social
07:30 - 08:30:
Social
- Breakfast at
Terrace
splash-2018-Social
10:00 - 10:30:
Social
- Break at
Terrace
splash-2018-Social
15:00 - 15:30:
Social
- Break at
Terrace
splash-2018-Social
17:00 - 18:00:
Social
- Social at
Terrace
Wed 7 Nov
splash-2018-Social
07:30 - 08:30:
Social
- Breakfast at
Terrace
splash-2018-Social
10:00 - 10:30:
Social
- Break at
Terrace
splash-2018-Social
15:00 - 15:30:
Social
- Break at
Terrace
Thu 8 Nov
splash-2018-Social
07:30 - 08:30:
Social
- Breakfast at
Terrace
splash-2018-Social
10:00 - 10:30:
Social
- Break at
Terrace
splash-2018-Social
15:00 - 15:30:
Social
- Break at
Terrace
Fri 9 Nov
splash-2018-Social
07:30 - 08:30:
Social
- Breakfast at
Terrace
splash-2018-Social
10:00 - 10:30:
Social
- Break at
Terrace
splash-2018-Social
15:45 - 16:45:
Social
- T-shirt social at
Terrace
Sun 4 Nov 2018
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Terrace
SPLASH Social
Breakfast
08:00 - 09:00
SPLASH Social
Break
10:00 - 10:30
SPLASH Social
Break
15:00 - 15:30
SPLASH Social
Social
17:00 - 18:00
Mon 5 Nov 2018
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
Terrace
SPLASH Social
Breakfast
07:30 - 08:30
SPLASH Social
Break
10:00 - 10:30
SPLASH Social
Break
15:00 - 15:30
SPLASH Posters
Poster
17:30 - 19:30
Tue 6 Nov 2018
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Terrace
SPLASH Social
Breakfast
07:30 - 08:30
SPLASH Social
Break
10:00 - 10:30
SPLASH Social
Break
15:00 - 15:30
SPLASH Social
Social
17:00 - 18:00
Wed 7 Nov 2018
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Terrace
SPLASH Social
Breakfast
07:30 - 08:30
SPLASH Social
Break
10:00 - 10:30
SPLASH Social
Break
15:00 - 15:30
Thu 8 Nov 2018
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
Terrace
SPLASH Social
Breakfast
07:30 - 08:30
SPLASH Social
Break
10:00 - 10:30
SPLASH Social
Break
15:00 - 15:30
SPLASH Social
18:30 - 19:30
Fri 9 Nov 2018
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Terrace
SPLASH Social
Breakfast
07:30 - 08:30
SPLASH Social
Break
10:00 - 10:30
SPLASH Social
14:15 - 14:45
SPLASH Social
T-shirt social
15:45 - 16:45
Mon 5 Nov 2018
Room
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Terrace
SPLASH Posters
Data Programming (DP): A new way of programming user interfaces
17:30 - 17:31
SPLASH Posters
Programming by example: efficient, but not "helpful"
17:31 - 17:33
SPLASH Posters
Obsidian: A Safer Blockchain Programming Language
17:33 - 17:34
SPLASH Posters
Toward a Language-Parametric Code Completion Editor Service
17:34 - 17:36
SPLASH Posters
Compositional Programming and Testing of Dynamic Distributed Systems
17:36 - 17:38
SPLASH Posters
Messir, a Text-first DSL-based Approach for UML Requirements Engineerin ...
17:38 - 17:39
SPLASH Posters
Finding Broken Promises in Asynchronous JavaScript Programs
17:39 - 17:41
SPLASH Posters
Test Generation for Higher-Order Functions in Dynamic Languages
17:41 - 17:43
SPLASH Posters
Speeding up Symbolic Reasoning for Relational Queries
17:43 - 17:44
SPLASH Posters
Fixing Machine Learning with Solver-Aided Languages
17:44 - 17:46
SPLASH Posters
SWAN: A Swift Program Analysis Framework
17:46 - 17:48
SPLASH Posters
The Software Architecture of Economy Mechanics in Digital Games
17:48 - 17:49
SPLASH Posters
Identifying Barriers to Adoption for Rust through Online Discourse
17:49 - 17:51
SPLASH Posters
Handling inconsistencies in software product line using a rule-based ap ...
17:51 - 17:53
SPLASH Posters
Chocola: Integrating Futures, Actors, and Transactions
17:53 - 17:54
SPLASH Posters
Anomaly Analyses for Feature-Model Evolution
17:54 - 17:56
SPLASH Posters
Understanding Java Usability by Mining GitHub Repositories
17:56 - 17:57
SPLASH Posters
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
17:57 - 17:59
SPLASH Posters
QDB: From Quantum Algorithms Towards Correct Quantum Programs
17:59 - 18:01
SPLASH Posters
Declarative Specification of Indentation Rules: A Tooling Perspective o ...
18:01 - 18:02
SPLASH Posters
Safe Replication through Bounded Concurrency Verification
18:02 - 18:04
SPLASH Posters
Automatic Diagnosis and Correction of Logical Errors for Functional Pro ...
18:04 - 18:06
SPLASH Posters
Observable atomic consistency for CvRDTs
18:06 - 18:07
SPLASH Posters
Reconciling High-level Optimizations and Low-level Code in LLVM
18:07 - 18:09
SPLASH Posters
Meta-programming for cross-domain tensor optimizations
18:09 - 18:11
SPLASH Posters
One Tool, Many Languages: Language-Parametric Transformation with Incre ...
18:11 - 18:12
SPLASH Posters
Scaling the REPL Experience
18:12 - 18:14
SPLASH Posters
Automated Rule Inference for Cryptographic APIs through Source Code Rep ...
18:14 - 18:16
SPLASH Posters
Exploring feature interactions without specifications: a controlled exp ...
18:16 - 18:17
SPLASH Posters
GraphIt - A High-Performance Graph DSL
18:17 - 18:19
SPLASH Posters
Symmetry-based Optimization of Interaction Kernels
18:19 - 18:20
SPLASH Posters
Sound Deadlock Prediction
18:20 - 18:22
SPLASH Posters
Conflict Resolution for Structured Merge via Version Space Algebra
18:22 - 18:24
SPLASH Posters
Robust Relational Layout Synthesis from Examples for Android
18:24 - 18:25
SPLASH Posters
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
18:25 - 18:27
SPLASH Posters
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time C ...
18:27 - 18:29
SPLASH Posters
Scopes as Types
18:29 - 18:30
SPLASH Posters
Generating a Java Library from Its Specification
18:30 - 18:32
SPLASH Posters
Thread-Safe Reactive Programming
18:32 - 18:34
SPLASH Posters
Storm: A Language Platform for Interacting and Extensible Languages (To ...
18:34 - 18:35
SPLASH Posters
Multi-Device Grace
18:35 - 18:37
SPLASH Posters
Migrating Custom DSL Implementations to a Language Workbench: An Indust ...
18:37 - 18:39
SPLASH Posters
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
18:39 - 18:40
SPLASH Posters
Compiling Distributed System Specifications into Implementations
18:40 - 18:42
SPLASH Posters
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
18:42 - 18:43
SPLASH Posters
Incremental compilation for Stratego
18:43 - 18:45
SPLASH Posters
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardwar ...
18:45 - 18:47
SPLASH Posters
Object-Oriented Recovery for Non-Volatile Memory
18:47 - 18:48
SPLASH Posters
Faster Variational Execution with Transparent Bytecode Transformation
18:48 - 18:50
SPLASH Posters
Observing the Uptake of a Language Change Making Strings Immutable
18:50 - 18:52
SPLASH Posters
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack ...
18:52 - 18:53
SPLASH Posters
Espalier: a structured spreadsheet tool for end-user development of org ...
18:53 - 18:55
SPLASH Posters
Identifying Refactoring Opportunities for Replacing Type Code with Subc ...
18:55 - 18:57
SPLASH Posters
Margin Notes: Automatic code documentation with recorded examples from ...
18:57 - 18:58
SPLASH Posters
A Practical Unification of Multi-Stage Programming and Macros
18:58 - 19:00
SPLASH Posters
Precision-Guided Context Sensitivity for Pointer Analysis
19:00 - 19:02
SPLASH Posters
Skitter: A DSL for Distributed Reactive Workflows
19:02 - 19:03
SPLASH Posters
Consolidating Inheritance and Scoping into a Context Abstraction
19:03 - 19:05
SPLASH Posters
Modular Language Composition for the Masses
19:05 - 19:06
SPLASH Posters
From Debugging Towards Live Tuning of Reactive Applications
19:06 - 19:08
SPLASH Posters
Secure Serverless Computing Using Dynamic Information Flow Control
19:08 - 19:10
SPLASH Posters
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-b ...
19:10 - 19:11
SPLASH Posters
A Derivation Framework for Dependent Security Label Inference
19:11 - 19:13
SPLASH Posters
Distributed System Development with ScalaLoci
19:13 - 19:15
SPLASH Posters
An Empirical Study of the Effect of Source-level Loop Transformations o ...
19:15 - 19:16
SPLASH Posters
METACO, a Type Checker Generator
19:16 - 19:18
SPLASH Posters
Refinement in object-sensitivity points-to analysis via slicing
19:18 - 19:20
SPLASH Posters
Explaining Spreadsheets with Spreadsheets
19:20 - 19:21
SPLASH Posters
Continuous Model Validation using Reference Attribute Grammars
19:21 - 19:23
SPLASH Posters
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stoc ...
19:23 - 19:25
SPLASH Posters
DeepBugs: A Learning Approach to Name-based Bug Detection
19:25 - 19:26
SPLASH Posters
Grammar Induction for Programming Languages using Skip-Gram Model
19:26 - 19:28
SPLASH Posters
Migrating Business Logic to an Incremental Computing DSL: A Case Study
19:28 - 19:30
x
Mon 18 Feb 09:17