DPA 2019
Sat 22 - Wed 26 June 2019 Phoenix, Arizona, United States
co-located with PLDI 2019
PLDI 2019 (series) / DPA 2019 (series) / Phoenix Convention Center /

Room information: 229AB

VenuePhoenix Convention Center
Room name229AB
Floor0
Room number229AB
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 24 Jun

Displayed time zone: Tijuana, Baja California change

08:30 - 08:45
Welcome!PLDI Research Papers at 229AB
08:45 - 09:45
Concurrency IPLDI Research Papers at 229AB
Chair(s): Alastair F. Donaldson Google and Imperial College London
08:45
20m
Talk
Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model
PLDI Research Papers
Christopher Pulte University of Cambridge, Jean Pichon-Pharabod University of Cambridge, Jeehoon Kang KAIST, Sung-Hwan Lee Seoul National University, South Korea, Chung-Kil Hur Seoul National University
Media Attached
09:05
20m
Talk
Accelerating Sequential Consistency for Java with Speculative Compilation
PLDI Research Papers
Lun Liu University of California at Los Angeles, USA, Todd Millstein University of California, Los Angeles, Madan Musuvathi Microsoft Research
DOI Pre-print Media Attached
09:25
20m
Talk
Renaissance: Benchmarking Suite for Parallel Applications on the JVM
PLDI Research Papers
Aleksandar Prokopec Oracle Labs, Andrea Rosà University of Lugano, Switzerland, David Leopoldseder Johannes Kepler University Linz, Gilles Duboscq Oracle Labs, Petr Tuma Charles University, Martin Studener JKU Linz, Austria, Lubomír Bulej Charles University, Yudi Zheng Oracle Labs, Alex Villazón Universidad Privada Boliviana, Bolivia, Doug Simon Oracle Labs, Thomas Wuerthinger Oracle Labs, Walter Binder University of Lugano, Switzerland
10:00 - 11:00
Concurrency IIPLDI Research Papers at 229AB
Chair(s): Dan Grossman University of Washington
10:00
20m
Talk
Model Checking for Weakly Consistent Libraries
PLDI Research Papers
Michalis Kokologiannakis Max Planck Institute for Software Systems (MPI-SWS), Azalea Raad MPI-SWS, Germany, Viktor Vafeiadis MPI-SWS, Germany
Pre-print Media Attached
10:20
20m
Talk
Towards Certified Separate Compilation for Concurrent Programs
PLDI Research Papers
Hanru Jiang University of Science and Technology of China, Hongjin Liang Nanjing University, China, Siyang Xiao University of Science and Technology of China, China, Junpeng Zha University of Science and Technology of China, China, Xinyu Feng Nanjing University
Pre-print Media Attached
10:40
20m
Talk
Robustness Against Release/Acquire Semantics
PLDI Research Papers
Ori Lahav Tel Aviv University, Roy Margalit Tel Aviv University, Israel
Pre-print
14:00 - 15:30
SynthesisPLDI Research Papers at 229AB
Chair(s): Nuno P. Lopes Microsoft Research
14:00
20m
Talk
Resource-Guided Program Synthesis
PLDI Research Papers
Tristan Knoth University of California at San Diego, USA, Di Wang Carnegie Mellon University, Nadia Polikarpova University of California, San Diego, Jan Hoffmann Carnegie Mellon University
Media Attached
14:20
20m
Talk
Using Active Learning to Synthesize Models of Applications That Access Databases
PLDI Research Papers
Jiasi Shen Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology
DOI Media Attached
14:40
20m
Talk
Synthesizing Database Programs for Schema Refactoring
PLDI Research Papers
Yuepeng Wang University of Texas at Austin, James Dong University of Texas at Austin, USA, Rushi Shah UT Austin, Işıl Dillig UT Austin
Media Attached
15:00
20m
Talk
Synthesis and Machine Learning for Heterogeneous Extraction
PLDI Research Papers
Arun Iyer Microsoft Research, India, Manohar Jonnalagedda Inpher Inc., Switzerland, Suresh Parthasarathy Microsoft Research, India, Arjun Radhakrishna Microsoft, Sriram Rajamani Microsoft Research
Media Attached
16:00 - 17:00
Memory ManagementPLDI Research Papers at 229AB
Chair(s): Erez Petrank Technion
16:00
20m
Talk
AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability
PLDI Research Papers
Thomas Shull University of Illinois at Urbana-Champaign, Jian Huang University of Illinois at Urbana-Champaign, Josep Torrellas University of Illinois at Urbana-Champaign
Media Attached
16:20
20m
Talk
Mesh: Compacting Memory Management for C/C++ Applications
PLDI Research Papers
Bobby Powers University of Massachusetts, Amherst, David Tench University of Massachusetts at Amherst, USA, Emery D. Berger University of Massachusetts, Amherst, Andrew McGregor
Pre-print Media Attached
16:40
20m
Talk
Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
PLDI Research Papers
Chenxi Wang UCLA, Huimin Cui Institute of Computing Technology, Chinese Academy of Sciences, Ting Cao Microsoft Research, John Zigman University of Sydney, Australia, Haris Volos , Onur Mutlu ETH Zurich, Fang Lv Institute of Computing Technology, Chinese Academy of Sciences, Xiaobing Feng ICT CAS, Guoqing Harry Xu UCLA
Pre-print Media Attached

