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: Royal
Venue
Orlando World Center Marriott
Room name
Royal
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
Sun 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
18:00 - 20:00
PLDI: Opening Reception
PLDI Research Papers
at
Royal
18:00
2h
Social Event
PLDI Opening Reception
Social
PLDI Research Papers
Mon 19 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 11:00
PLDI: Welcome & Opening Session
PLDI Research Papers
at
Royal
09:00
20m
Day opening
Welcome to PLDI
PLDI Research Papers
Steve Blackburn
Google and Australian National University
,
Nate Foster
Cornell University
09:20
20m
Talk
Mosaic: An Interoperable Compiler for Tensor Algebra
Distinguished Paper
PLDI Research Papers
Manya Bansal
Stanford University
,
Olivia Hsu
Stanford University
,
Kunle Olukotun
Stanford University
,
Fredrik Kjolstad
Stanford University
09:40
20m
Talk
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Distinguished Paper
PLDI Research Papers
Joel Kuepper
University of Adelaide
,
Andres Erbsen
MIT
,
Jason Gross
MIT CSAIL
,
Owen Conoly
MIT
,
Chuyue Sun
Stanford
,
Samuel Tian
MIT
,
David Wu
University of Adelaide
,
Adam Chlipala
Massachusetts Institute of Technology
,
Chitchanok Chuengsatiansup
The University of Melbourne
,
Daniel Genkin
Georgia Tech
,
Markus Wagner
Monash University, Australia
,
Yuval Yarom
Ruhr University Bochum
DOI
Pre-print
10:00
20m
Talk
Synthesizing MILP Constraints for Efficient and Robust Optimization
Distinguished Paper
PLDI Research Papers
Jingbo Wang
University of Southern California
,
Aarti Gupta
Princeton University
,
Chao Wang
University of Southern California
10:20
20m
Talk
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits
Distinguished Paper
PLDI Research Papers
Yu-Fang Chen
Academia Sinica, Taiwan
,
Kai-Min Chung
Academia Sinica
,
Ondřej Lengál
Brno University of Technology
,
Jyun-Ao Lin
Academia Sinica
,
Wei-Lun Tsai
Academia Sinica
,
Di-De Yen
Academia Sinica
10:40
20m
Talk
Covering All the Bases: Type-based Verification of Test Input Generators
Distinguished Paper
PLDI Research Papers
Zhe Zhou
Purdue University
,
Ashish Mishra
Purdue University
,
Benjamin Delaware
Purdue University
,
Suresh Jagannathan
Purdue University
Pre-print
13:40 - 15:40
PLDI: Verification & Proof Assistants
PLDI Research Papers
at
Royal
13:40
20m
Talk
CQS: A Formally-Verified Framework for Fair Abortable Synchronization in Kotlin Coroutines
PLDI Research Papers
Nikita Koval
JetBrains
,
Dmitry Khalanskiy
JetBrains
,
Dan Alistarh
IST Austria
14:00
20m
Talk
PureCake: A Verified Compiler for a Lazy Functional Language
PLDI Research Papers
Hrutvik Kanabar
University of Kent
,
Samuel Vivien
École Normale Supérieure, PSL & Chalmers University of Technology Sweden
,
Oskar Abrahamsson
Chalmers University of Technology, Sweden
,
Magnus O. Myreen
Chalmers University of Technology
,
Michael Norrish
CSIRO’s Data61; Australian National University
,
Johannes Åman Pohjola
University of New South Wales, Australia
,
Riccardo Zanetti
Chalmers University of Technology, Sweden
Pre-print
14:20
20m
Talk
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
PLDI Research Papers
Xiaojia Rao
Imperial College
,
Aina Linn Georges
Aarhus University
,
Maxime Legoupil
Aarhus University
,
Conrad Watt
University of Cambridge
,
Jean Pichon-Pharabod
Aarhus University
,
Philippa Gardner
Imperial College London
,
Lars Birkedal
Aarhus University
14:40
20m
Talk
WasmRef-Isabelle: a Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly
PLDI Research Papers
Conrad Watt
University of Cambridge
,
Maja Trela
University of Cambridge
,
Peter Lammich
The University of Manchester
,
Florian Märkl
15:00
20m
Talk
Merging Inductive Relations
PLDI Research Papers
Jacob Prinz
University of Maryland, College Park
,
Leonidas Lampropoulos
University of Maryland, College Park
15:20
20m
Talk
Cakes that Bake Cakes: Dynamic Computation in CakeML
PLDI Research Papers
Thomas Sewell
University of Cambridge
,
Magnus O. Myreen
Chalmers University of Technology
,
Yong Kiam Tan
None
,
Ramana Kumar
None
,
Alexander Mihajlovic
Chalmers University of Technology
,
Oskar Abrahamsson
Chalmers University of Technology
,
Scott Owens
University of Kent, UK
16:00 - 18:00
PLDI: Machine Learning
PLDI Research Papers
at
Royal
16:00
20m
Talk
Scallop: A Language for Neurosymbolic Programming
PLDI Research Papers
Ziyang Li
UPenn
,
Jiani Huang
UPenn
,
Mayur Naik
University of Pennsylvania
16:20
20m
Talk
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
PLDI Research Papers
Mark Niklas Müller
ETH Zurich
,
Marc Fischer
ETH Zurich
,
Robin Staab
ETH Zurich
,
Martin Vechev
ETH Zurich
16:40
20m
Talk
Register Tiling for Unstructured Sparsity in Neural Network Inference
PLDI Research Papers
Lucas Wilkinson
University of Toronto
,
Kazem Cheshmi
McMaster University
,
Maryam Mehri Dehnavi
University of Toronto
17:00
20m
Talk
Architecture-Preserving Provable Repair of Deep Neural Networks
PLDI Research Papers
Zhe Tao
,
Stephanie Nawas
University of California, Davis
,
Jacqueline Mitchell
University of California, Davis
,
Aditya V. Thakur
University of California at Davis
Pre-print
17:20
20m
Talk
Incremental Verification of Neural Networks
PLDI Research Papers
Shubham Ugare
University of Illinois at Urbana-Champaign
,
Debangshu Banerjee
UIUC
,
Sasa Misailovic
University of Illinois at Urbana-Champaign
,
Gagandeep Singh
University of Illinois at Urbana-Champaign
17:40
20m
Talk
Programming Large Language Models
PLDI Research Papers
Luca Beurer-Kellner
ETH Zurich
,
Marc Fischer
ETH Zurich
,
Martin Vechev
ETH Zurich
19:30 - 21:30
SRC: PLDI / ISCA Junior Student Mixer
SRC
at
Royal
19:30
2h
Dinner
PLDI / ISCA Junior Student Mixer
Social
SRC
Tue 20 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 11:00
PLDI: Synthesis
PLDI Research Papers
at
Royal
09:00
20m
Talk
Trace-Guided Inductive Synthesis of Recursive Functional Programs
Distinguished Paper
PLDI Research Papers
Yongwei Yuan
Purdue University
,
Arjun Radhakrishna
Microsoft
,
Roopsha Samanta
Purdue University
09:20
20m
Talk
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
PLDI Research Papers
Yongho Yoon
Seoul National University
,
Woosuk Lee
Hanyang University
,
Kwangkeun Yi
Seoul National University
09:40
20m
Talk
ImageEye: Batch Image Processing using Program Synthesis
PLDI Research Papers
Celeste Barnaby
University of Texas at Austin
,
Qiaochu Chen
University of Texas at Austin
,
Roopsha Samanta
Purdue University
,
Işil Dillig
University of Texas at Austin
10:00
20m
Talk
One Pixel Adversarial Attacks via Sketched Programs
PLDI Research Papers
Tom Yuviler
Technion
,
Dana Drachsler Cohen
Technion
10:20
20m
Talk
Absynthe: Abstract Interpretation-Guided Synthesis
PLDI Research Papers
Sankha Narayan Guria
University of Maryland
,
Jeffrey S. Foster
Tufts University
,
David Van Horn
University of Maryland
Pre-print
10:40
20m
Talk
Conflict-Driven Synthesis for Layout Engines
PLDI Research Papers
Junrui Liu
University of California, Santa Barbara
,
Yanju Chen
University of California at Santa Barbara
,
Eric Atkinson
MIT
,
Yu Feng
University of California at Santa Barbara
,
Rastislav Bodík
Google Research, Brain Team
13:40 - 15:40
PLDI: Probabilistic Analyses
PLDI Research Papers
at
Royal
13:40
20m
Talk
Lilac: a Modal Separation Logic for Conditional Probability
PLDI Research Papers
John Li
Northeastern University
,
Amal Ahmed
Northeastern University, USA
,
Steven Holtzen
Northeastern University
Pre-print
14:00
20m
Talk
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning
PLDI Research Papers
Alexander Bagnall
Ohio University
,
Gordon Stewart
Bedrock Systems
,
Anindya Banerjee
IMDEA Software Institute
14:20
20m
Talk
Verified Density Compilation for a Probabilistic Programming Language
PLDI Research Papers
Joseph Tassarotti
NYU
,
Jean-Baptiste Tristan
Amazon Web Services
14:40
20m
Talk
Probabilistic Programming with Stochastic Probabilities
PLDI Research Papers
Alexander K. Lew
Massachusetts Institute of Technology
,
Matin Ghavami
Massachusetts Institute of Technology
,
Martin Rinard
MIT
,
Vikash K. Mansinghka
Massachusetts Institute of Technology
15:00
20m
Talk
Automated Expected Value Analysis of Recursive Programs
PLDI Research Papers
Martin Avanzini
Inria
,
Georg Moser
University of Innsbruck
,
Michael Schaper
Build Informed
15:20
20m
Talk
Synthesizing Quantum-Circuit Optimizers
PLDI Research Papers
Amanda Xu
University of Wisconsin-Madison
,
Abtin Molavi
University of Wisconsin-Madison
,
Lauren Pick
University of Wisconsin-Madison and University of California, Berkeley
,
Swamit Tannu
University of Wisconsin-Madison
,
Aws Albarghouthi
University of Wisconsin-Madison
Pre-print
17:15 - 18:15
SIGPLAN: Business Meeting
SIGPLAN
at
Royal
17:15
60m
Meeting
SIGPLAN Business Meeting
SIGPLAN
Wed 21 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 11:00
PLDI: Testing & Verification
PLDI Research Papers
at
Royal
09:00
20m
Talk
Mostly-Automated Proof Repair for Verified Libraries
Distinguished Paper
PLDI Research Papers
Kiran Gopinathan
National University of Singapore
,
Mayank Keoliya
National University of Singapore
,
Ilya Sergey
National University of Singapore
DOI
Pre-print
09:20
20m
Talk
Proving and Disproving Equivalence of Functional Programming Assignments
PLDI Research Papers
Dragana Milovancevic
EPFL
,
Viktor Kunčak
EPFL, Switzerland
09:40
20m
Talk
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
PLDI Research Papers
Jihyeok Park
Korea University
,
Dongjun Youn
KAIST
,
Kanguk Lee
KAIST
,
Sukyoung Ryu
KAIST
DOI
Pre-print
10:00
20m
Talk
Psym: Efficient Symbolic Exploration of Distributed Systems
PLDI Research Papers
Lauren Pick
University of Wisconsin-Madison and University of California, Berkeley
,
Ankush Desai
Amazon Web Services
,
Aarti Gupta
Princeton University
10:20
20m
Talk
Modular Control Plane Verification via Temporal Invariants
PLDI Research Papers
Tim Alberdingk Thijm
Princeton University
,
Ryan Beckett
Microsoft Research, USA
,
Aarti Gupta
Princeton University
,
David Walker
Princeton University
10:40
20m
Talk
Fair Operational Semantics
PLDI Research Papers
Dongjae Lee
Seoul National University
,
Minki Cho
Seoul National University
,
Jinwoo Kim
Seoul National University
,
Soonwon Moon
Inha University
,
Youngju Song
MPI-SWS
,
Chung-Kil Hur
Seoul National University
13:40 - 15:40
PLDI: Types
PLDI Research Papers
at
Royal
13:40
20m
Talk
Extensible Metatheory Mechanization via Family Polymorphism
Distinguished Paper
PLDI Research Papers
Ende Jin
University of Waterloo
,
Nada Amin
Harvard University
,
Yizhou Zhang
University of Waterloo
14:00
20m
Talk
Defunctionalization with Dependent Types
PLDI Research Papers
Yulong Huang
University of Cambridge
,
Jeremy Yallop
University of Cambridge
DOI
Pre-print
14:20
20m
Talk
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
PLDI Research Papers
Martin Elsman
University of Copenhagen, Denmark
14:40
20m
Talk
Flux: Liquid Types for Rust
PLDI Research Papers
Nico Lehmann
University of California, San Diego
,
Adam Geller
Computer Science, University of British Columbia
,
Niki Vazou
IMDEA Software Institute
,
Ranjit Jhala
University of California at San Diego
15:00
20m
Talk
Leveraging Rust Types for Program Synthesis
PLDI Research Papers
Jonas Fiala
ETH Zürich
,
Shachar Itzhaky
Technion
,
Peter Müller
ETH Zurich
,
Nadia Polikarpova
University of California at San Diego
,
Ilya Sergey
National University of Singapore
DOI
Pre-print
15:20
20m
Talk
Parameterized Algebraic Protocols
PLDI Research Papers
Andreia Mordido
LASIGE, University of Lisbon
,
Janek Spaderna
University of Freiburg, Germany
,
Peter Thiemann
University of Freiburg, Germany
,
Vasco T. Vasconcelos
LASIGE, University of Lisbon
16:00 - 18:00
PLDI: Hardware & Systems
PLDI Research Papers
at
Royal
16:00
20m
Talk
Loop Rerolling For Hardware Decompilation
PLDI Research Papers
Zachary Sisco
UC Santa Barbara
,
Jonathan Balkind
UC Santa Barbara
,
Timothy Sherwood
University of California at Santa Barbara
,
Ben Hardekopf
University of California at Santa Barbara
16:20
20m
Talk
Memento: A Framework for Detectable Recoverability in Persistent Memory
PLDI Research Papers
Kyeongmin Cho
KAIST
,
Seungmin Jeon
KAIST
,
Azalea Raad
Imperial College London
,
Jeehoon Kang
KAIST
DOI
16:40
20m
Talk
Cutting the Cake: A Language for Fair Division
PLDI Research Papers
Noah Bertram
Cornell University
,
Alex Levinson
Cornell University
,
Justin Hsu
Cornell University
17:00
20m
Talk
CuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
PLDI Research Papers
Mohamed Tarek Ibn Ziad
NVIDIA
,
Sana Damani
NVIDIA
,
Aamer Jaleel
NVIDIA
,
Stephen W. Keckler
NVIDIA
,
Mark Stephenson
NVIDIA
Pre-print
17:20
20m
Talk
A Lineage-Based Referencing DSL for Computer-Aided Design
PLDI Research Papers
Dan Cascaval
University of Washington
,
Rastislav Bodík
Google Research, Brain Team
,
Adriana Schulz
University of Washington
Pre-print
17:40
20m
Talk
A Type System for Safe Intermittent Computing
PLDI Research Papers
Milijana Surbatovich
Carnegie Mellon University
,
Naomi Spargo
Carnegie Mellon University
,
Limin Jia
Carnegie Mellon University
,
Brandon Lucia
Carnegie Mellon University, USA
Sun 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
18:00
30
19:00
30
Royal
PLDI Research Papers
PLDI: Opening Reception
Mon 19 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
Royal
PLDI Research Papers
PLDI: Welcome & Opening Session
PLDI Research Papers
PLDI: Verification & Proof Assistants
PLDI Research Papers
PLDI: Machine Learning
SRC
SRC: PLDI / ISCA Junior Student Mixer
Tue 20 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Royal
PLDI Research Papers
PLDI: Synthesis
PLDI Research Papers
PLDI: Probabilistic Analyses
SIGPLAN
SIGPLAN: Business Meeting
Wed 21 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Royal
PLDI Research Papers
PLDI: Testing & Verification
PLDI Research Papers
PLDI: Types
PLDI Research Papers
PLDI: Hardware & Systems
Sun 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
18:00
15
30
45
19:00
15
30
45
Royal
PLDI Research Papers
Social
PLDI Opening Reception
18:00 - 20:00
Mon 19 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Royal
PLDI Research Papers
Welcome to PLDI
09:00 - 09:20
PLDI Research Papers
Distinguished Paper
Mosaic: An Interoperable Compiler for Tensor Algebra
09:20 - 09:40
PLDI Research Papers
Distinguished Paper
CryptOpt: Verified Compilation with Randomized Program Search for Crypt ...
09:40 - 10:00
PLDI Research Papers
Distinguished Paper
Synthesizing MILP Constraints for Efficient and Robust Optimization
10:00 - 10:20
PLDI Research Papers
Distinguished Paper
An Automata-based Framework for Verification and Bug Hunting in Quantum ...
10:20 - 10:40
PLDI Research Papers
Distinguished Paper
Covering All the Bases: Type-based Verification of Test Input Generators
10:40 - 11:00
PLDI Research Papers
CQS: A Formally-Verified Framework for Fair Abortable Synchronization i ...
13:40 - 14:00
PLDI Research Papers
PureCake: A Verified Compiler for a Lazy Functional Language
14:00 - 14:20
PLDI Research Papers
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
14:20 - 14:40
PLDI Research Papers
WasmRef-Isabelle: a Verified Monadic Interpreter and Industrial Fuzzing ...
14:40 - 15:00
PLDI Research Papers
Merging Inductive Relations
15:00 - 15:20
PLDI Research Papers
Cakes that Bake Cakes: Dynamic Computation in CakeML
15:20 - 15:40
PLDI Research Papers
Scallop: A Language for Neurosymbolic Programming
16:00 - 16:20
PLDI Research Papers
Abstract Interpretation of Fixpoint Iterators with Applications to Neur ...
16:20 - 16:40
PLDI Research Papers
Register Tiling for Unstructured Sparsity in Neural Network Inference
16:40 - 17:00
PLDI Research Papers
Architecture-Preserving Provable Repair of Deep Neural Networks
17:00 - 17:20
PLDI Research Papers
Incremental Verification of Neural Networks
17:20 - 17:40
PLDI Research Papers
Programming Large Language Models
17:40 - 18:00
PLDI SRC
Social
PLDI / ISCA Junior Student Mixer
19:30 - 21:30
Tue 20 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
17:00
15
30
45
18:00
15
30
45
Royal
PLDI Research Papers
Distinguished Paper
Trace-Guided Inductive Synthesis of Recursive Functional Programs
09:00 - 09:20
PLDI Research Papers
Inductive Program Synthesis via Iterative Forward-Backward Abstract Int ...
09:20 - 09:40
PLDI Research Papers
ImageEye: Batch Image Processing using Program Synthesis
09:40 - 10:00
PLDI Research Papers
One Pixel Adversarial Attacks via Sketched Programs
10:00 - 10:20
PLDI Research Papers
Absynthe: Abstract Interpretation-Guided Synthesis
10:20 - 10:40
PLDI Research Papers
Conflict-Driven Synthesis for Layout Engines
10:40 - 11:00
PLDI Research Papers
Lilac: a Modal Separation Logic for Conditional Probability
13:40 - 14:00
PLDI Research Papers
Formally Verified Samplers From Probabilistic Programs With Loops and C ...
14:00 - 14:20
PLDI Research Papers
Verified Density Compilation for a Probabilistic Programming Language
14:20 - 14:40
PLDI Research Papers
Probabilistic Programming with Stochastic Probabilities
14:40 - 15:00
PLDI Research Papers
Automated Expected Value Analysis of Recursive Programs
15:00 - 15:20
PLDI Research Papers
Synthesizing Quantum-Circuit Optimizers
15:20 - 15:40
PLDI SIGPLAN
SIGPLAN Business Meeting
17:15 - 18:15
Wed 21 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
17:00
15
30
45
Royal
PLDI Research Papers
Distinguished Paper
Mostly-Automated Proof Repair for Verified Libraries
09:00 - 09:20
PLDI Research Papers
Proving and Disproving Equivalence of Functional Programming Assignments
09:20 - 09:40
PLDI Research Papers
Feature-Sensitive Coverage for Conformance Testing of Programming Langu ...
09:40 - 10:00
PLDI Research Papers
Psym: Efficient Symbolic Exploration of Distributed Systems
10:00 - 10:20
PLDI Research Papers
Modular Control Plane Verification via Temporal Invariants
10:20 - 10:40
PLDI Research Papers
Fair Operational Semantics
10:40 - 11:00
PLDI Research Papers
Distinguished Paper
Extensible Metatheory Mechanization via Family Polymorphism
13:40 - 14:00
PLDI Research Papers
Defunctionalization with Dependent Types
14:00 - 14:20
PLDI Research Papers
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
14:20 - 14:40
PLDI Research Papers
Flux: Liquid Types for Rust
14:40 - 15:00
PLDI Research Papers
Leveraging Rust Types for Program Synthesis
15:00 - 15:20
PLDI Research Papers
Parameterized Algebraic Protocols
15:20 - 15:40
PLDI Research Papers
Loop Rerolling For Hardware Decompilation
16:00 - 16:20
PLDI Research Papers
Memento: A Framework for Detectable Recoverability in Persistent Memory
16:20 - 16:40
PLDI Research Papers
Cutting the Cake: A Language for Fair Division
16:40 - 17:00
PLDI Research Papers
CuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violat ...
17:00 - 17:20
PLDI Research Papers
A Lineage-Based Referencing DSL for Computer-Aided Design
17:20 - 17:40
PLDI Research Papers
A Type System for Safe Intermittent Computing
17:40 - 18:00
x
Tue 30 May 06:50