Write a Blog >>
MPLR 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
SPLASH 2019 (series) / MPLR 2019 (series) / Royal Olympic Hotel /

Room information: Olympia

VenueRoyal Olympic Hotel
Room nameOlympia
Floor-1
Capacity500
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

Wed 23 Oct

Displayed time zone: Beirut change

09:00 - 10:30
Rebase Keynote (Might)SPLASH Rebase / SPLASH Keynotes at Olympia
Chair(s): Michael Carbin Massachusetts Institute of Technology, Shan Shan Huang Relational.ai, Yannis Smaragdakis University of Athens
09:00
20m
Day opening
Welcome, Introduction
SPLASH Rebase
Yannis Smaragdakis University of Athens, Shan Shan Huang Relational.ai, Michael Carbin Massachusetts Institute of Technology
09:20
70m
Talk
The Algorithm for Precision Medicine
SPLASH Keynotes
K: Matthew Might University of Alabama at Birmingham | Harvard Medical School
11:00 - 12:30
Modular VerificationSPLASH OOPSLA at Olympia
Chair(s): Friedrich Steimann Fernuni Hagen
11:00
22m
Research paper
Modular Verification of Heap Reachability Properties in Separation Logic
SPLASH OOPSLA
Arshavir Ter-Gabrielyan ETH Zurich, Alexander J. Summers ETH Zurich, Peter Müller ETH Zurich
Link to publication DOI Pre-print File Attached
11:22
22m
Talk
Modular Verification of Web Page Layout
SPLASH OOPSLA
Pavel Panchekha University of Utah, Michael D. Ernst University of Washington, USA, Zachary Tatlock University of Washington, Seattle, Shoaib Kamil Adobe
DOI
11:45
22m
Talk
Modular Verification for Almost-Sure Termination of Probabilistic Programs
SPLASH OOPSLA
Mingzhang Huang Shanghai Jiao Tong University, Hongfei Fu Shanghai Jiao Tong University, Krishnendu Chatterjee IST Austria, Amir Kafshdar Goharshady IST Austria
DOI
12:07
22m
Talk
Leveraging Rust Types for Modular Specification and Verification
SPLASH OOPSLA
Vytautas Astrauskas ETH Zurich, Switzerland, Peter Müller ETH Zurich, Federico Poli ETH Zurich, Switzerland, Alexander J. Summers ETH Zurich
DOI Pre-print
14:00 - 15:30
Testing SPLASH OOPSLA at Olympia
Chair(s): Stephen Kell University of Kent
14:00
22m
Talk
Reflection-Aware Static Regression Test Selection
SPLASH OOPSLA
August Shi University of Illinois at Urbana-Champaign, Milica Hadzi-Tanovic Technische Universitat Munchen, Lingming Zhang The University of Texas at Dallas, Darko Marinov University of Illinois at Urbana-Champaign, Owolabi Legunsen University of Illinois at Urbana-Champaign
DOI
14:22
22m
Talk
Trace Aware Random Testing for Distributed Systems
SPLASH OOPSLA
Burcu Kulahcioglu Ozkan Max Planck Institute for Software Systems (MPI-SWS), Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS), Simin Oraee Max Planck Institute for Software Systems (MPI-SWS)
DOI
14:45
22m
Talk
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
SPLASH OOPSLA
Dowon Song Korea University, Myungho Lee Korea University, Hakjoo Oh Korea University
DOI
15:07
22m
Talk
On the Complexity of Checking Transactional Consistency
SPLASH OOPSLA
Ranadeep Biswas IRIF, University Paris Diderot & CNRS, Constantin Enea IRIF, University Paris Diderot & CNRS
DOI
16:00 - 17:30
Analysis SPLASH OOPSLA at Olympia
Chair(s): Jan Vitek Northeastern University
16:00
22m
Talk
Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity
SPLASH OOPSLA
Jingbo Lu UNSW Sydney, Jingling Xue UNSW Sydney
DOI
16:22
22m
Talk
Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations
SPLASH OOPSLA
Gregory Essertel Purdue University, Guannan Wei Purdue University, Tiark Rompf Purdue University
DOI
16:45
22m
Talk
I/O Dependent Idempotence Bugs in Intermittent Systems
SPLASH OOPSLA
Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University
DOI
17:07
22m
Talk
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
SPLASH OOPSLA
Emma Tosch University of Massachusetts Amherst, Eytan Bakshy Facebook, Inc., Emery D. Berger University of Massachusetts Amherst, David Jensen University of Massachusetts Amherst, Eliot Moss University of Massachusetts Amherst
DOI
17:30 - 18:30
Awards / SIGPLAN Town Hall MeetingSPLASH OOPSLA at Olympia
Chair(s): Jens Palsberg University of California, Los Angeles, Eelco Visser Delft University of Technology