Tue 25 Jun

Displayed time zone: Tijuana, Baja California change

08:30 - 09:30
Bug Finding & Testing IPLDI Research Papers at 229AB
Chair(s): Cindy Rubio-González University of California, Davis
08:30
20m
Talk
Lazy Counterfactual Symbolic Execution
PLDI Research Papers
William T. Hallahan Yale University, Anton Xue Yale University, Maxwell Troy Bland University of California at San Diego, USA, Ranjit Jhala University of California, San Diego, Ruzica Piskac Yale University, USA
Media Attached
08:50
20m
Talk
Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript
PLDI Research Papers
Blake Loring , Duncan Mitchell Royal Holloway, University of London, Johannes Kinder Bundeswehr University Munich
Media Attached
09:10
20m
Talk
Effective Floating-Point Analysis via Weak-Distance Minimization
PLDI Research Papers
Zhoulai Fu IT University of Copenhagen, Denmark, Zhendong Su ETH Zurich
10:00 - 11:00
Bug Finding & Testing IIPLDI Research Papers at 229AB
Chair(s): Jens Palsberg University of California, Los Angeles (UCLA)
10:00
20m
Talk
Parser-Directed Fuzzing
PLDI Research Papers
Björn Mathis CISPA Helmholtz Center for Information Security, Rahul Gopinath CISPA Helmholtz Center for Information Security, Michaël Mera CISPA, Germany, Alexander Kampmann CISPA Helmholtz Center for Information Security, Matthias Höschele CISPA, Germany, Andreas Zeller Saarland University
Media Attached
10:20
20m
Talk
Continuously Reasoning about Programs using Differential Bayesian Inference
PLDI Research Papers
Kihong Heo University of Pennsylvania, USA, Mukund Raghothaman University of Pennsylvania, USA, Xujie Si University of Pennsylvania, Mayur Naik University of Pennsylvania
Media Attached
10:40
20m
Talk
Sparse Record and Replay with Controlled Scheduling
PLDI Research Papers
Christopher Lidbury Imperial College London, Alastair F. Donaldson Google and Imperial College London
14:00 - 15:30
Static AnalysisPLDI Research Papers at 229AB
Chair(s): Martin C. Rinard Massachusetts Institute of Technology
14:00
20m
Talk
Abstract Interpretation under Speculative Execution
PLDI Research Papers
Meng Wu Virginia Tech, Chao Wang USC
Media Attached
14:20
20m
Talk
A Fast Analytical Model of Fully Associative Caches
PLDI Research Papers
Tobias Gysi ETH Zurich, Switzerland, Tobias Grosser ETH Zurich, Laurin Brandner ETH Zurich, Switzerland, Torsten Hoefler ETH Zurich
Media Attached
14:40
20m
Talk
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees
PLDI Research Papers
Laith Sakka Purdue University, Kirshanthan Sundararajah Purdue University, Ryan R. Newton Indiana University, Milind Kulkarni Purdue University
Media Attached
15:00
20m
Talk
Size-Change Termination as a Contract
PLDI Research Papers
Phúc C. Nguyễn University of Maryland, Thomas Gilray University of Maryland, Sam Tobin-Hochstadt Indiana University, David Van Horn University of Maryland, USA
Media Attached
16:00 - 17:00
Dynamics: Analysis and CompilationPLDI Research Papers at 229AB
Chair(s): Nadia Polikarpova University of California, San Diego
16:00
20m
Talk
SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features
PLDI Research Papers
David Mitchel Perry Purdue University, Dohyeong Kim Purdue University, Roopsha Samanta Purdue University, Xiangyu Zhang Purdue University
Pre-print Media Attached
16:20
20m
Talk
Computing Summaries of String Loops in C for Better Testing and Refactoring
PLDI Research Papers
Timotej Kapus Imperial College London, Oren Ish-Shalom Tel Aviv University, Israel, Shachar Itzhaky Technion, Israel, Noam Rinetzky Tel Aviv University, Cristian Cadar Imperial College London
Link to publication Pre-print Media Attached
16:40
20m
Talk
Reusable Inline Caching for JavaScript Performance
PLDI Research Papers
Jiho Choi University of Illinois at Urbana-Champaign, Thomas Shull University of Illinois at Urbana-Champaign, Josep Torrellas University of Illinois at Urbana-Champaign

