STOKED 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
SPLASH 2019 (series) / STOKED 2019 (series) / Royal Olympic Hotel /

Room information: Attica

VenueRoyal Olympic Hotel
Room nameAttica
Floor0
Capacity150
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

Tue 22 Oct

Displayed time zone: Beirut change

19:00 - 22:00
DinnerSLE at Attica
19:00
3h
Dinner
Dinner (registration add-on)
SLE

Wed 23 Oct

Displayed time zone: Beirut change

11:00 - 12:30
Abstract InterpretationSPLASH OOPSLA at Attica
Chair(s): John Hughes Chalmers University of Technology, Sweden
11:00
22m
Talk
BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract InterpretationACM SIGPLAN Distinguished Paper Award
SPLASH OOPSLA
Zhuo Zhang Purdue University, Wei You Purdue University, Guanhong Tao Purdue University, Guannan Wei Purdue University, Yonghwi Kwon University of Virginia, Xiangyu Zhang Purdue University
DOI Pre-print
11:22
22m
Talk
Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming
SPLASH OOPSLA
Guannan Wei Purdue University, Yuxuan Chen Purdue University, Tiark Rompf Purdue University
DOI
11:45
22m
Talk
Static Analysis with Demand-Driven Value Refinement
SPLASH OOPSLA
Benno Stein University of Colorado Boulder, Benjamin Barslev Nielsen Aarhus University, Bor-Yuh Evan Chang University of Colorado Boulder | Amazon, Anders Møller Aarhus University
DOI Pre-print
12:07
22m
Talk
Sound and Reusable Components for Abstract Interpretation
SPLASH OOPSLA
Sven Keidel JGU Mainz, Sebastian Erdweg JGU Mainz
DOI
14:00 - 15:30
Machine LearningSPLASH OOPSLA at Attica
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
14:00
22m
Talk
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential PrivacyACM SIGPLAN Distinguished Paper Award
SPLASH OOPSLA
Joseph P. Near University of Vermont, David Darais University of Vermont, Chike Abuah University of Vermont, Tim Stevens University of Vermont, Pranav Gaddamadugu University of California, Berkeley, Lun Wang University of California, Berkeley, Neel Somani University of California, Berkeley, Mu Zhang University of Utah, Nikhil Sharma University of California, Berkeley, Alex Shan University of California, Berkeley, Dawn Song University of California, Berkeley
DOI
14:22
22m
Talk
Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks
SPLASH OOPSLA
Yi Li New Jersey Institute of Technology, USA, Shaohua Wang New Jersey Institute of Technology, USA, Tien N. Nguyen University of Texas at Dallas, Son Nguyen The University of Texas at Dallas
DOI
14:45
22m
Talk
Probabilistic Verification of Fairness Properties via Concentration
SPLASH OOPSLA
Osbert Bastani University of Pennsylvania, Xin Zhang Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology
DOI
15:07
22m
Talk
Generating Precise Error Specifications for C: A Zero Shot Learning Approach
SPLASH OOPSLA
Baijun Wu University of Louisiana at Lafayette, John Peter Campora University of Louisiana at Lafayette, He Yi University of Louisiana at Lafayette, Alexander Schlecht University of Louisiana at Lafayette, Sheng Chen University of Louisiana at Lafayette
DOI
16:00 - 17:30
FormalizationSPLASH OOPSLA at Attica
Chair(s): Eric Koskinen Stevens Institute of Technology
16:00
22m
Talk
Formal Foundations of Serverless ComputingACM SIGPLAN Distinguished Paper Award
SPLASH OOPSLA
Abhinav Jangda University of Massachusetts Amherst, Donald Pinckney University of Massachusetts Amherst, Yuriy Brun University of Massachusetts Amherst, Arjun Guha University of Massachusetts, Amherst
Link to publication DOI Pre-print
16:22
22m
Talk
A Formalization of Java’s Concurrent Access Modes
SPLASH OOPSLA
John Bender University of California, Los Angeles, Jens Palsberg University of California, Los Angeles
DOI
16:45
22m
Talk
A Path to DOT: Formalizing Fully Path-Dependent Types
SPLASH OOPSLA
Marianna Rapoport University of Waterloo, Ondřej Lhoták University of Waterloo
DOI Pre-print Media Attached
17:07
22m
Talk
Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping
SPLASH OOPSLA
Marcos Yukio Siraichi UFMG, Vinícius Fernandes dos Santos UFMG, Caroline Collange INRIA, Fernando Magno Quintão Pereira UFMG
DOI Pre-print

