PLDI 2023
Sat 17 - Wed 21 June 2023
Orlando, Florida, United States
Toggle navigation
Attending
Venue: Orlando World Center Marriott
Registration
Code of Conduct
Sponsorship
Visa
Volunteers
Childcare
Program
Complete Program
Your Program
Sat 17 Jun
Sun 18 Jun
Mon 19 Jun
Tue 20 Jun
Wed 21 Jun
Tracks
PLDI 2023
PLDI Research Papers
Research Artifacts
Tutorials
Workshops and Tutorials
SRC
Volunteering
W@PLDI
SIGPLAN
Co-hosted Conferences
ISMM
LCTES
Workshops
ARRAY
ASA
CSC
CTSTA
DRAGSTERS
EGRAPHS
Infer
PLARCH
PLMW@PLDI
SOAP
Organization
PLDI 2023 Committees
Organizing Committee
Track Committees
PLDI Research Papers
Research Artifacts
Workshops and Tutorials
SRC
Volunteering
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
ASA
Organizing Committee
CSC
Organizing Committee
Program Committee
CTSTA
Organizing Committee
Program Committee
DRAGSTERS
Organizing Committee
Program Committee
EGRAPHS
Organizing Committee
Program Committee
Infer
Organizing Committee
Program Committee
PLARCH
Organizing Committee
Program Committee
PLMW@PLDI
Organizing Committee
SOAP
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2023
(
series
) /
Orlando World Center Marriott
/
Room information: Cypress 2
Venue
Orlando World Center Marriott
Room name
Cypress 2
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
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
(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 19 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
13:40 - 15:40
PLDI: Compilation
PLDI 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 & Parallelism
PLDI 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 & Optimizations
PLDI 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 Papers
PLDI 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 Languages
PLDI 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
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Cypress 2
PLDI Research Papers
PLDI: Compilation
PLDI Research Papers
PLDI: Concurrency & Parallelism
Tue 20 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
13:00
30
14:00
30
15:00
30
Cypress 2
PLDI Research Papers
PLDI: Analysis & Optimizations
Wed 21 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
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
Room
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 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
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
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
Room
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 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
x
Tue 30 May 05:55