224AB -

VenuePhoenix Convention Center

Room name224AB

Floor0

Room number224AB

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

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 programSpecify 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 IPLDI 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 IIPLDI 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 ProgrammingPLDI 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	ParsingPLDI 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 IPLDI 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 IIPLDI 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 ModelsPLDI 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	PerformancePLDI 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 IPLDI 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 IIPLDI 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

Room information: 224AB

Mon 24 Jun
Displayed time zone: Tijuana, Baja California change

Tue 25 Jun
Displayed time zone: Tijuana, Baja California change

Wed 26 Jun
Displayed time zone: Tijuana, Baja California change

Mon 24 Jun
Displayed time zone: Tijuana, Baja California change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Tue 25 Jun
Displayed time zone: Tijuana, Baja California change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Wed 26 Jun
Displayed time zone: Tijuana, Baja California change

PLDI Research Papers

PLDI Research Papers

Mon 24 Jun
Displayed time zone: Tijuana, Baja California change

Tue 25 Jun
Displayed time zone: Tijuana, Baja California change

Wed 26 Jun
Displayed time zone: Tijuana, Baja California change

Tracks

Room information: 224AB

Program Display Configuration

Mon 24 JunDisplayed time zone: Tijuana, Baja California change

Tue 25 JunDisplayed time zone: Tijuana, Baja California change

Wed 26 JunDisplayed time zone: Tijuana, Baja California change

Mon 24 JunDisplayed time zone: Tijuana, Baja California change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Tue 25 JunDisplayed time zone: Tijuana, Baja California change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Wed 26 JunDisplayed time zone: Tijuana, Baja California change

PLDI Research Papers

PLDI Research Papers

Mon 24 JunDisplayed time zone: Tijuana, Baja California change

Tue 25 JunDisplayed time zone: Tijuana, Baja California change

Wed 26 JunDisplayed time zone: Tijuana, Baja California change

Mon 24 Jun
Displayed time zone: Tijuana, Baja California change

Tue 25 Jun
Displayed time zone: Tijuana, Baja California change

Wed 26 Jun
Displayed time zone: Tijuana, Baja California change

Mon 24 Jun
Displayed time zone: Tijuana, Baja California change

Tue 25 Jun
Displayed time zone: Tijuana, Baja California change

Wed 26 Jun
Displayed time zone: Tijuana, Baja California change

Mon 24 Jun
Displayed time zone: Tijuana, Baja California change

Tue 25 Jun
Displayed time zone: Tijuana, Baja California change

Wed 26 Jun
Displayed time zone: Tijuana, Baja California change