Thu 24 Oct

Displayed time zone: Beirut change

11:00 - 12:30
Language DesignSPLASH OOPSLA at Attica
Chair(s): Tiark Rompf Purdue University
11:00
22m
Talk
DeepSEA: A Language for Certified System Software
SPLASH OOPSLA
Vilhelm Sjöberg Yale University, Yuyang Sang Yale University, Shu-chun Weng Yale University, Zhong Shao Yale University
DOI Pre-print
11:22
22m
Talk
Weakening WebAssembly
SPLASH OOPSLA
Conrad Watt University of Cambridge, Andreas Rossberg Dfinity Stiftung, Jean Pichon-Pharabod University of Cambridge
DOI
11:45
22m
Talk
Safer Smart Contract Programming with Scilla
SPLASH OOPSLA
Ilya Sergey Yale-NUS College and National University of Singapore, Vaivaswatha Nagaraj Zilliqa Research, Jacob Johannsen Zilliqa Research, Amrit Kumar Zilliqa Research, Anton Trunov Zilliqa Research, Ken Chan Zilliqa Research
DOI Pre-print File Attached
12:07
22m
Talk
Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild
SPLASH OOPSLA
Filip Křikava Czech Technical University, Heather Miller Carnegie Mellon University, Jan Vitek Northeastern University
DOI Pre-print
14:00 - 15:30
Corpus StudiesSPLASH OOPSLA at Attica
Chair(s): Jonathan Aldrich Carnegie Mellon University
14:00
22m
Talk
On the Impact of Programming Languages on Code QualityTOPLAS
SPLASH OOPSLA
Emery D. Berger University of Massachusetts Amherst, Celeste Hollenbeck Northeastern University, Petr Maj Czech Technical University, Olga Vitek Northeastern University, Jan Vitek Northeastern University
Link to publication DOI Pre-print
14:22
22m
Talk
Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs
SPLASH OOPSLA
Luis Mastrangelo Università della Svizzera italiana, Matthias Hauswirth Università della Svizzera italiana, Nate Nystrom Università della Svizzera italiana
DOI
14:45
22m
Talk
On the Design, Implementation, and Use of Laziness in R
SPLASH OOPSLA
Aviral Goel Northeastern University, Jan Vitek Northeastern University
DOI Pre-print
15:07
22m
Talk
Aroma: Code Recommendation via Structural Code SearchACM SIGPLAN Distinguished Paper Award
SPLASH OOPSLA
Sifei Luan Facebook, Inc., Di Yang University of California, Irvine, Celeste Barnaby Facebook, Inc., Koushik Sen University of California, Berkeley, Satish Chandra Facebook
DOI
16:00 - 17:30
OptimizationSPLASH OOPSLA at Attica
Chair(s): Tobias Wrigstad Uppsala University
16:00
22m
Talk
Ryū Revisited: Printf Floating Point Conversion
SPLASH OOPSLA
Ulf Adams Google
Link to publication DOI
16:22
22m
Talk
Optimization of Swift Protocols
SPLASH OOPSLA
Raj Barik Uber Technologies Inc., Manu Sridharan University of California Riverside, Murali Krishna Ramanathan Uber Technologies Inc., Milind Chabbi Uber Technologies Inc.
DOI
16:45
22m
Talk
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
SPLASH OOPSLA
Hashim Sharif University of Illinois at Urbana-Champaign, Prakalp Srivastava University of Illinois at Urbana-Champaign, Muhammad Huzaifa University of Illinois at Urbana-Champaign, Maria Kotsifakou University of Illinois at Urbana-Champaign, Keyur Joshi University of Illinois at Urbana-Champaign, Yasmin Sarita Cornell University, Nathan Zhao University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign, Sarita Adve University of Illinois at Urbana-Champaign
DOI
17:07
22m
Talk
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
SPLASH OOPSLA
Yu-Ping Wang Tsinghua University, China, Xu-Qiang Hu Tsinghua Univeraity, China, Zi-Xin Zou Tsinghua Univeraity, China, Wende Tan Tsinghua University, China, Gang (Gary) Tan The Pennsylvania State University, University Park, USA
DOI

