Cypress 2 - PLMW@PLDI 2023

VenueOrlando World Center Marriott

Room nameCypress 2

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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 19 Jun
Displayed time zone: Eastern Time (US & Canada) change

11:20 - 12:30	Plenary SessionPLDI FCRC at Cypress 2

11:20 70m Keynote		Computing in the Foundation Model EraInvited Talk PLDI FCRC Kunle Olukotun Stanford University

13:40 - 15:20	PLDI: CompilationPLDI Research Papers at Cypress 2 Chair(s): Chung-Kil Hur Seoul National University #pldi-mon-1340-compilation-cypress

13:40 20m Talk		Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations PLDI Research Papers Raphael Isemann Vrije Universiteit Amsterdam, Cristiano Giuffrida Vrije Universiteit Amsterdam, Herbert Bos Vrije Universiteit Amsterdam, Erik van der Kouwe Vrije Universiteit Amsterdam, Klaus von Gleissenthall Vrije Universiteit Amsterdam DOI
14:00 20m Talk		Better Together: Unifying Datalog and Equality Saturation PLDI Research Papers Yihong Zhang University of Washington, Yisu Remy Wang University of Washington, Oliver Flatt University of Washington, David Cao University of California at San Diego, Philip Zucker Draper, Eli Rosenthal Google, Zachary Tatlock University of Washington, Max Willsey University of Washington DOI Pre-print
14:20 20m Talk		HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption PLDI Research Papers Sunjae Park Seoul National University, Woosung Song Google, Seunghyeon Nam Seoul National University, Hyeongyu Kim Seoul National University, Junbum Shin CryptoLab, Juneyoung Lee AWS DOI
14:40 20m Talk		Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs PLDI Research Papers Scott Kovach Stanford University, Praneeth Kolichala Stanford University, Tiancheng “Timothy” Gu Stanford University, Fredrik Kjolstad Stanford University DOI Pre-print
15:00 20m Talk		Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages PLDI Research Papers Vsevolod Livinskii University of Utah, Dmitry Babokin Intel Corporation, John Regehr University of Utah DOI Pre-print

16:00 - 18:00	PLDI: Concurrency & ParallelismPLDI Research Papers at Cypress 2 Chair(s): Calin Cascaval Google Research #pldi-mon-1600-concurrency-cypress

16:00 20m Talk		Type-Checking CRDT Convergence PLDI Research Papers George Zakhour University of St.Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen DOI Pre-print
16:20 20m Talk		Reliable Actors with Retry Orchestration PLDI Research Papers Olivier Tardieu IBM Research, David Grove IBM Research, Gheorghe-Teodor Bercea IBM Research, Paul Castro IBM Research, Jaroslaw Cwiklik IBM Research, Edward Epstein IBM Research DOI
16:40 20m Talk		Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels PLDI Research Papers Ahmed Bouajjani IRIF, Université Paris Diderot, Constantin Enea LIX, CNRS, Ecole Polytechnique, Enrique Román-Calvo Université Paris Cité - CNRS - IRIF DOI
17:00 20m Talk		Responsive Parallelism with Synchronization PLDI Research Papers Stefan K. Muller Illinois Institute of Technology, Kyle Singer Washington University in St. Louis, USA, Devyn Terra Keeney Illinois Institute of Technology, Andrew Neth Illinois Institute of Technology, Kunal Agrawal Washington University in St. Louis, USA, I-Ting Angelina Lee Washington University in St. Louis, USA, Umut A. Acar Carnegie Mellon University DOI
17:20 20m Talk		Parallelism in a Region Inference Context PLDI Research Papers Martin Elsman University of Copenhagen, Denmark, Troels Henriksen University of Copenhagen, Denmark DOI
17:40 20m Talk		Performal: Formal Verification of Latency Properties for Distributed Systems PLDI Research Papers Nuda Zhang University of Michigan, Upamanyu Sharma Massachusetts Institute of Technology, Manos Kapritsos University of Michigan, USA DOI

Tue 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

11:20 - 12:30	Plenary SessionPLDI FCRC at Cypress 2