Thu 24 Oct

Displayed time zone: Beirut change

09:30 - 10:30
Sack keynoteSPLASH Keynotes at Olympia
Chair(s): Hidehiko Masuhara Tokyo Institute of Technology, Tomas Petricek University of Kent
09:30
60m
Talk
The Software Arts
SPLASH Keynotes
K: Warren Sack University of California, Santa Cruz
11:00 - 12:30
Distributed SystemsSPLASH OOPSLA at Olympia
Chair(s): Arjun Guha University of Massachusetts, Amherst
11:00
22m
Talk
Asphalion: Trustworthy Shielding against Byzantine Faults
SPLASH OOPSLA
Ivana Vukotic SnT, University of Luxembourg, Vincent Rahli University of Birmingham, Paulo Esteves-Veríssimo SnT, University of Luxembourg
DOI
11:22
22m
Talk
DProf: Distributed Profiler with Strong Guarantees
SPLASH OOPSLA
Zachary Benavides UC Riverside, Keval Vora Simon Fraser University, Rajiv Gupta UC Riverside
DOI
11:45
22m
Talk
A Fault-Tolerant Programming Model for Distributed Interactive Applications
SPLASH OOPSLA
Ragnar Mogk Technische Universität Darmstadt, Joscha Drechsler Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt, Mira Mezini Technische Universität Darmstadt
DOI
12:07
22m
Talk
Language-Integrated Privacy-Aware Distributed Queries
SPLASH OOPSLA
Guido Salvaneschi Technische Universität Darmstadt, Mirko Köhler Technische Universität Darmstadt, Daniel Sokolowski Technische Universität Darmstadt, Philipp Haller KTH Royal Institute of Technology, Sebastian Erdweg JGU Mainz, Mira Mezini Technische Universität Darmstadt
DOI
14:00 - 15:30
Specification and CertificationSPLASH OOPSLA at Olympia
Chair(s): Colin Gordon Drexel University
14:00
22m
Talk
Relational Verification using Reinforcement Learning
SPLASH OOPSLA
Jia Chen University of Texas at Austin, Jiayi Wei University of Texas at Austin, Yu Feng University of California, Santa Barbara, Osbert Bastani University of Pennsylvania, Işıl Dillig University of Texas Austin
DOI
14:22
22m
Talk
Specification and Inference of Trace Refinement Relations
SPLASH OOPSLA
Timos Antonopoulos Yale University, Eric Koskinen Stevens Institute of Technology, Ton Chanh Le Stevens Institute of Technology
DOI
14:45
22m
Talk
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
SPLASH OOPSLA
Aleksandar Nanevski IMDEA Software Institute, Anindya Banerjee IMDEA Software Institute, Germán Andrés Delbianco IRIF - Université de Paris, Ignacio Fábregas IMDEA Software Institute
Link to publication DOI
15:07
22m
Talk
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
SPLASH OOPSLA
Shengyi Wang National University of Singapore, Qinxiang Cao Shanghai Jiao Tong University, Anshuman Mohan National University of Singapore, Aquinas Hobor National University of Singapore
DOI Pre-print
16:00 - 17:30
TypesSPLASH OOPSLA at Olympia
Chair(s): Éric Tanter University of Chile & Inria Paris
16:00
22m
Talk
Mergeable Replicated Data Types
SPLASH OOPSLA
Gowtham Kaki Purdue University, Swarn Priya Purdue University, KC Sivaramakrishnan IIT Madras, Suresh Jagannathan Purdue University
Link to publication DOI
16:22
22m
Talk
Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation
SPLASH OOPSLA
Luís Caires Universidade Nova de Lisboa and NOVA LINCS, Bernardo Toninho Universidade Nova de Lisboa and NOVA LINCS
DOI
16:45
22m
Talk
System FR: Formalized Foundations for the Stainless Verifier
SPLASH OOPSLA
Jad Hamza EPFL, Switzerland, Nicolas Voirol EPFL, Switzerland, Viktor Kunčak EPFL, Switzerland
DOI
17:07
22m
Talk
Complete Monitors for Gradual Types
SPLASH OOPSLA
Ben Greenman PLT @ Northeastern University, Matthias Felleisen PLT @ Northeastern University, Christos Dimoulas PLT @ Northwestern University
DOI