Fri 25 Oct

Displayed time zone: Beirut change

11:00 - 12:30
Test GenerationSPLASH OOPSLA at Attica
Chair(s): Sasa Misailovic University of Illinois at Urbana-Champaign
11:00
22m
Talk
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
SPLASH OOPSLA
Kia Rahmani Purdue University, Kartik Nagar Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University
DOI Pre-print
11:22
22m
Talk
Coverage Guided, Property Based Testing
SPLASH OOPSLA
Leonidas Lampropoulos University of Pennsylvania, University of Maryland, Michael Hicks University of Maryland, Benjamin C. Pierce University of Pennsylvania
DOI
11:45
22m
Talk
FuzzFactory: Domain-Specific Fuzzing with Waypoints
SPLASH OOPSLA
Rohan Padhye University of California, Berkeley, Caroline Lemieux University of California, Berkeley, Koushik Sen University of California, Berkeley, Laurent Simon Samsung Research America, Hayawardh Vijayakumar Samsung Research America
DOI Pre-print
12:07
22m
Talk
Compiler Fuzzing: How Much Does It Matter?
SPLASH OOPSLA
Michaël Marcozzi Imperial College London, Qiyi Tang Imperial College London, Alastair F. Donaldson Imperial College London, Cristian Cadar Imperial College London
Link to publication DOI Pre-print Media Attached File Attached
14:00 - 15:30
Synthesis SPLASH OOPSLA at Attica
Chair(s): Christoph Reichenbach Lund University
14:00
22m
Talk
AL: Autogenerating Supervised Learning Programs
SPLASH OOPSLA
José Pablo Cambronero MIT, Martin C. Rinard MIT
DOI
14:22
22m
Talk
Program Synthesis with Algebraic Library Specifications
SPLASH OOPSLA
Benjamin Mariano University of Maryland, College Park, Josh Reese University of Maryland, College Park, Siyuan Xu Purdue University, ThanhVu Nguyen University of Nebraska, Lincoln, Xiaokang Qiu Purdue University, Jeffrey S. Foster Tufts University, Armando Solar-Lezama Massachusetts Institute of Technology
DOI
14:45
22m
Talk
AutoPandas: Neural-Backed Generators for Program Synthesis
SPLASH OOPSLA
Rohan Bavishi UC Berkeley, Caroline Lemieux University of California, Berkeley, Roy Fox UC Berkeley, Koushik Sen University of California, Berkeley, Ion Stoica UC Berkeley
DOI
15:07
22m
Talk
On the Fly Synthesis of Edit Suggestions
SPLASH OOPSLA
Anders Miltner Princeton University, Sumit Gulwani Microsoft, Vu Le Microsoft, Alan Leung Microsoft, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ashish Tiwari Microsoft, Abhishek Udupa Microsoft
DOI Pre-print Media Attached

Tue 22 Oct

Displayed time zone: Beirut change

Room19:003020:003021:0030
Attica

GPCE

SLE

Dinner
19:00 - 22:00

Wed 23 Oct

Displayed time zone: Beirut change

Room11:003012:003013:003014:003015:003016:003017:0030
Attica

SPLASH OOPSLA

Abstract Interpretation

SPLASH OOPSLA

Machine Learning

SPLASH OOPSLA

Formalization

Thu 24 Oct

Displayed time zone: Beirut change

Room11:003012:003013:003014:003015:003016:003017:0030
Attica

SPLASH OOPSLA

Language Design

SPLASH OOPSLA

Corpus Studies

SPLASH OOPSLA

Optimization

