Write a Blog >>
DBPL 2019
Sat 22 - Fri 28 June 2019
Phoenix, Arizona, United States
co-located with
PLDI 2019
Toggle navigation
Attending
Venue: Phoenix Convention Center
Program
Complete Program
Your Program
Filter by Day
Sat 22 Jun
Sun 23 Jun
Mon 24 Jun
Tue 25 Jun
Wed 26 Jun
Thu 27 Jun
Fri 28 Jun
Track/Call
Organization
DBPL 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
DBPL 2019
DBPL 2015
Sign in
Sign up
PLDI 2019
(
series
) /
DBPL 2019 (
series
) /
Phoenix Convention Center
/
Room information: 229AB
Venue
Phoenix Convention Center
Room name
229AB
Floor
0
Room number
229AB
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-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
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-06: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-04: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+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
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 I
PLDI 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 II
PLDI 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
Synthesis
PLDI 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 Management
PLDI 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 I
PLDI 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 II
PLDI 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 Analysis
PLDI 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 Compilation
PLDI 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 I
PLDI 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 II
PLDI 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
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
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
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
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
Room
8:00
30
9:00
30
10:00
30
229AB
PLDI Research Papers
Verification I
PLDI Research Papers
Verification II
Mon 24 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
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
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
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
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
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
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
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
x
Mon 7 Oct 10:21