SPLASH 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
Toggle navigation
About
Venue: Boston Park Plaza Hotel
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Schedule
Complete Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Tracks
SPLASH 2018
OOPSLA
Artifacts
Keynotes
Posters
SPLASH-I
Meetups
SPLASH-E
Workshops
PLMW
Breakfasts
DocSymposium
Volunteers
SRC
Social
Co-hosted Conferences
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
SLE
Workshops
AGERE
AI-SEPS
BLOCKS+
DSLDI
GRACE
HILT
LIVE
META
NJR
OCAP
PLATEAU
REBLS
SLEBoK
TURBO
VMIL
Co-hosted Symposia
DLS
Organization
SPLASH 2018 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Reviewers
Distinguished Paper Committee
Artifacts
Posters
SPLASH-I
Speakers
Organizers
SPLASH-E
Workshops
PLMW
Organizing Committee
Speakers
Breakfasts
DocSymposium
Academic Panel
Organizers
Program Committee
Volunteers
SRC
Organizers
Reviewers
Judges
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
SLE
Keynote Speaker
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
AGERE
Organizing Committee
Program Committee
AI-SEPS
Organizing Committee
Program Committee
BLOCKS+
Organizing Committee
Program Committee
DSLDI
Organizing Committee
Program Committee
GRACE
Organizing Committee
Program Committee
HILT
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
META
Organizing Committee
Program Committee
NJR
Organizing Committee
Program Committee
OCAP
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
SLEBoK
Organizing Committee
Program Committee
TURBO
Organizing Committee
VMIL
Program Committee
Steering Committee
Co-hosted Symposia
DLS
Program Committee
Steering Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2018
(
series
) /
Boston Park Plaza Hotel
/
Room information: Studio 2
Venue
Boston Park Plaza Hotel
Room name
Studio 2
Floor
1
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-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
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-07: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-05: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-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02: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 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:45 - 10:00
Hermans
Keynotes
at
Studio 2
08:45
75m
Talk
Explicit Direct Instruction in Programming Education
KEYNOTE
Keynotes
Felienne Hermans
10:30 - 12:00
I
GPCE
at
Studio 2
Chair(s):
Shoaib Kamil
Adobe
10:30
30m
Talk
A Domain-Specific Language for Exploratory Data Visualization
GPCE
Karl Smeltzer
Oregon State University
,
Martin Erwig
Oregon State University
11:00
30m
Talk
A Practical Unification of Multi-Stage Programming and Macros
GPCE
Nicolas Stucki
EPFL, Switzerland
,
Aggelos Biboudis
EPFL, Switzerland
,
Martin Odersky
EPFL, Switzerland
11:30
30m
Talk
Rash: From Reckless Interactions to Reliable Programs
GPCE
William G Hatch
University of Utah
,
Matthew Flatt
University of Utah
13:30 - 15:00
II
GPCE
at
Studio 2
Chair(s):
Aggelos Biboudis
EPFL, Switzerland
13:30
30m
Talk
Exploring feature interactions without specifications: a controlled experiment
GPCE
Larissa Soares
Universidade Federal da Bahia
,
Jens Meinicke
Magdeburg University
,
Sarah Nadi
University of Alberta
,
Christian Kästner
Carnegie Mellon University
,
Eduardo Santana de Almeida
Universidade Federal da Bahia
14:00
30m
Talk
Inferring Ownership Domains From Refinements
GPCE
Ebrahim Khalaj
Wayne State University
,
Marwan Abi-Antoun
Wayne State University
14:30
30m
Talk
Implementing a semi-causal domain-specific language for context detection over binary sensors
GPCE
Nic Volanschi
Inria Bordeaux
,
Bernard Serpette
Inria
,
Charles Consel
University of Bordeaux
15:30 - 17:00
III
GPCE
at
Studio 2
Chair(s):
Sarah Nadi
University of Alberta
15:30
30m
Talk
Meta-programming for cross-domain tensor optimizations
GPCE
Adilla Susungi
MINES ParisTech, France
,
Norman A. Rink
TU Dresden, Germany
,
Albert Cohen
Google
,
Jeronimo Castrillon
TU Dresden, Germany
,
Claude Tadonki
MINES ParisTech, France
16:00
30m
Talk
Model-based Security Analysis of Feature-oriented Software Product Lines
GPCE
Sven Peldszus
University of Koblenz-Landau
,
Daniel Strüber
University of Koblenz-Landau, Germany
,
Jan Jürjens
University of Koblenz-Landau
DOI
Pre-print
16:30
30m
Talk
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
GPCE
Laurent Christophe
VUB
,
Coen De Roover
Vrije Universiteit Brussel
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
IV
GPCE
at
Studio 2
Chair(s):
Sebastian Erdweg
TU Delft
10:30
30m
Talk
Measuring Effectiveness of Sample-based Product-Line Testing
GPCE
Sebastian Ruland
,
Lars Luthmann
TU Darmstadt, Real-time Systems Lab
,
Johannes Bürdek
TU Darmstadt, Real-time Systems Lab
,
Sascha Lity
Technische Universität Braunschweig
,
Thomas Thüm
University of Ulm
,
Malte Lochau
,
Márcio Ribeiro
Federal University of Alagoas, Brazil
11:00
30m
Talk
Pattern Matching in an Open World
GPCE
Weixin Zhang
The University of Hong Kong
,
Bruno C. d. S. Oliveira
The University of Hong Kong
11:30
30m
Talk
Verification of High-Level Transformations with Inductive Refinement Types
GPCE
Ahmad Salim Al-Sibahi
Department of Computer Science, University of Copenhagen (DIKU) & BilagScan
,
Thomas P. Jensen
INRIA Rennes
,
Aleksandar S. Dimovski
IT University of Copenhagen, Denmark
,
Andrzej WÄ…sowski
IT University of Copenhagen, Denmark
13:30 - 15:00
V
GPCE
at
Studio 2
Chair(s):
Tijs van der Storm
CWI & University of Groningen
13:30
60m
Talk
TensorFlow AutoGraph: Imperative-Style Coding with Graph-based Performance
Invited Talk
GPCE
I:
Alexander B. Wiltschko
Google Brain
14:30
15m
Talk
Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper)
GPCE
L. Thomas van Binsbergen
Royal Holloway University of London
14:45
15m
Talk
Explaining Spreadsheets with Spreadsheets (Short Paper)
GPCE
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
15:30 - 17:00
VI
GPCE
at
Studio 2
Chair(s):
Stefan Marr
University of Kent
15:30
30m
Talk
Anomaly Analyses for Feature-Model Evolution
GPCE
Michael Nieke
TU Braunschweig, Germany
,
Jacopo Mauro
University of Southern Denmark
,
Christoph Seidl
Technische Universität Braunschweig
,
Thomas Thüm
University of Ulm
,
Ingrid Chieh Yu
University of Oslo
,
Felix Franzke
TU Braunschweig
16:00
30m
Talk
Regenerate: A Language Generator for Extended Regular Expressions
GPCE
Gabriel Radanne
University of Freiburg
,
Peter Thiemann
University of Freiburg
DOI
Pre-print
16:30
30m
Talk
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
GPCE
Yin Liu
Virginia Tech
,
Kijin An
Virginia Tech
,
Eli Tilevich
Virginia Tech
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Parallelism and Performance
OOPSLA
at
Studio 2
Chair(s):
Arjun Guha
University of Massachusetts Amherst
10:30
22m
Talk
Every Data Structure Deserves Lock-Free Memory Reclamation
OOPSLA
Nachshon Cohen
EPFL, Switzerland
10:52
22m
Talk
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
OOPSLA
Benoit Daloze
JKU Linz, Austria
,
Arie Tal
Technion
,
Stefan Marr
University of Kent
,
Hanspeter Mössenböck
JKU Linz, Austria
,
Erez Petrank
Technion
Pre-print
11:15
22m
Talk
Virtual Machine Design for Parallel Dynamic Programming Languages
OOPSLA
Remigius Meier
ETH Zurich, Switzerland
,
Armin Rigo
PyPy.org, Switzerland
,
Thomas Gross
ETH Zurich
11:37
22m
Talk
goSLP: Globally Optimized Superword Level Parallelism Framework
OOPSLA
Charith Mendis
MIT CSAIL
,
Saman Amarasinghe
MIT
13:30 - 15:00
Language Design 1
OOPSLA
at
Studio 2
Chair(s):
Eelco Visser
Delft University of Technology
13:30
22m
Talk
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
OOPSLA
Roland Leißa
Saarland University, Germany
,
Klaas Boesche
Saarland University
,
Sebastian Hack
Saarland University, Germany
,
Arsène Pérard-Gayot
Saarland University, Germany
,
Richard Membarth
DFKI, Germany
,
Philipp Slusallek
DFKI, Germany
,
André Müller
Johannes Gutenberg University
,
Bertil Schmidt
Johannes Gutenberg University
13:52
22m
Talk
Julia: Dynamism and Performance Reconciled by Design
OOPSLA
Jeff Bezanson
Julia Computing
,
Benjamin Chung
Northeastern University
,
Jiahao Chen
Capital One
,
Stefan Karpinski
,
Viral B Shah
Julia Computing
,
Jan Vitek
Northeastern University
,
Lionel Zoubritzky
École Normale Supérieure
14:15
22m
Talk
GraphIt - A High-Performance Graph DSL
OOPSLA
Yunming Zhang
,
Mengjiao Yang
MIT CSAIL
,
Riyadh Baghdadi
MIT
,
Shoaib Kamil
Adobe
,
Julian Shun
MIT
,
Saman Amarasinghe
MIT
14:37
22m
Talk
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
OOPSLA
James Koppel
MIT
,
Varot Premtoon
MIT
,
Armando Solar-Lezama
MIT CSAIL
15:30 - 17:00
Compiler Optimization
OOPSLA
at
Studio 2
Chair(s):
Patrick Lam
University of Waterloo
15:30
22m
Talk
Format Abstraction for Sparse Tensor Algebra Compilers
OOPSLA
Stephen Chou
MIT CSAIL
,
Fredrik Kjolstad
MIT CSAIL
,
Saman Amarasinghe
MIT
15:52
22m
Talk
ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation
OOPSLA
Xiaoran Xu
Rice University
,
Keith Cooper
Rice University
,
Jacob Brock
University of Rochester
,
Yan Zhang
,
Handong Ye
Futurewei Technologies
16:15
22m
Talk
Reconciling High-level Optimizations and Low-level Code in LLVM
OOPSLA
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
Pre-print
16:37
22m
Talk
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
OOPSLA
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
Media Attached
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Types and Contracts
OOPSLA
at
Studio 2
Chair(s):
Hakjoo Oh
Korea University
10:30
22m
Talk
Horn-ICE Learning for Synthesizing Invariants and Contracts
OOPSLA
Deepak D'Souza
,
Ezudheen P
,
Pranav Garg
University of Illinois at Urbana-Champaign
,
Daniel Neider
Max Planck Institute for Software Systems
,
P. Madhusudan
University of Illinois at Urbana-Champaign
10:52
22m
Talk
Gradual Liquid Type Inference
OOPSLA
Niki Vazou
IMDEA Software Institute
,
Éric Tanter
University of Chile & Inria Paris
,
David Van Horn
University of Maryland, USA
11:15
22m
Talk
Collapsible Contracts: Fixing a Pathology of Gradual Typing
OOPSLA
Daniel Feltey
Northwestern University, USA
,
Ben Greenman
Northeastern University, USA
,
Christophe Scholliers
Universiteit Gent, Belgium
,
Robert Bruce Findler
Northwestern University, USA
,
Vincent St-Amour
Northwestern University
11:37
22m
Talk
The Root Cause of Blame: Contracts for Intersection and Union Types
OOPSLA
Jack Williams
University of Edinburgh, UK
,
J. Garrett Morris
University of Kansas, USA
,
Philip Wadler
University of Edinburgh, UK
13:30 - 15:00
Static Analysis
OOPSLA
at
Studio 2
Chair(s):
Karim Ali
University of Alberta
13:30
22m
Talk
Incrementalizing Lattice-Based Program Analyses in Datalog
OOPSLA
Tamás Szabó
itemis / TU Delft
,
Gábor Bergmann
Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary
,
Sebastian Erdweg
TU Delft
,
Markus Völter
independent / itemis, Germany
13:52
22m
Talk
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
OOPSLA
Minseok Jeon
Korea University, South Korea
,
Sehun Jeong
Korea University
,
Hakjoo Oh
Korea University
14:15
22m
Talk
Precision-Guided Context Sensitivity for Pointer Analysis
OOPSLA
Yue Li
Aarhus University, Denmark
,
Tian Tan
Aarhus University, Denmark
,
Anders Møller
Aarhus University
,
Yannis Smaragdakis
University of Athens
14:37
22m
Talk
Refinement in object-sensitivity points-to analysis via slicing
OOPSLA
Girish Maskeri Rama
Infosys Limited
,
Raghavan Komondoor
Indian Institute of Science, Bangalore
,
Himanshu Sharma
Indian Institute of Science, Bangalore
15:30 - 17:00
Potpourri
OOPSLA
at
Studio 2
Chair(s):
Anders Møller
Aarhus University
15:30
22m
Talk
DeepBugs: A Learning Approach to Name-based Bug Detection
OOPSLA
Michael Pradel
TU Darmstadt
,
Koushik Sen
University of California, Berkeley
15:52
22m
Talk
ExceLint: Automatically Finding Spreadsheet Formula Errors
OOPSLA
Dan Barowy
,
Emery D. Berger
University of Massachusetts, Amherst
,
Benjamin Zorn
Microsoft Research
16:15
22m
Talk
Finding Code That Explodes Under Symbolic Evaluation
OOPSLA
James Bornholt
University of Washington
,
Emina Torlak
University of Washington
16:37
22m
Talk
FlashProfile: A Framework for Synthesizing Data Profiles
OOPSLA
Saswat Padhi
University of California, Los Angeles
,
Prateek Jain
Microsoft Research Lab, India
,
Daniel Perelman
University of Washington, USA
,
Alex Polozov
Microsoft Research
,
Sumit Gulwani
Microsoft Research
,
Todd Millstein
University of California, Los Angeles
Fri 9 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Program Synthesis
OOPSLA
at
Studio 2
Chair(s):
Jens Palsberg
University of California, Los Angeles
10:30
22m
Talk
Relational Program Synthesis
OOPSLA
Yuepeng Wang
University of Texas at Austin
,
Xinyu Wang
UT Austin
,
Işıl Dillig
UT Austin
10:52
22m
Talk
Robust Relational Layout Synthesis from Examples for Android
OOPSLA
Pavol Bielik
ETH Zürich
,
Marc Fischer
ETH Zurich
,
Martin Vechev
ETH Zürich
11:15
22m
Talk
Speeding up Symbolic Reasoning for Relational Queries
OOPSLA
Chenglong Wang
University of Washington, USA
,
Alvin Cheung
University of Washington
,
Rastislav BodÃk
University of Washington
11:37
22m
Talk
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
OOPSLA
Junho Lee
Korea University
,
Dowon Song
Korea University
,
Sunbeom So
Korea University
,
Hakjoo Oh
Korea University
13:30 - 14:15
Safe Merging
OOPSLA
at
Studio 2
Chair(s):
David J. Pearce
Victoria University of Wellington
13:30
22m
Talk
Verified Three-Way Program Merge
OOPSLA
Marcelo Sousa
University of Oxford
,
Işıl Dillig
UT Austin
,
Shuvendu K. Lahiri
Microsoft Research
13:52
22m
Talk
Conflict Resolution for Structured Merge via Version Space Algebra
OOPSLA
Fengmin Zhu
,
Fei He
Tsinghua University
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
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
Studio 2
Keynotes
Hermans
GPCE
I
GPCE
II
GPCE
III
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Studio 2
GPCE
IV
GPCE
V
GPCE
VI
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Studio 2
OOPSLA
Parallelism and Performance
OOPSLA
Language Design 1
OOPSLA
Compiler Optimization
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Studio 2
OOPSLA
Types and Contracts
OOPSLA
Static Analysis
OOPSLA
Potpourri
Fri 9 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Studio 2
OOPSLA
Program Synthesis
OOPSLA
Safe Merging
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Studio 2
SPLASH Keynotes
KEYNOTE
Explicit Direct Instruction in Programming Education
08:45 - 10:00
GPCE
A Domain-Specific Language for Exploratory Data Visualization
10:30 - 11:00
GPCE
A Practical Unification of Multi-Stage Programming and Macros
11:00 - 11:30
GPCE
Rash: From Reckless Interactions to Reliable Programs
11:30 - 12:00
GPCE
Exploring feature interactions without specifications: a controlled exp ...
13:30 - 14:00
GPCE
Inferring Ownership Domains From Refinements
14:00 - 14:30
GPCE
Implementing a semi-causal domain-specific language for context detecti ...
14:30 - 15:00
GPCE
Meta-programming for cross-domain tensor optimizations
15:30 - 16:00
GPCE
Model-based Security Analysis of Feature-oriented Software Product Lines
16:00 - 16:30
GPCE
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack ...
16:30 - 17:00
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Studio 2
GPCE
Measuring Effectiveness of Sample-based Product-Line Testing
10:30 - 11:00
GPCE
Pattern Matching in an Open World
11:00 - 11:30
GPCE
Verification of High-Level Transformations with Inductive Refinement Types
11:30 - 12:00
GPCE
Invited Talk
TensorFlow AutoGraph: Imperative-Style Coding with Graph-based Performance
13:30 - 14:30
GPCE
Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative ...
14:30 - 14:45
GPCE
Explaining Spreadsheets with Spreadsheets (Short Paper)
14:45 - 15:00
GPCE
Anomaly Analyses for Feature-Model Evolution
15:30 - 16:00
GPCE
Regenerate: A Language Generator for Extended Regular Expressions
16:00 - 16:30
GPCE
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time C ...
16:30 - 17:00
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Studio 2
SPLASH OOPSLA
Every Data Structure Deserves Lock-Free Memory Reclamation
10:30 - 10:52
SPLASH OOPSLA
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
10:52 - 11:15
SPLASH OOPSLA
Virtual Machine Design for Parallel Dynamic Programming Languages
11:15 - 11:37
SPLASH OOPSLA
goSLP: Globally Optimized Superword Level Parallelism Framework
11:37 - 12:00
SPLASH OOPSLA
AnyDSL: A Partial Evaluation Framework for Programming High-Performance ...
13:30 - 13:52
SPLASH OOPSLA
Julia: Dynamism and Performance Reconciled by Design
13:52 - 14:15
SPLASH OOPSLA
GraphIt - A High-Performance Graph DSL
14:15 - 14:37
SPLASH OOPSLA
One Tool, Many Languages: Language-Parametric Transformation with Incre ...
14:37 - 15:00
SPLASH OOPSLA
Format Abstraction for Sparse Tensor Algebra Compilers
15:30 - 15:52
SPLASH OOPSLA
ShareJIT: JIT Code Cache Sharing across Processes and its Practical Imp ...
15:52 - 16:15
SPLASH OOPSLA
Reconciling High-level Optimizations and Low-level Code in LLVM
16:15 - 16:37
SPLASH OOPSLA
An Empirical Study of the Effect of Source-level Loop Transformations o ...
16:37 - 17:00
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Studio 2
SPLASH OOPSLA
Horn-ICE Learning for Synthesizing Invariants and Contracts
10:30 - 10:52
SPLASH OOPSLA
Gradual Liquid Type Inference
10:52 - 11:15
SPLASH OOPSLA
Collapsible Contracts: Fixing a Pathology of Gradual Typing
11:15 - 11:37
SPLASH OOPSLA
The Root Cause of Blame: Contracts for Intersection and Union Types
11:37 - 12:00
SPLASH OOPSLA
Incrementalizing Lattice-Based Program Analyses in Datalog
13:30 - 13:52
SPLASH OOPSLA
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
13:52 - 14:15
SPLASH OOPSLA
Precision-Guided Context Sensitivity for Pointer Analysis
14:15 - 14:37
SPLASH OOPSLA
Refinement in object-sensitivity points-to analysis via slicing
14:37 - 15:00
SPLASH OOPSLA
DeepBugs: A Learning Approach to Name-based Bug Detection
15:30 - 15:52
SPLASH OOPSLA
ExceLint: Automatically Finding Spreadsheet Formula Errors
15:52 - 16:15
SPLASH OOPSLA
Finding Code That Explodes Under Symbolic Evaluation
16:15 - 16:37
SPLASH OOPSLA
FlashProfile: A Framework for Synthesizing Data Profiles
16:37 - 17:00
Fri 9 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
Studio 2
SPLASH OOPSLA
Relational Program Synthesis
10:30 - 10:52
SPLASH OOPSLA
Robust Relational Layout Synthesis from Examples for Android
10:52 - 11:15
SPLASH OOPSLA
Speeding up Symbolic Reasoning for Relational Queries
11:15 - 11:37
SPLASH OOPSLA
Automatic Diagnosis and Correction of Logical Errors for Functional Pro ...
11:37 - 12:00
SPLASH OOPSLA
Verified Three-Way Program Merge
13:30 - 13:52
SPLASH OOPSLA
Conflict Resolution for Structured Merge via Version Space Algebra
13:52 - 14:15
x
Tue 5 Nov 05:30