Fri 25 Oct

Displayed time zone: Beirut change

Room11:003012:003013:003014:003015:0030
Attica

SPLASH OOPSLA

Test Generation

SPLASH OOPSLA

Synthesis

Tue 22 Oct

Displayed time zone: Beirut change

Room19:0015304520:0015304521:00153045
Attica
SLE
Dinner (registration add-on)
19:00 - 22:00

Wed 23 Oct

Displayed time zone: Beirut change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Attica
SPLASH OOPSLAACM SIGPLAN Distinguished Paper Award
BDA: Practical Dependence Analysis for Binary Executables by Unbiased W ...
11:00 - 11:22
SPLASH OOPSLA
Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis v ...
11:22 - 11:45
SPLASH OOPSLA
Static Analysis with Demand-Driven Value Refinement
11:45 - 12:07
SPLASH OOPSLA
Sound and Reusable Components for Abstract Interpretation
12:07 - 12:30
SPLASH OOPSLAACM SIGPLAN Distinguished Paper Award
Duet: An Expressive Higher-Order Language and Linear Type System for St ...
14:00 - 14:22
SPLASH OOPSLA
Improving Bug Detection via Context-Based Code Representation Learning ...
14:22 - 14:45
SPLASH OOPSLA
Probabilistic Verification of Fairness Properties via Concentration
14:45 - 15:07
SPLASH OOPSLA
Generating Precise Error Specifications for C: A Zero Shot Learning App ...
15:07 - 15:30
SPLASH OOPSLAACM SIGPLAN Distinguished Paper Award
Formal Foundations of Serverless Computing
16:00 - 16:22
SPLASH OOPSLA
A Formalization of Java’s Concurrent Access Modes
16:22 - 16:45
SPLASH OOPSLA
A Path to DOT: Formalizing Fully Path-Dependent Types
16:45 - 17:07
SPLASH OOPSLA
Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swa ...
17:07 - 17:30

Thu 24 Oct

Displayed time zone: Beirut change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Attica
SPLASH OOPSLA
DeepSEA: A Language for Certified System Software
11:00 - 11:22
SPLASH OOPSLA
Weakening WebAssembly
11:22 - 11:45
SPLASH OOPSLA
Safer Smart Contract Programming with Scilla
11:45 - 12:07
SPLASH OOPSLA
Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala ...
12:07 - 12:30
SPLASH OOPSLATOPLAS
On the Impact of Programming Languages on Code Quality
14:00 - 14:22
SPLASH OOPSLA
Casting about in the Dark: An Empirical Study of Cast Operations in Jav ...
14:22 - 14:45
SPLASH OOPSLA
On the Design, Implementation, and Use of Laziness in R
14:45 - 15:07
SPLASH OOPSLAACM SIGPLAN Distinguished Paper Award
Aroma: Code Recommendation via Structural Code Search
15:07 - 15:30
SPLASH OOPSLA
Ryū Revisited: Printf Floating Point Conversion
16:00 - 16:22
SPLASH OOPSLA
Optimization of Swift Protocols
16:22 - 16:45
SPLASH OOPSLA
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
16:45 - 17:07
SPLASH OOPSLA
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
17:07 - 17:30

Fri 25 Oct

Displayed time zone: Beirut change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Attica
SPLASH OOPSLA
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
11:00 - 11:22
SPLASH OOPSLA
Coverage Guided, Property Based Testing
11:22 - 11:45
SPLASH OOPSLA
FuzzFactory: Domain-Specific Fuzzing with Waypoints
11:45 - 12:07
SPLASH OOPSLA
Compiler Fuzzing: How Much Does It Matter?
12:07 - 12:30
SPLASH OOPSLA
AL: Autogenerating Supervised Learning Programs
14:00 - 14:22
SPLASH OOPSLA
Program Synthesis with Algebraic Library Specifications
14:22 - 14:45
SPLASH OOPSLA
AutoPandas: Neural-Backed Generators for Program Synthesis
14:45 - 15:07
SPLASH OOPSLA
On the Fly Synthesis of Edit Suggestions
15:07 - 15:30