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: 224AB
Venue
Phoenix Convention Center
Room name
224AB
Floor
0
Room number
224AB
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
224AB
08:45 - 09:45
Language Design I
PLDI Research Papers
at
224AB
Chair(s):
Benjamin Zorn
Microsoft Research
08:45
20m
Talk
LoCal: A Language for Programs Operating on Serialized Data
PLDI Research Papers
Michael Vollmer
Indiana University, USA
,
Chaitanya S. Koparkar
Indiana University
,
Mike Rainey
Indiana University, USA
,
Laith Sakka
Purdue University
,
Milind Kulkarni
Purdue University
,
Ryan R. Newton
Indiana University
DOI
Authorizer link
Pre-print
Media Attached
09:05
20m
Talk
Scenic: A Language for Scenario Specification and Scene Generation
PLDI Research Papers
Daniel J. Fremont
University of California at Berkeley, USA
,
Tommaso Dreossi
University of California at Berkeley
,
Shromona Ghosh
University of California at Berkeley, USA
,
Xiangyu Yue
University of California at Berkeley, USA
,
Alberto L. Sangiovanni-Vincentelli
University of California at Berkeley, USA
,
Sanjit Seshia
UC Berkeley
Media Attached
09:25
20m
Talk
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
PLDI Research Papers
Sridhar Gopinath
Microsoft Research, India
,
Nikhil Ghanathe
Microsoft Research, India
,
Vivek Seshadri
Microsoft Research, India
,
Rahul Sharma
Microsoft Research
Link to publication
DOI
Media Attached
10:00 - 11:00
Language Design II
PLDI Research Papers
at
224AB
Chair(s):
Santosh Nagarakatte
Rutgers University, USA
10:00
20m
Talk
CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
PLDI Research Papers
Roshan Dathathri
University of Texas at Austin, USA
,
Olli Saarikivi
,
Hao Chen
Microsoft Research
,
Kim Laine
Microsoft Research, n.n.
,
Kristin Lauter
Microsoft Research, n.n.
,
Saeed Maleki
Microsoft Research
,
Madan Musuvathi
Microsoft Research
,
Todd Mytkowicz
Microsoft Research
DOI
Pre-print
Media Attached
10:20
20m
Talk
Usuba: High-Throughput and Constant-Time Ciphers, by Construction
PLDI Research Papers
Darius Mercadier
Sorbonne Universités —UPMC Univ Paris 06
,
Pierre-Evariste Dagand
LIP6/CNRS
Media Attached
10:40
20m
Talk
FaCT: A DSL for Timing-Sensitive Computation
PLDI Research Papers
Sunjay Cauligi
University of California, San Diego
,
Gary Soeller
,
Brian Johannesmeyer
University of California at San Diego, USA
,
Fraser Brown
Stanford University
,
Riad S. Wahby
Stanford University, USA
,
John Renner
University of California, San Diego
,
Benjamin Gregoire
INRIA
,
Gilles Barthe
IMDEA Software Institute
,
Ranjit Jhala
University of California, San Diego
,
Deian Stefan
University of California San Diego
Media Attached
14:00 - 15:30
Probabilistic Programming
PLDI Research Papers
at
224AB
Chair(s):
Martin Hirzel
IBM Research
14:00
20m
Talk
Scalable Verification of Probabilistic Networks
PLDI Research Papers
Steffen Smolka
Cornell University
,
Praveen Kumar
Cornell University
,
David M. Kahn
Carnegie Mellon University, USA
,
Nate Foster
Cornell University
,
Justin Hsu
University of Wisconsin-Madison, USA
,
Dexter Kozen
Cornell University
,
Alexandra Silva
University College London
DOI
Pre-print
Media Attached
14:20
20m
Talk
Cost Analysis of Nondeterministic Probabilistic Programs
PLDI Research Papers
Peixin Wang
Shanghai Jiao Tong University
,
Hongfei Fu
IST Austria
,
Amir Kafshdar Goharshady
IST Austria
,
Krishnendu Chatterjee
IST Austria
,
Xudong Qin
East China Normal University, China
,
Wenjun Shi
East China Normal University, China
Media Attached
14:40
20m
Talk
Gen: A General-Purpose Probabilistic Programming System with Programmable Inference
PLDI Research Papers
Marco Cusumano-Towner
MIT-CSAIL
,
Feras Saad
Massachusetts Institute of Technology
,
Alexander K. Lew
Massachusetts Institute of Technology, USA
,
Vikash K. Mansinghka
MIT
Media Attached
15:00
20m
Talk
Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs
PLDI Research Papers
Jieyuan Zhang
UNSW, Australia
,
Jingling Xue
UNSW Sydney
Media Attached
16:00 - 17:00
Parsing
PLDI Research Papers
at
224AB
Chair(s):
Qirun Zhang
Georgia Institute of Technology
16:00
20m
Talk
Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators
PLDI Research Papers
Rijnard van Tonder
Carnegie Mellon University
,
Claire Le Goues
Carnegie Mellon University
DOI
Pre-print
Media Attached
16:20
20m
Talk
A Typed, Algebraic Approach to Parsing
PLDI Research Papers
Neel Krishnaswami
Computer Laboratory, University of Cambridge
,
Jeremy Yallop
University of Cambridge, UK
Link to publication
DOI
Pre-print
16:40
20m
Talk
Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands
PLDI Research Papers
Giovanni Campagna
Stanford University, USA
,
Silei Xu
,
Mehrad Moradshahi
Stanford University, USA
,
Richard Socher
Salesforce, USA
,
Monica S. Lam
Stanford University, USA
Media Attached
Tue 25 Jun
Displayed time zone:
Tijuana, Baja California
change
08:30 - 09:30
Type Systems I
PLDI Research Papers
at
224AB
Chair(s):
Ranjit Jhala
University of California, San Diego
08:30
20m
Talk
Verifying Message-Passing Programs with Dependent Behavioural Types
PLDI Research Papers
Alceste Scalas
Aston University, Birmingham, UK
,
Nobuko Yoshida
Imperial College London
,
Elias Benussi
Faculty Science Ltd
Pre-print
08:50
20m
Talk
Toward Efficient Gradual Typing for Structural Types via Coercions
PLDI Research Papers
Andre Kuhlenschmidt
Indiana University
,
Deyaaeldeen Almahallawi
Indiana University
,
Jeremy G. Siek
Indiana University, USA
09:10
20m
Talk
Bidirectional Type Checking for Relational Properties
PLDI Research Papers
Ezgi Çiçek
Facebook London
,
Weihao Qu
University at Buffalo, SUNY
,
Gilles Barthe
IMDEA Software Institute
,
Marco Gaboardi
University at Buffalo, SUNY
,
Deepak Garg
Max Planck Institute for Software Systems
Media Attached
10:00 - 11:00
Type Systems II
PLDI Research Papers
at
224AB
Chair(s):
Jeffrey S. Foster
Tufts University
10:00
20m
Talk
ILC: A Calculus for Composable, Computational Cryptography
PLDI Research Papers
Kevin Liao
,
Matthew Hammer
None
,
Andrew Miller
University of Illinois at Urbana-Champaign, USA
10:20
20m
Talk
Proving Differential Privacy with Shadow Execution
PLDI Research Papers
Yuxin Wang
,
Zeyu Ding
Pennsylvania State University, USA
,
Guanhong Wang
Pennsylvania State University, USA
,
Daniel Kifer
Dept. of Computer Science and Engineering, Penn State University
,
Danfeng Zhang
Pennsylvania State University
Media Attached
10:40
20m
Talk
Data-Trace Types for Distributed Stream Processing Systems
PLDI Research Papers
Konstantinos Mamouras
University of Pennsylvania
,
Caleb Stanford
University of Pennsylvania
,
Rajeev Alur
University of Pennsylvania
,
Zachary G. Ives
University of Pennsylvania
,
Val Tannen
University of Pennsylvania, USA
Media Attached
14:00 - 15:30
Reasoning and Optimizing ML Models
PLDI Research Papers
at
224AB
Chair(s):
Martin Maas
Google
14:00
20m
Talk
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
PLDI Research Papers
He Zhu
Rutgers University, USA
,
Zikang Xiong
Purdue University
,
Stephen Magill
,
Suresh Jagannathan
Purdue University
Media Attached
14:20
20m
Talk
Programming Support for Autonomizing Software
PLDI Research Papers
Wen-Chuan Lee
Purdue University
,
Peng Liu
Purdue University
,
Yingqi Liu
Purdue University, USA
,
Shiqing Ma
Purdue University, USA
,
Xiangyu Zhang
Purdue University
14:40
20m
Talk
Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability
PLDI Research Papers
Hui Guan
North Carolina State University
,
Xipeng Shen
North Carolina State University
,
Seung-Hwan Lim
Oak Ridge National Laboratory, USA
Media Attached
File Attached
15:00
20m
Talk
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
PLDI Research Papers
Greg Anderson
University of Texas at Austin, USA
,
Shankara Pailoor
University of Texas at Austin, USA
,
Işıl Dillig
UT Austin
,
Swarat Chaudhuri
Rice University
Media Attached
16:00 - 17:00
Performance
PLDI Research Papers
at
224AB
Chair(s):
Ting Cao
Microsoft Research
16:00
20m
Talk
Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism
PLDI Research Papers
Xulong Tang
Penn State
,
Mahmut Taylan Kandemir
Pennsylvania State University, USA
,
Mustafa Karakoy
TOBB University of Economics and Technology, Turkey
,
Meenakshi Arunachalam
Intel, USA
Media Attached
16:20
20m
Talk
Low-Latency Graph Streaming using Compressed Purely-Functional Trees
PLDI Research Papers
Laxman Dhulipala
Carnegie Mellon University
,
Guy E. Blelloch
Carnegie Mellon University
,
Julian Shun
MIT
16:40
20m
Talk
Composable, Sound Transformations of Nested Recursion and Loops
PLDI Research Papers
Kirshanthan Sundararajah
Purdue University
,
Milind Kulkarni
Purdue University
Media Attached
Wed 26 Jun
Displayed time zone:
Tijuana, Baja California
change
08:30 - 09:30
Systems I
PLDI Research Papers
at
224AB
Chair(s):
Xinyu Feng
Nanjing University
08:30
20m
Talk
Replication-Aware Linearizability
PLDI Research Papers
Chao Wang
IRIF, Université Paris Diderot, France
,
Constantin Enea
Université Paris Diderot
,
Suha Orhun Mutluergil
IRIF, France / University Paris Diderot, France / CNRS, France
,
Gustavo Petri
Arm Ltd
Media Attached
08:50
20m
Talk
DFix: Automatically Fixing Timing Bugs in Distributed Systems
PLDI Research Papers
Guangpu Li
University of Chicago, USA
,
Haopeng Liu
University of Chicago
,
Xianglan Chen
University of Science and Technology of China, China
,
Haryadi S. Gunawi
University of Chicago, USA
,
Shan Lu
University of Chicago
Media Attached
09:10
20m
Talk
Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution
PLDI Research Papers
Nikos Vasilakis
University of Pennsylvania, USA
,
Ben Karel
University of Pennsylvania, USA
,
Yash Palkhiwala
University of Pennsylvania, USA
,
John Sonchack
University of Pennsylvania, USA
,
André DeHon
University of Pennsylvania, USA
,
Jonathan M. Smith
University of Pennsylvania, USA
Media Attached
10:00 - 11:00
Systems II
PLDI Research Papers
at
224AB
Chair(s):
James Larus
EPFL
10:00
20m
Talk
Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
PLDI Research Papers
Elazar Gershuni
Tel Aviv University
,
Nadav Amit
,
Arie Gurfinkel
University of Waterloo
,
Nina Narodytska
VMWare Research
,
Jorge A. Navas
SRI International
,
Noam Rinetzky
Tel Aviv University
,
Leonid Ryzhyk
VMware Research
,
Mooly Sagiv
Tel Aviv University
Link to publication
DOI
Media Attached
10:20
20m
Talk
Transactional Concurrency for Intermittent Systems
PLDI Research Papers
Emily Ruppel
Carnegie Mellon University, USA
,
Brandon Lucia
Carnegie Mellon University
Media Attached
10:40
20m
Talk
Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints
PLDI Research Papers
Kiwan Maeng
Carnegie Mellon University, USA
,
Brandon Lucia
Carnegie Mellon 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
224AB
PLDI Research Papers
Welcome!
PLDI Research Papers
Language Design I
PLDI Research Papers
Language Design II
PLDI Research Papers
Probabilistic Programming
PLDI Research Papers
Parsing
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
224AB
PLDI Research Papers
Type Systems I
PLDI Research Papers
Type Systems II
PLDI Research Papers
Reasoning and Optimizing ML Models
PLDI Research Papers
Performance
Wed 26 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
8:00
30
9:00
30
10:00
30
224AB
PLDI Research Papers
Systems I
PLDI Research Papers
Systems 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
224AB
PLDI Research Papers
LoCal: A Language for Programs Operating on Serialized Data
08:45 - 09:05
PLDI Research Papers
Scenic: A Language for Scenario Specification and Scene Generation
09:05 - 09:25
PLDI Research Papers
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
09:25 - 09:45
PLDI Research Papers
CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Infer ...
10:00 - 10:20
PLDI Research Papers
Usuba: High-Throughput and Constant-Time Ciphers, by Construction
10:20 - 10:40
PLDI Research Papers
FaCT: A DSL for Timing-Sensitive Computation
10:40 - 11:00
PLDI Research Papers
Scalable Verification of Probabilistic Networks
14:00 - 14:20
PLDI Research Papers
Cost Analysis of Nondeterministic Probabilistic Programs
14:20 - 14:40
PLDI Research Papers
Gen: A General-Purpose Probabilistic Programming System with Programmab ...
14:40 - 15:00
PLDI Research Papers
Incremental Precision-Preserving Symbolic Inference for Probabilistic P ...
15:00 - 15:20
PLDI Research Papers
Lightweight Multi-Language Syntax Transformation with Parser Parser Com ...
16:00 - 16:20
PLDI Research Papers
A Typed, Algebraic Approach to Parsing
16:20 - 16:40
PLDI Research Papers
Genie: A Generator of Natural Language Semantic Parsers for Virtual Ass ...
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
224AB
PLDI Research Papers
Verifying Message-Passing Programs with Dependent Behavioural Types
08:30 - 08:50
PLDI Research Papers
Toward Efficient Gradual Typing for Structural Types via Coercions
08:50 - 09:10
PLDI Research Papers
Bidirectional Type Checking for Relational Properties
09:10 - 09:30
PLDI Research Papers
ILC: A Calculus for Composable, Computational Cryptography
10:00 - 10:20
PLDI Research Papers
Proving Differential Privacy with Shadow Execution
10:20 - 10:40
PLDI Research Papers
Data-Trace Types for Distributed Stream Processing Systems
10:40 - 11:00
PLDI Research Papers
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
14:00 - 14:20
PLDI Research Papers
Programming Support for Autonomizing Software
14:20 - 14:40
PLDI Research Papers
Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability
14:40 - 15:00
PLDI Research Papers
Optimization and Abstraction: A Synergistic Approach for Analyzing Neur ...
15:00 - 15:20
PLDI Research Papers
Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism
16:00 - 16:20
PLDI Research Papers
Low-Latency Graph Streaming using Compressed Purely-Functional Trees
16:20 - 16:40
PLDI Research Papers
Composable, Sound Transformations of Nested Recursion and Loops
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
224AB
PLDI Research Papers
Replication-Aware Linearizability
08:30 - 08:50
PLDI Research Papers
DFix: Automatically Fixing Timing Bugs in Distributed Systems
08:50 - 09:10
PLDI Research Papers
Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution
09:10 - 09:30
PLDI Research Papers
Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
10:00 - 10:20
PLDI Research Papers
Transactional Concurrency for Intermittent Systems
10:20 - 10:40
PLDI Research Papers
Supporting Peripherals in Intermittent Systems with Just-In-Time Checkp ...
10:40 - 11:00
x
Mon 7 Oct 09:41