Wed 26 Jun

Displayed time zone: Tijuana, Baja California change

08:30 - 09:30
Verification IPLDI Research Papers at 229AB
Chair(s): Chung-Kil Hur Seoul National University
08:30
20m
Talk
Semantic Program Alignment for Equivalence Checking
PLDI Research Papers
Berkeley Churchill Stanford University, Oded Padon Stanford University, Rahul Sharma Microsoft Research, Alex Aiken Stanford University
Media Attached
08:50
20m
Talk
Verified Compilation on a Verified Processor
PLDI Research Papers
Andreas Lööw Chalmers University of Technology, Ramana Kumar DeepMind, Yong Kiam Tan Carnegie Mellon University, USA, Magnus O. Myreen Chalmers University of Technology, Sweden, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Oskar Abrahamsson Chalmers University of Technology, Sweden, Anthony Fox University of Cambridge, UK
DOI Pre-print Media Attached
09:10
20m
Talk
Argosy: Verifying Layered Storage Systems with Recovery Refinement
PLDI Research Papers
Tej Chajed Massachusetts Institute of Technology, USA, Joseph Tassarotti Boston College, M. Frans Kaashoek Massachusetts Institute of Technology, USA, Nickolai Zeldovich Massachusetts Institute of Technology, USA
DOI Pre-print Media Attached
10:00 - 11:00
Verification IIPLDI Research Papers at 229AB
Chair(s): Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia
10:00
20m
Talk
Verification of Programs under the Release-Acquire Semantics
PLDI Research Papers
Parosh Aziz Abdulla Uppsala University, Sweden, Jatin Arora IIT Bombay, India, Mohamed Faouzi Atig Uppsala University, Shankaranarayanan Krishna IIT Bombay, India
10:20
20m
Talk
A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
PLDI Research Papers
Sandeep Dasgupta University of Illinois at Urbana-Champaign, USA, Daejun Park University of Illinois at Urbana-Champaign, Theodoros Kasampalis University of Illinois at Urbana-Champaign, USA, Vikram S. Adve University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
10:40
20m
Talk
An Applied Quantum Hoare Logic
PLDI Research Papers
Li Zhou Department of Computer Science and Technology, Tsinghua University, Nengkun Yu University of Technology Sydney, Australia, Mingsheng Ying University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University.
Media Attached

Mon 24 Jun

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
229AB