Fri 25 Oct

Displayed time zone: Beirut change

09:30 - 10:30
Dillig keynoteSPLASH Keynotes at Olympia
Chair(s): Eelco Visser Delft University of Technology
09:30
60m
Talk
Programming Support for Evolving Database Applications
SPLASH Keynotes
K: Işıl Dillig University of Texas Austin
11:00 - 12:30
Concurrency SPLASH OOPSLA at Olympia
Chair(s): Sophia Drossopoulou Imperial College London
11:00
22m
Talk
Efficient Lock-Free Durable SetsACM SIGPLAN Distinguished Paper Award
SPLASH OOPSLA
Yoav Zuriel Technion - Israel, Michal Friedman Technion - Israel, Gali Sheffi Technion - Israel, Nachshon Cohen Amazon, Erez Petrank Technion - Israel
DOI
11:22
22m
Talk
Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models
SPLASH OOPSLA
Azalea Raad MPI-SWS, Germany, John Wickerson Imperial College London, Viktor Vafeiadis MPI-SWS, Germany
DOI
11:45
22m
Talk
Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization
SPLASH OOPSLA
Vimuth Fernando University of Illinois at Urbana-Champaign, Keyur Joshi University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign
DOI
12:07
22m
Talk
Dependence-Aware, Unbounded Sound Predictive Race Detection
SPLASH OOPSLA
Kaan Genç Ohio State University, Jake Roemer Ohio State University, Yufan Xu Ohio State University, Michael D. Bond Ohio State University
DOI Pre-print
14:00 - 15:30
ImplementationSPLASH OOPSLA at Olympia
Chair(s): Jens Palsberg University of California, Los Angeles
14:00
22m
Talk
Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters
SPLASH OOPSLA
Ahmet Celik The University of Texas at Austin, Pengyu Nie The University of Texas at Austin, Chris Rossbach The University of Texas at Austin and VMware Research Group, Milos Gligoric The University of Texas at Austin
DOI
14:22
22m
Talk
Initialize Once, Start Fast: Application Initialization at Build Time
SPLASH OOPSLA
Christian Wimmer Oracle Labs, Codrut Stancu Oracle Labs, Peter Hofer Oracle Labs, Vojin Jovanovic Oracle Labs, Paul Wögerer Oracle Labs, Peter B. Kessler Oracle Labs, Oleg Pliss Oracle Labs, Thomas Wuerthinger Oracle Labs
DOI Pre-print
14:45
22m
Talk
Reliable and Fast DWARF-Based Stack Unwinding
SPLASH OOPSLA
Théophile Bastian ENS, Stephen Kell University of Kent, Francesco Zappa Nardelli Inria
Link to publication DOI File Attached
15:07
22m
Talk
PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java ProgramsTOPLAS
SPLASH OOPSLA
Manas Thakur IIT Madras, V Krishna Nandivada IIT Madras
16:00 - 17:30
Dellaert keynote (closing)SPLASH Keynotes at Olympia
Chair(s): Yannis Smaragdakis University of Athens
16:00
90m
Talk
A Graphical Language for Flexible Inference in Robotics and Vision
SPLASH Keynotes
K: Frank Dellaert Georgia Institute of Technology

Wed 23 Oct

Displayed time zone: Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Olympia

SPLASH Rebase + SPLASH Keynotes

Rebase Keynote (Might)

SPLASH OOPSLA

Modular Verification

SPLASH OOPSLA

Testing

SPLASH OOPSLA

Analysis

SPLASH OOPSLA

Awards / SIGPLAN Town Hall Meeting

Thu 24 Oct

Displayed time zone: Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Olympia

SPLASH Keynotes

Sack keynote

SPLASH OOPSLA

Distributed Systems

SPLASH OOPSLA

Specification and Certification

SPLASH OOPSLA

Types

Fri 25 Oct

Displayed time zone: Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Olympia

SPLASH Keynotes

Dillig keynote

SPLASH OOPSLA

Concurrency

SPLASH OOPSLA

Implementation

