SLEBoK 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
SPLASH 2018 (series) / SLEBoK 2018 (series) / Boston Park Plaza Hotel /

Room information: Studio 2

VenueBoston Park Plaza Hotel
Room nameStudio 2
Floor1
Room InformationNo extra information available
Program

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
HermansSPLASH Keynotes at Studio 2
08:45
75m
Talk
Explicit Direct Instruction in Programming EducationKEYNOTE
SPLASH Keynotes
Felienne Hermans
10:30 - 12:00
IGPCE 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
IIGPCE 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
IIIGPCE 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
IVGPCE 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
VGPCE 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 PerformanceInvited 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
VIGPCE 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 PerformanceSPLASH OOPSLA at Studio 2
Chair(s): Arjun Guha University of Massachusetts Amherst
10:30
22m
Talk
Every Data Structure Deserves Lock-Free Memory Reclamation
SPLASH OOPSLA
Nachshon Cohen EPFL, Switzerland
10:52
22m
Talk
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
SPLASH 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
SPLASH 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
SPLASH OOPSLA
Charith Mendis MIT CSAIL, Saman Amarasinghe MIT
13:30 - 15:00
Language Design 1SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH OOPSLA
James Koppel MIT, Varot Premtoon MIT, Armando Solar-Lezama MIT CSAIL
15:30 - 17:00
Compiler OptimizationSPLASH OOPSLA at Studio 2
Chair(s): Patrick Lam University of Waterloo
15:30
22m
Talk
Format Abstraction for Sparse Tensor Algebra Compilers
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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 ContractsSPLASH OOPSLA at Studio 2
Chair(s): Hakjoo Oh Korea University
10:30
22m
Talk
Horn-ICE Learning for Synthesizing Invariants and Contracts
SPLASH 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 InferenceDistinguished Paper Award
SPLASH 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
SPLASH 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
SPLASH 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 AnalysisSPLASH OOPSLA at Studio 2
Chair(s): Karim Ali University of Alberta
13:30
22m
Talk
Incrementalizing Lattice-Based Program Analyses in Datalog
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH OOPSLA
Girish Maskeri Rama Infosys Limited, Raghavan Komondoor Indian Institute of Science, Bangalore, Himanshu Sharma Indian Institute of Science, Bangalore
15:30 - 17:00
PotpourriSPLASH OOPSLA at Studio 2
Chair(s): Anders Møller Aarhus University
15:30
22m
Talk
DeepBugs: A Learning Approach to Name-based Bug Detection
SPLASH OOPSLA
Michael Pradel TU Darmstadt, Koushik Sen University of California, Berkeley
15:52
22m
Talk
ExceLint: Automatically Finding Spreadsheet Formula Errors
SPLASH 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
SPLASH OOPSLA
James Bornholt University of Washington, Emina Torlak University of Washington
16:37
22m
Talk
FlashProfile: A Framework for Synthesizing Data Profiles
SPLASH 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 SynthesisSPLASH OOPSLA at Studio 2
Chair(s): Jens Palsberg University of California, Los Angeles
10:30
22m
Talk
Relational Program Synthesis
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH OOPSLA
Junho Lee Korea University, Dowon Song Korea University, Sunbeom So Korea University, Hakjoo Oh Korea University
13:30 - 14:15
Safe MergingSPLASH OOPSLA at Studio 2
Chair(s): David J. Pearce Victoria University of Wellington
13:30
22m
Talk
Verified Three-Way Program Merge
SPLASH 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
SPLASH OOPSLA
Fengmin Zhu , Fei He Tsinghua University

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Studio 2

SPLASH Keynotes

Hermans

GPCE

I

GPCE

II

GPCE

III

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room10:003011:003012:003013:003014:003015:003016:0030
Studio 2

GPCE

IV

GPCE

V

GPCE

VI

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room10:003011:003012:003013:003014:003015:003016:0030
Studio 2

SPLASH OOPSLA

Parallelism and Performance

SPLASH OOPSLA

Language Design 1

SPLASH OOPSLA

Compiler Optimization

Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room10:003011:003012:003013:003014:003015:003016:0030
Studio 2

SPLASH OOPSLA

Types and Contracts

SPLASH OOPSLA

Static Analysis

SPLASH OOPSLA

Potpourri

Fri 9 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room10:003011:003012:003013:003014:0030
Studio 2

SPLASH OOPSLA

Program Synthesis

SPLASH OOPSLA

Safe Merging

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Studio 2
SPLASH KeynotesKEYNOTE
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Studio 2
SPLASH OOPSLA
Horn-ICE Learning for Synthesizing Invariants and Contracts
10:30 - 10:52
SPLASH OOPSLADistinguished Paper Award
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

Room10:0015304511:0015304512:0015304513:0015304514:00153045
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