11:20 70m Keynote		Taking on the World's Challenges: The Role of Computing Research and InnovationInvited Talk PLDI FCRC Margaret Martonosi Princeton University

13:40 - 15:40	PLDI: Analysis & OptimizationsPLDI Research Papers at Cypress 2 Chair(s): Fredrik Kjolstad Stanford University #pldi-tue-1340-optimizations-cypress

13:40 20m Talk		Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake? PLDI Research Papers Tetsuro Yamazaki University of Tokyo, Tomoki Nakamaru University of Tokyo, Ryota Shioya University of Tokyo, Tomoharu Ugawa University of Tokyo, Shigeru Chiba The University of Tokyo DOI
14:00 20m Talk		Modular Hardware Design with Timeline Types PLDI Research Papers Rachit Nigam Cornell University, Pedro Henrique Azevedo de Amorim Cornell University, Adrian Sampson Cornell University DOI Pre-print
14:20 20m Talk		Efficient Parallel Functional Programming with Effects PLDI Research Papers Jatin Arora Carnegie Mellon University, Sam Westrick Carnegie Mellon University, Umut A. Acar Carnegie Mellon University DOI
14:40 20m Talk		Better Defunctionalization through Lambda Set Specialization PLDI Research Papers William Brandon MIT CSAIL, Benjamin Driscoll Stanford University, Wilson Berkow UC Berkeley, Frank Dai UC Berkeley, Mae Milano University of California at Berkeley DOI
15:00 20m Talk		Sound Dynamic Deadlock Prediction in Linear Time PLDI Research Papers Hünkar Can Tunç Aarhus University, Umang Mathur National University of Singapore, Andreas Pavlogiannis Aarhus University, Mahesh Viswanathan University of Illinois at Urbana-Champaign DOI Pre-print
15:20 20m Talk		Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis PLDI Research Papers Wenjie Ma Nanjing University, Shengyuan Yang Nanjing University, Tian Tan Nanjing University, Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yue Li Nanjing University DOI Pre-print

16:15 - 17:15	Plenary PanelPLDI FCRC at Cypress 2

16:15 60m Panel		Reflecting on 50 Years of Computing Research, and Future Outlook PLDI FCRC Hagit Attiya Technion, Jack Dongarra University of Tennessee, Knoxville, Mary Hall University of Utah, Lizy John University of Texas, Austin, Huan Liu Arizona State University, Guy L. Steele Jr. Oracle Labs

Wed 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

11:20 - 12:30	Plenary SessionPLDI FCRC at Cypress 2

11:20 70m Keynote		Constructing and Deconstructing Trust: Employing Cryptographic Recipe in the ML DomainInvited Talk PLDI FCRC Shafi Goldwasser University of California, Berkeley

13:40 - 15:40	PLDI: TOPLAS & SIGPLAN PapersPLDI Research Papers at Cypress 2 Chair(s): Gang Tan Pennsylvania State University #pldi-wed-1340-toplas-cypress

13:40 20m Talk		Passport: Improving Automated Formal Verification Using Identifiers PLDI Research Papers Alex Sanchez-Stern University of Massachusetts, Emily First University of Massachusetts Amherst, Timothy Zhou University of Illinois Urbana-Champaign, Zhanna Kaufman University of Massachusetts, Yuriy Brun University of Massachusetts, Talia Ringer University of Illinois at Urbana-Champaign Link to publication DOI Pre-print Media Attached
14:00 20m Talk		Scalable Verification of GNN-based Job Schedulers PLDI Research Papers Haoze Wu Stanford University, Clark Barrett Stanford University, Mahmood Sharif Tel Aviv University, Nina Narodytska VMware Research, Gagandeep Singh University of Illinois at Urbana-Champaign Link to publication Pre-print
14:20 20m Talk		A general construction for abstract interpretation of higher-order automatic differentiation PLDI Research Papers Jacob Laurel University of Illinois at Urbana-Champaign, Rem Yang University of Illinois at Urbana-Champaign, Shubham Ugare University of Illinois at Urbana-Champaign, Robert Nagel University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign Link to publication
14:40 20m Talk		Program Adverbs and Tlön Embeddings PLDI Research Papers Yao Li Portland State University, Stephanie Weirich University of Pennsylvania Link to publication DOI Pre-print
15:00 20m Talk		Gleipnir: toward practical error analysis for Quantum programs PLDI Research Papers Runzhou Tao Columbia University, Yunong Shi University of Chicago, Jianan Yao Columbia University, USA, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University Link to publication
15:20 20m Talk		Model-guided synthesis of inductive lemmas for FOL with least fixpoints PLDI Research Papers Adithya Murali University of Illinois at Urbana-Champaign, Lucas Peña University of Illinois at Urbana-Champaign, Eion Blanchard University of Illinois at Urbana-Champaign, Christof Löding RWTH Aachen University, P. Madhusudan University of Illinois at Urbana-Champaign Link to publication

