Write a Blog >>
MPLR 2019
Sun 20 - Fri 25 October 2019
Athens, Greece
co-located with
SPLASH 2019
Toggle navigation
Attending
Venue: Royal Olympic Hotel
Banquet Venue: Aegli
SPLASH 2019
Awards
Local information
Students
Registration
Visa
Sponsoring SPLASH
Code of conduct
Remote participation
Program
Complete Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
MPLR 2019 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
MPLR 2024
MPLR 2023
MPLR 2019
Sign in
Sign up
SPLASH 2019
(
series
) /
MPLR 2019 (
series
) /
Royal Olympic Hotel
/
Room information: Attica
Venue
Royal Olympic Hotel
Room name
Attica
Floor
0
Capacity
150
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+03:00) Beirut
.
Use conference time zone: (GMT+03:00) Beirut
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-06: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-04: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-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03: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+12: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
Tue 22 Oct
Displayed time zone:
Beirut
change
19:00 - 22:00
Dinner
SLE
at
Attica
19:00
3h
Dinner
Dinner (registration add-on)
SLE
Wed 23 Oct
Displayed time zone:
Beirut
change
11:00 - 12:30
Abstract Interpretation
SPLASH 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 Interpretation
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 Learning
SPLASH 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 Privacy
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
Formalization
SPLASH OOPSLA
at
Attica
Chair(s):
Eric Koskinen
Stevens Institute of Technology
16:00
22m
Talk
Formal Foundations of Serverless Computing
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 Design
SPLASH 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 Studies
SPLASH OOPSLA
at
Attica
Chair(s):
Jonathan Aldrich
Carnegie Mellon University
14:00
22m
Talk
On the Impact of Programming Languages on Code Quality
TOPLAS
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 Search
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
Optimization
SPLASH 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 Generation
SPLASH 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
Room
19:00
30
20:00
30
21:00
30
Attica
GPCE
SLE
Dinner
19:00 - 22:00
Wed 23 Oct
Displayed time zone:
Beirut
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Attica
SPLASH OOPSLA
Abstract Interpretation
SPLASH OOPSLA
Machine Learning
SPLASH OOPSLA
Formalization
Thu 24 Oct
Displayed time zone:
Beirut
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Attica
SPLASH OOPSLA
Language Design
SPLASH OOPSLA
Corpus Studies
SPLASH OOPSLA
Optimization
Fri 25 Oct
Displayed time zone:
Beirut
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Attica
SPLASH OOPSLA
Test Generation
SPLASH OOPSLA
Synthesis
Tue 22 Oct
Displayed time zone:
Beirut
change
Room
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Attica
SLE
Dinner (registration add-on)
19:00 - 22:00
Wed 23 Oct
Displayed time zone:
Beirut
change
Room
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
Attica
SPLASH OOPSLA
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 OOPSLA
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 OOPSLA
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
Room
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
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 OOPSLA
TOPLAS
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 OOPSLA
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
Room
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
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
x
Fri 8 Nov 22:43