PLDI 2023
Sat 17 - Wed 21 June 2023 Orlando, Florida, United States
PLDI 2023 (series) / Orlando World Center Marriott /

Room information: Cypress 2

VenueOrlando World Center Marriott
Room nameCypress 2
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

13:40 - 15:40
PLDI: CompilationPLDI Research Papers at Cypress 2
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
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
Pre-print
14:20
20m
Talk
Program Reconditioning: Avoiding Undefined Behaviour when Finding and Reducing Compiler Bugs
PLDI Research Papers
Bastien Lecoeur Imperial College London, Hasan Mohsin Imperial College London, Alastair F. Donaldson Imperial College London
DOI
14:40
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
15:00
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:20
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
Pre-print
16:00 - 18:00
PLDI: Concurrency & ParallelismPLDI Research Papers at Cypress 2
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
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
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
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
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

Tue 20 Jun

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

13:40 - 15:40
PLDI: Analysis & OptimizationsPLDI Research Papers at Cypress 2
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
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
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
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
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
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
Pre-print

Wed 21 Jun

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

13:40 - 15:40
PLDI: TOPLAS & SIGPLAN PapersPLDI Research Papers at Cypress 2
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
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
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
16:00
20m
Talk
Search-Based Regular Expression Inference on a GPU
PLDI Research Papers
Mojtaba Valizadeh University of Sussex, Martin Berger
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
16:40
20m
Talk
Repairing Regular Expressions for Extraction
PLDI Research Papers
Nariyoshi Chida NTT Social Informatics Laboratories, Tachio Terauchi Waseda University
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
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
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

Room13:003014:003015:003016:003017:0030
Cypress 2

PLDI Research Papers

PLDI: Compilation

PLDI Research Papers

PLDI: Concurrency & Parallelism

Tue 20 Jun

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

Room13:003014:003015:0030
Cypress 2

PLDI Research Papers

PLDI: Analysis & Optimizations

Wed 21 Jun

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

Room13:003014:003015:003016:003017:0030
Cypress 2

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

Room13:0015304514:0015304515:0015304516:0015304517:00153045
Cypress 2
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
Program Reconditioning: Avoiding Undefined Behaviour when Finding and R ...
14:20 - 14:40
PLDI Research Papers
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-based Homomorphic Encr ...
14:40 - 15:00
PLDI Research Papers
Indexed Streams: A Formal Intermediate Representation for Fused Contrac ...
15:00 - 15:20
PLDI Research Papers
Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
15:20 - 15:40
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

Room13:0015304514:0015304515:00153045
Cypress 2
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

Wed 21 Jun

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

Room13:0015304514:0015304515:0015304516:0015304517:00153045
Cypress 2
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