SPLASH Keynotes

Dellaert keynote (closing)

Wed 23 Oct

Displayed time zone: Beirut change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Olympia
SPLASH Rebase
Welcome, Introduction
09:00 - 09:20
SPLASH Keynotes
The Algorithm for Precision Medicine
09:20 - 10:30
SPLASH OOPSLA
Modular Verification of Heap Reachability Properties in Separation Logic
11:00 - 11:22
SPLASH OOPSLA
Modular Verification of Web Page Layout
11:22 - 11:45
SPLASH OOPSLA
Modular Verification for Almost-Sure Termination of Probabilistic Programs
11:45 - 12:07
SPLASH OOPSLA
Leveraging Rust Types for Modular Specification and Verification
12:07 - 12:30
SPLASH OOPSLA
Reflection-Aware Static Regression Test Selection
14:00 - 14:22
SPLASH OOPSLA
Trace Aware Random Testing for Distributed Systems
14:22 - 14:45
SPLASH OOPSLA
Automatic and Scalable Detection of Logical Errors in Functional Progra ...
14:45 - 15:07
SPLASH OOPSLA
On the Complexity of Checking Transactional Consistency
15:07 - 15:30
SPLASH OOPSLA
Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Pa ...
16:00 - 16:22
SPLASH OOPSLA
Precise Reasoning with Structured Time, Structured Heaps, and Collectiv ...
16:22 - 16:45
SPLASH OOPSLA
I/O Dependent Idempotence Bugs in Intermittent Systems
16:45 - 17:07
SPLASH OOPSLA
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
17:07 - 17:30

Thu 24 Oct

Displayed time zone: Beirut change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Olympia
SPLASH Keynotes
The Software Arts
09:30 - 10:30
SPLASH OOPSLA
Asphalion: Trustworthy Shielding against Byzantine Faults
11:00 - 11:22
SPLASH OOPSLA
DProf: Distributed Profiler with Strong Guarantees
11:22 - 11:45
SPLASH OOPSLA
A Fault-Tolerant Programming Model for Distributed Interactive Applications
11:45 - 12:07
SPLASH OOPSLA
Language-Integrated Privacy-Aware Distributed Queries
12:07 - 12:30
SPLASH OOPSLA
Relational Verification using Reinforcement Learning
14:00 - 14:22
SPLASH OOPSLA
Specification and Inference of Trace Refinement Relations
14:22 - 14:45
SPLASH OOPSLA
Specifying Concurrent Programs in Separation Logic: Morphisms and Simul ...
14:45 - 15:07
SPLASH OOPSLA
Certifying Graph-Manipulating C Programs via Localizations within Data ...
15:07 - 15:30
SPLASH OOPSLA
Mergeable Replicated Data Types
16:00 - 16:22
SPLASH OOPSLA
Refinement Kinds: Type-Safe Programming with Practical Type-Level Compu ...
16:22 - 16:45
SPLASH OOPSLA
System FR: Formalized Foundations for the Stainless Verifier
16:45 - 17:07
SPLASH OOPSLA
Complete Monitors for Gradual Types
17:07 - 17:30

Fri 25 Oct

Displayed time zone: Beirut change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Olympia
SPLASH Keynotes
Programming Support for Evolving Database Applications
09:30 - 10:30
SPLASH OOPSLAACM SIGPLAN Distinguished Paper Award
Efficient Lock-Free Durable Sets
11:00 - 11:22
SPLASH OOPSLA
Weak Persistency Semantics from the Ground Up: Formalising the Persiste ...
11:22 - 11:45
SPLASH OOPSLA
Verifying Safety and Accuracy of Approximate Parallel Programs via Cano ...
11:45 - 12:07
SPLASH OOPSLA
Dependence-Aware, Unbounded Sound Predictive Race Detection
12:07 - 12:30
SPLASH OOPSLA
Design, Implementation, and Application of GPU-Based Java Bytecode Inte ...
14:00 - 14:22
SPLASH OOPSLA
Initialize Once, Start Fast: Application Initialization at Build Time
14:22 - 14:45
SPLASH OOPSLA
Reliable and Fast DWARF-Based Stack Unwinding
14:45 - 15:07
SPLASH OOPSLATOPLAS
PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for J ...
15:07 - 15:30
SPLASH Keynotes
A Graphical Language for Flexible Inference in Robotics and Vision
16:00 - 17:30