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: Studio 2
Venue
Boston Park Plaza Hotel
Room name
Studio 2
Floor
1
Room number
Capacity
0
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Mon 5 Nov
splash-2018-Keynotes
08:45 - 10:00:
Keynotes
- Hermans at
Studio 2
splash-2018-Keynotes
08:45 - 10:00
Talk
Explicit Direct Instruction in Programming Education
KEYNOTE
Felienne Hermans
TU Delft
gpce-2018
10:30 - 12:00:
GPCE 2018
- I at
Studio 2
Chair(s):
Shoaib Kamil
Adobe
gpce-2018
10:30 - 11:00
Talk
A Domain-Specific Language for Exploratory Data Visualization
Karl Smeltzer
Oregon State University
,
Martin Erwig
Oregon State University
gpce-2018
11:00 - 11:30
Talk
A Practical Unification of Multi-Stage Programming and Macros
Nicolas Stucki
EPFL, Switzerland
,
Aggelos Biboudis
EPFL, Switzerland
,
Martin Odersky
EPFL, Switzerland
gpce-2018
11:30 - 12:00
Talk
Rash: From Reckless Interactions to Reliable Programs
William G Hatch
University of Utah
,
Matthew Flatt
University of Utah
gpce-2018
13:30 - 15:00:
GPCE 2018
- II at
Studio 2
Chair(s):
Aggelos Biboudis
EPFL, Switzerland
gpce-2018
13:30 - 14:00
Talk
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
gpce-2018
14:00 - 14:30
Talk
Inferring Ownership Domains From Refinements
Ebrahim Khalaj
Wayne State University
,
Marwan Abi-Antoun
Wayne State University
gpce-2018
14:30 - 15:00
Talk
Implementing a semi-causal domain-specific language for context detection over binary sensors
Nic Volanschi
Inria Bordeaux
,
Bernard Serpette
Inria
,
Charles Consel
University of Bordeaux
gpce-2018
15:30 - 17:00:
GPCE 2018
- III at
Studio 2
Chair(s):
Sarah Nadi
University of Alberta
gpce-2018
15:30 - 16:00
Talk
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
gpce-2018
16:00 - 16:30
Talk
Model-based Security Analysis of Feature-oriented Software Product Lines
Sven Peldszus
University of Koblenz-Landau
,
Daniel Strüber
University of Koblenz-Landau, Germany
,
Jan Jürjens
University of Koblenz-Landau
DOI
Pre-print
gpce-2018
16:30 - 17:00
Talk
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
Tue 6 Nov
gpce-2018
10:30 - 12:00:
GPCE 2018
- IV at
Studio 2
Chair(s):
Sebastian Erdweg
TU Delft
gpce-2018
10:30 - 11:00
Talk
Measuring Effectiveness of Sample-based Product-Line Testing
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
TU Braunschweig, Germany
,
Malte Lochau
,
Márcio Ribeiro
Federal University of Alagoas, Brazil
gpce-2018
11:00 - 11:30
Talk
Pattern Matching in an Open World
Weixin Zhang
The University of Hong Kong
,
Bruno C. d. S. Oliveira
The University of Hong Kong
gpce-2018
11:30 - 12:00
Talk
Verification of High-Level Transformations with Inductive Refinement Types
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
gpce-2018
13:30 - 15:00:
GPCE 2018
- V at
Studio 2
Chair(s):
Tijs van der Storm
CWI & University of Groningen
gpce-2018
13:30 - 14:30
Talk
TensorFlow AutoGraph: Imperative-Style Coding with Graph-based Performance
Invited Talk
Alexander B. Wiltschko
Google Brain
gpce-2018
14:30 - 14:45
Talk
Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper)
L. Thomas van Binsbergen
Royal Holloway University of London
gpce-2018
14:45 - 15:00
Talk
Explaining Spreadsheets with Spreadsheets (Short Paper)
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
gpce-2018
15:30 - 17:00:
GPCE 2018
- VI at
Studio 2
Chair(s):
Stefan Marr
University of Kent
gpce-2018
15:30 - 16:00
Talk
Anomaly Analyses for Feature-Model Evolution
Michael Nieke
TU Braunschweig, Germany
,
Jacopo Mauro
University of Southern Denmark
,
Christoph Seidl
Technische Universität Braunschweig
,
Thomas Thüm
TU Braunschweig, Germany
,
Ingrid Chieh Yu
University of Oslo
,
Felix Franzke
TU Braunschweig
gpce-2018
16:00 - 16:30
Talk
Regenerate: A Language Generator for Extended Regular Expressions
Gabriel Radanne
University of Freiburg
,
Peter Thiemann
University of Freiburg
DOI
Pre-print
gpce-2018
16:30 - 17:00
Talk
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Yin Liu
Virginia Tech
,
Kijin An
Virginia Tech
,
Eli Tilevich
Virginia Tech
Wed 7 Nov
splash-2018-OOPSLA
10:30 - 12:00:
OOPSLA
- Parallelism and Performance at
Studio 2
Chair(s):
Arjun Guha
University of Massachusetts Amherst
splash-2018-OOPSLA
10:30 - 10:52
Talk
Every Data Structure Deserves Lock-Free Memory Reclamation
Nachshon Cohen
EPFL, Switzerland
splash-2018-OOPSLA
10:52 - 11:15
Talk
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
Pre-print
splash-2018-OOPSLA
11:15 - 11:37
Talk
Virtual Machine Design for Parallel Dynamic Programming Languages
Remigius Meier
ETH Zurich, Switzerland
,
Armin Rigo
PyPy.org, Switzerland
,
Thomas Gross
ETH Zurich
splash-2018-OOPSLA
11:37 - 12:00
Talk
goSLP: Globally Optimized Superword Level Parallelism Framework
Charith Mendis
MIT CSAIL
,
Saman Amarasinghe
MIT
splash-2018-OOPSLA
13:30 - 15:00:
OOPSLA
- Language Design 1 at
Studio 2
Chair(s):
Eelco Visser
Delft University of Technology
splash-2018-OOPSLA
13:30 - 13:52
Talk
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
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
splash-2018-OOPSLA
13:52 - 14:15
Talk
Julia: Dynamism and Performance Reconciled by Design
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
splash-2018-OOPSLA
14:15 - 14:37
Talk
GraphIt - A High-Performance Graph DSL
Yunming Zhang
,
Mengjiao Yang
MIT CSAIL
,
Riyadh Baghdadi
MIT
,
Shoaib Kamil
Adobe
,
Julian Shun
MIT
,
Saman Amarasinghe
MIT
splash-2018-OOPSLA
14:37 - 15:00
Talk
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
James Koppel
MIT
,
Varot Premtoon
MIT
,
Armando Solar-Lezama
MIT CSAIL
splash-2018-OOPSLA
15:30 - 17:00:
OOPSLA
- Compiler Optimization at
Studio 2
Chair(s):
Patrick Lam
University of Waterloo
splash-2018-OOPSLA
15:30 - 15:52
Talk
Format Abstraction for Sparse Tensor Algebra Compilers
Stephen Chou
MIT CSAIL
,
Fredrik Kjolstad
MIT CSAIL
,
Saman Amarasinghe
MIT
splash-2018-OOPSLA
15:52 - 16:15
Talk
ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation
Xiaoran Xu
Rice University
,
Keith Cooper
Rice University
,
Jacob Brock
University of Rochester
,
Yan Zhang
,
Handong Ye
Futurewei Technologies
splash-2018-OOPSLA
16:15 - 16:37
Talk
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
splash-2018-OOPSLA
16:37 - 17:00
Talk
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
Thu 8 Nov
splash-2018-OOPSLA
10:30 - 12:00:
OOPSLA
- Types and Contracts at
Studio 2
Chair(s):
Hakjoo Oh
Korea University
splash-2018-OOPSLA
10:30 - 10:52
Talk
Horn-ICE Learning for Synthesizing Invariants and Contracts
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
splash-2018-OOPSLA
10:52 - 11:15
Talk
Gradual Liquid Type Inference
Niki Vazou
IMDEA Software Institute
,
Éric Tanter
University of Chile & Inria Paris
,
David Van Horn
University of Maryland, USA
splash-2018-OOPSLA
11:15 - 11:37
Talk
Collapsible Contracts: Fixing a Pathology of Gradual Typing
Daniel Feltey
Northwestern University, USA
,
Ben Greenman
Northeastern University, USA
,
Christophe Scholliers
Universiteit Gent, Belgium
,
Robby Findler
Northwestern University, USA
,
Vincent St-Amour
Northwestern University
splash-2018-OOPSLA
11:37 - 12:00
Talk
The Root Cause of Blame: Contracts for Intersection and Union Types
Jack Williams
University of Edinburgh, UK
,
J. Garrett Morris
University of Kansas, USA
,
Philip Wadler
University of Edinburgh, UK
splash-2018-OOPSLA
13:30 - 15:00:
OOPSLA
- Static Analysis at
Studio 2
Chair(s):
Karim Ali
University of Alberta
splash-2018-OOPSLA
13:30 - 13:52
Talk
Incrementalizing Lattice-Based Program Analyses in Datalog
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
splash-2018-OOPSLA
13:52 - 14:15
Talk
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
splash-2018-OOPSLA
14:15 - 14:37
Talk
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
splash-2018-OOPSLA
14:37 - 15:00
Talk
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
splash-2018-OOPSLA
15:30 - 17:00:
OOPSLA
- Potpourri at
Studio 2
Chair(s):
Anders Møller
Aarhus University
splash-2018-OOPSLA
15:30 - 15:52
Talk
DeepBugs: A Learning Approach to Name-based Bug Detection
Michael Pradel
TU Darmstadt
,
Koushik Sen
University of California, Berkeley
splash-2018-OOPSLA
15:52 - 16:15
Talk
ExceLint: Automatically Finding Spreadsheet Formula Errors
Daniel W. Barowy
,
Emery Berger
University of Massachusetts, Amherst
,
Benjamin Zorn
Microsoft Research
splash-2018-OOPSLA
16:15 - 16:37
Talk
Finding Code That Explodes Under Symbolic Evaluation
James Bornholt
University of Washington
,
Emina Torlak
University of Washington
splash-2018-OOPSLA
16:37 - 17:00
Talk
FlashProfile: A Framework for Synthesizing Data Profiles
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
splash-2018-OOPSLA
10:30 - 12:00:
OOPSLA
- Program Synthesis at
Studio 2
Chair(s):
Jens Palsberg
University of California, Los Angeles
splash-2018-OOPSLA
10:30 - 10:52
Talk
Relational Program Synthesis
Yuepeng Wang
University of Texas at Austin
,
Xinyu Wang
UT Austin
,
Isil Dillig
UT Austin
splash-2018-OOPSLA
10:52 - 11:15
Talk
Robust Relational Layout Synthesis from Examples for Android
Pavol Bielik
ETH Zürich
,
Marc Fischer
ETH Zurich
,
Martin Vechev
ETH Zürich
splash-2018-OOPSLA
11:15 - 11:37
Talk
Speeding up Symbolic Reasoning for Relational Queries
Chenglong Wang
University of Washington, USA
,
Alvin Cheung
University of Washington
,
Rastislav Bodik
University of Washington
splash-2018-OOPSLA
11:37 - 12:00
Talk
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
splash-2018-OOPSLA
13:30 - 14:15:
OOPSLA
- Safe Merging at
Studio 2
Chair(s):
David Pearce
Victoria University of Wellington
splash-2018-OOPSLA
13:30 - 13:52
Talk
Verified Three-Way Program Merge
Marcelo Sousa
University of Oxford
,
Isil Dillig
UT Austin
,
Shuvendu K. Lahiri
Microsoft Research
splash-2018-OOPSLA
13:52 - 14:15
Talk
Conflict Resolution for Structured Merge via Version Space Algebra
Fengmin Zhu
,
Fei He
Tsinghua University
Mon 5 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
Studio 2
SPLASH Keynotes
Hermans
08:45 - 10:00
GPCE
I
10:30 - 12:00
GPCE
II
13:30 - 15:00
GPCE
III
15:30 - 17:00
Tue 6 Nov 2018
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Studio 2
GPCE
IV
10:30 - 12:00
GPCE
V
13:30 - 15:00
GPCE
VI
15:30 - 17:00
Wed 7 Nov 2018
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Studio 2
SPLASH OOPSLA
Parallelism and Performance
10:30 - 12:00
SPLASH OOPSLA
Language Design 1
13:30 - 15:00
SPLASH OOPSLA
Compiler Optimization
15:30 - 17:00
Thu 8 Nov 2018
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Studio 2
SPLASH OOPSLA
Types and Contracts
10:30 - 12:00
SPLASH OOPSLA
Static Analysis
13:30 - 15:00
SPLASH OOPSLA
Potpourri
15:30 - 17:00
Fri 9 Nov 2018
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Studio 2
SPLASH OOPSLA
Program Synthesis
10:30 - 12:00
SPLASH OOPSLA
Safe Merging
13:30 - 14:15
Mon 5 Nov 2018
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
17: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 2018
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
17: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 2018
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
17: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 2018
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
17: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 2018
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
Mon 18 Feb 09:25