16:00 - 18:00	PLDI: Parsing & Formal LanguagesPLDI Research Papers at Cypress 2 Chair(s): Eric Eide University of Utah #pldi-wed-1600-parsing-cypress

16:00 20m Talk		Search-Based Regular Expression Inference on a GPU PLDI Research Papers Mojtaba Valizadeh University of Sussex, Martin Berger DOI Pre-print
16:20 20m Talk		Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics PLDI Research Papers Dan Moseley Microsoft DevDiv, Mario Nishio Microsoft Azure, Jose Perez Rodriguez Microsoft DevDiv, Olli Saarikivi Microsoft Research, Redmond, Stephen Toub Microsoft DevDiv, Margus Veanes Microsoft, Tiki Wan Microsoft Azure, Eric Xu Microsoft, USA DOI
16:40 20m Talk		Repairing Regular Expressions for Extraction PLDI Research Papers Nariyoshi Chida NTT Social Informatics Laboratories, Tachio Terauchi Waseda University DOI
17:00 20m Talk		Recursive State Machine Guided Graph Folding for Context-Free Language Reachability PLDI Research Papers Yuxiang Lei University of New South Wales, Yulei Sui University of New South Wales, Sydney, Shin Hwei Tan Concordia University, Qirun Zhang Georgia Institute of Technology DOI
17:20 20m Talk		Interval Parsing Grammars for File Format Parsing PLDI Research Papers Jialun Zhang Pennsylvania State University, Greg Morrisett Cornell University, Gang Tan Pennsylvania State University DOI
17:40 20m Talk		flap: A Deterministic Parser with Fused Lexing PLDI Research Papers Jeremy Yallop University of Cambridge, Ningning Xie Google DeepMind / University of Toronto, Neel Krishnaswami University of Cambridge DOI Pre-print

Mon 19 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Cypress 2					PLDI FCRC Plenary Session																												PLDI Research Papers PLDI: Compilation																												PLDI Research Papers PLDI: Concurrency & Parallelism

Tue 20 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Cypress 2					PLDI FCRC Plenary Session																												PLDI Research Papers PLDI: Analysis & Optimizations																															PLDI FCRC Plenary Panel

Wed 21 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Cypress 2					PLDI FCRC Plenary Session																												PLDI Research Papers PLDI: TOPLAS & SIGPLAN Papers																												PLDI Research Papers PLDI: Parsing & Formal Languages

Mon 19 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	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			17:00			15			30			45
Cypress 2					PLDI FCRCInvited Talk Computing in the Foundation Model Era 11:20 - 12:30																												PLDI Research Papers Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations 13:40 - 14:00				PLDI Research Papers Better Together: Unifying Datalog and Equality Saturation 14:00 - 14:20				PLDI Research Papers HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encr ... 14:20 - 14:40				PLDI Research Papers Indexed Streams: A Formal Intermediate Representation for Fused Contrac ... 14:40 - 15:00				PLDI Research Papers Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages 15:00 - 15:20												PLDI Research Papers Type-Checking CRDT Convergence 16:00 - 16:20				PLDI Research Papers Reliable Actors with Retry Orchestration 16:20 - 16:40				PLDI Research Papers Dynamic Partial Order Reduction for Checking Correctness Against Transa ... 16:40 - 17:00				PLDI Research Papers Responsive Parallelism with Synchronization 17:00 - 17:20				PLDI Research Papers Parallelism in a Region Inference Context 17:20 - 17:40				PLDI Research Papers Performal: Formal Verification of Latency Properties for Distributed Sy ... 17:40 - 18:00