PLDI Research Papers

Welcome!

PLDI Research Papers

Concurrency I

PLDI Research Papers

Concurrency II

PLDI Research Papers

Synthesis

PLDI Research Papers

Memory Management

Tue 25 Jun

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
229AB

PLDI Research Papers

Bug Finding & Testing I

PLDI Research Papers

Bug Finding & Testing II

PLDI Research Papers

Static Analysis

PLDI Research Papers

Dynamics: Analysis and Compilation

Wed 26 Jun

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:0030
229AB

PLDI Research Papers

Verification I

PLDI Research Papers

Verification II

Mon 24 Jun

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
229AB
PLDI Research Papers
Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model
08:45 - 09:05
PLDI Research Papers
Accelerating Sequential Consistency for Java with Speculative Compilation
09:05 - 09:25
PLDI Research Papers
Renaissance: Benchmarking Suite for Parallel Applications on the JVM
09:25 - 09:45
PLDI Research Papers
Model Checking for Weakly Consistent Libraries
10:00 - 10:20
PLDI Research Papers
Towards Certified Separate Compilation for Concurrent Programs
10:20 - 10:40
PLDI Research Papers
Robustness Against Release/Acquire Semantics
10:40 - 11:00
PLDI Research Papers
Resource-Guided Program Synthesis
14:00 - 14:20
PLDI Research Papers
Using Active Learning to Synthesize Models of Applications That Access ...
14:20 - 14:40
PLDI Research Papers
Synthesizing Database Programs for Schema Refactoring
14:40 - 15:00
PLDI Research Papers
Synthesis and Machine Learning for Heterogeneous Extraction
15:00 - 15:20
PLDI Research Papers
AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability
16:00 - 16:20
PLDI Research Papers
Mesh: Compacting Memory Management for C/C++ Applications
16:20 - 16:40
PLDI Research Papers
Panthera: Holistic Memory Management for Big Data Processing over Hybri ...
16:40 - 17:00

Tue 25 Jun

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
229AB
PLDI Research Papers
Lazy Counterfactual Symbolic Execution
08:30 - 08:50
PLDI Research Papers
Sound Regular Expression Semantics for Dynamic Symbolic Execution of Ja ...
08:50 - 09:10
PLDI Research Papers
Effective Floating-Point Analysis via Weak-Distance Minimization
09:10 - 09:30
PLDI Research Papers
Parser-Directed Fuzzing
10:00 - 10:20
PLDI Research Papers
Continuously Reasoning about Programs using Differential Bayesian Inference
10:20 - 10:40
PLDI Research Papers
Sparse Record and Replay with Controlled Scheduling
10:40 - 11:00
PLDI Research Papers
Abstract Interpretation under Speculative Execution
14:00 - 14:20
PLDI Research Papers
A Fast Analytical Model of Fully Associative Caches
14:20 - 14:40
PLDI Research Papers
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees
14:40 - 15:00
PLDI Research Papers
Size-Change Termination as a Contract
15:00 - 15:20
PLDI Research Papers
SemCluster: Clustering of Imperative Programming Assignments Based on Q ...
16:00 - 16:20
PLDI Research Papers
Computing Summaries of String Loops in C for Better Testing and Refactoring
16:20 - 16:40
PLDI Research Papers
Reusable Inline Caching for JavaScript Performance
16:40 - 17:00

Wed 26 Jun

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:00153045
229AB
PLDI Research Papers
Semantic Program Alignment for Equivalence Checking
08:30 - 08:50
PLDI Research Papers
Verified Compilation on a Verified Processor
08:50 - 09:10
PLDI Research Papers
Argosy: Verifying Layered Storage Systems with Recovery Refinement
09:10 - 09:30
PLDI Research Papers
Verification of Programs under the Release-Acquire Semantics
10:00 - 10:20
PLDI Research Papers
A Complete Formal Semantics of x86-64 User-Level Instruction Set Archit ...
10:20 - 10:40
PLDI Research Papers
An Applied Quantum Hoare Logic
10:40 - 11:00