Tue 20 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	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			17:00			15			30			45
Cypress 2					PLDI FCRCInvited Talk Taking on the World's Challenges: The Role of Computing Research and In ... 11:20 - 12:30																												PLDI Research Papers Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes ... 13:40 - 14:00				PLDI Research Papers Modular Hardware Design with Timeline Types 14:00 - 14:20				PLDI Research Papers Efficient Parallel Functional Programming with Effects 14:20 - 14:40				PLDI Research Papers Better Defunctionalization through Lambda Set Specialization 14:40 - 15:00				PLDI Research Papers Sound Dynamic Deadlock Prediction in Linear Time 15:00 - 15:20				PLDI Research Papers Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast a ... 15:20 - 15:40											PLDI FCRC Reflecting on 50 Years of Computing Research, and Future Outlook 16:15 - 17:15

Wed 21 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	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			17:00			15			30			45
Cypress 2					PLDI FCRCInvited Talk Constructing and Deconstructing Trust: Employing Cryptographic Recipe i ... 11:20 - 12:30																												PLDI Research Papers Passport: Improving Automated Formal Verification Using Identifiers 13:40 - 14:00				PLDI Research Papers Scalable Verification of GNN-based Job Schedulers 14:00 - 14:20				PLDI Research Papers A general construction for abstract interpretation of higher-order auto ... 14:20 - 14:40				PLDI Research Papers Program Adverbs and Tlön Embeddings 14:40 - 15:00				PLDI Research Papers Gleipnir: toward practical error analysis for Quantum programs 15:00 - 15:20				PLDI Research Papers Model-guided synthesis of inductive lemmas for FOL with least fixpoints 15:20 - 15:40								PLDI Research Papers Search-Based Regular Expression Inference on a GPU 16:00 - 16:20				PLDI Research Papers Derivative Based Nonbacktracking Real-World Regex Matching with Backtra ... 16:20 - 16:40				PLDI Research Papers Repairing Regular Expressions for Extraction 16:40 - 17:00				PLDI Research Papers Recursive State Machine Guided Graph Folding for Context-Free Language ... 17:00 - 17:20				PLDI Research Papers Interval Parsing Grammars for File Format Parsing 17:20 - 17:40				PLDI Research Papers flap: A Deterministic Parser with Fused Lexing 17:40 - 18:00

Room information: Cypress 2

Mon 19 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tue 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

Wed 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

Mon 19 Jun
Displayed time zone: Eastern Time (US & Canada) change

PLDI FCRC

PLDI Research Papers

PLDI Research Papers

Tue 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

PLDI FCRC

PLDI Research Papers

PLDI FCRC

Wed 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

PLDI FCRC

PLDI Research Papers

PLDI Research Papers

Mon 19 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tue 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

Wed 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Room information: Cypress 2

Program Display Configuration

Mon 19 JunDisplayed time zone: Eastern Time (US & Canada) change

Tue 20 JunDisplayed time zone: Eastern Time (US & Canada) change

Wed 21 JunDisplayed time zone: Eastern Time (US & Canada) change

Mon 19 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI FCRC

PLDI Research Papers

PLDI Research Papers

Tue 20 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI FCRC

PLDI Research Papers

PLDI FCRC

Wed 21 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI FCRC

PLDI Research Papers

PLDI Research Papers

Mon 19 JunDisplayed time zone: Eastern Time (US & Canada) change

Tue 20 JunDisplayed time zone: Eastern Time (US & Canada) change

Wed 21 JunDisplayed time zone: Eastern Time (US & Canada) change

Mon 19 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tue 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

Wed 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

Mon 19 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tue 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

Wed 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

Mon 19 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tue 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

Wed 21 Jun
Displayed time zone: Eastern Time (US & Canada) change