Royal - ASA 2023

VenueOrlando World Center Marriott

Room nameRoyal

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

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

07:30 - 09:00	BreakfastPLDI Catering at Royal

07:30 90m Other		Breakfast PLDI Catering

12:30 - 14:00	LunchPLDI Catering at Royal

12:30 90m Lunch		Lunch PLDI Catering

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

07:30 - 09:00	BreakfastPLDI Catering at Royal

07:30 90m Other		Breakfast PLDI Catering

12:30 - 14:00	LunchPLDI Catering at Royal

12:30 90m Lunch		Lunch PLDI Catering

18:00 - 20:00	PLDI: Opening ReceptionPLDI Research Papers at Royal

18:00 2h Social Event		PLDI Opening ReceptionSocial PLDI Research Papers

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

09:00 - 11:00	PLDI: Welcome & Opening SessionPLDI Research Papers at Royal Chair(s): Nate Foster Cornell University #pldi-mon-0900-opening-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 AlgebraDistinguished Paper PLDI Research Papers Manya Bansal Stanford University, Olivia Hsu Stanford University, Kunle Olukotun Stanford University, Fredrik Kjolstad Stanford University DOI
09:40 20m Talk		CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic PrimitivesDistinguished 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 OptimizationDistinguished Paper PLDI Research Papers Jingbo Wang University of Southern California, Aarti Gupta Princeton University, Chao Wang University of Southern California DOI
10:20 20m Talk		An Automata-Based Framework for Verification and Bug Hunting in Quantum CircuitsDistinguished 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 DOI
10:40 20m Talk		Covering All the Bases: Type-Based Verification of Test Input GeneratorsDistinguished Paper PLDI Research Papers Zhe Zhou Purdue University, Ashish Mishra Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University DOI Pre-print

13:40 - 15:20	PLDI: Verification & Proof AssistantsPLDI Research Papers at Royal Chair(s): Adam Chlipala Massachusetts Institute of Technology #pldi-mon-1340-verification-royal

13:40 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 DOI Pre-print
14:00 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 DOI
14:20 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 DOI
14:40 20m Talk		Merging Inductive Relations PLDI Research Papers Jacob Prinz University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College Park DOI
15:00 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 DOI

16:00 - 18:00	PLDI: Machine LearningPLDI Research Papers at Royal Chair(s): Yaniv David Columbia University #pldi-mon-1600-ml-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 DOI
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 DOI
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 DOI
17:00 20m Talk		Architecture-Preserving Provable Repair of Deep Neural Networks PLDI Research Papers Zhe Tao University of California, Davis, Stephanie Nawas University of California, Davis, Jacqueline Mitchell University of California, Davis, Aditya V. Thakur University of California at Davis DOI 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 DOI
17:40 20m Talk		Prompting Is Programming: A Query Language for Large Language Models PLDI Research Papers Luca Beurer-Kellner ETH Zurich, Marc Fischer ETH Zurich, Martin Vechev ETH Zurich DOI

19:30 - 21:30	SRC: PLDI / ISCA Junior Student MixerPLDI SRC at Royal

19:30 2h Dinner		PLDI / ISCA Junior Student MixerSocial PLDI SRC

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

09:00 - 11:00	PLDI: SynthesisPLDI Research Papers at Royal Chair(s): Ilya Sergey National University of Singapore #pldi-tue-0900-synthesis-royal

09:00 20m Talk		Trace-Guided Inductive Synthesis of Recursive Functional ProgramsDistinguished Paper PLDI Research Papers Yongwei Yuan Purdue University, Arjun Radhakrishna Microsoft, Roopsha Samanta Purdue University DOI
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 DOI
09:40 20m Talk		ImageEye: Batch Image Processing using Program Synthesis PLDI Research Papers Celeste Barnaby University of Texas at Austin, Jocelyn (Qiaochu) Chen University of Texas at Austin, Roopsha Samanta Purdue University, Işıl Dillig University of Texas at Austin DOI
10:00 20m Talk		One Pixel Adversarial Attacks via Sketched Programs PLDI Research Papers Tom Yuviler Technion, Dana Drachsler Cohen Technion DOI
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 DOI 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 DOI

13:40 - 15:40	PLDI: Probabilistic AnalysesPLDI Research Papers at Royal Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign #pldi-tue-1340-probabilistic-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 DOI 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 DOI
14:20 20m Talk		Verified Density Compilation for a Probabilistic Programming Language PLDI Research Papers Joseph Tassarotti NYU, Jean-Baptiste Tristan Amazon Web Services DOI
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 DOI
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 DOI
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 DOI Pre-print

17:15 - 18:15	SIGPLAN: Business MeetingPLDI SIGPLAN at Royal

17:15 60m Meeting		SIGPLAN Business Meeting PLDI SIGPLAN

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

09:00 - 11:00	PLDI: Testing & VerificationPLDI Research Papers at Royal Chair(s): Yao Li Portland State University #pldi-wed-0900-testing-royal

09:00 20m Talk		Mostly Automated Proof Repair for Verified LibrariesDistinguished 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 DOI Pre-print
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 DOI
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 DOI
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 DOI

13:40 - 15:40	PLDI: TypesPLDI Research Papers at Royal Chair(s): Benjamin Delaware Purdue University #pldi-wed-1340-types-royal

13:40 20m Talk		Extensible Metatheory Mechanization via Family PolymorphismDistinguished Paper PLDI Research Papers Ende Jin University of Waterloo, Nada Amin Harvard University, Yizhou Zhang University of Waterloo DOI
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 DOI
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 DOI
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 DOI

16:00 - 18:00	PLDI: Hardware & SystemsPLDI Research Papers at Royal Chair(s): Zachary Tatlock University of Washington #pldi-wed-1600-hardware-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 DOI
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 DOI
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 DOI 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 DOI 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 DOI

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


Room	7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30
Royal							PLDI Catering Breakfast																																																												PLDI Catering Lunch

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


Room	7:00						30						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						17:00						30						18:00						30						19:00						30
Royal							PLDI Catering Breakfast																																																												PLDI Catering Lunch																																																																		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																																										PLDI 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																																											PLDI 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

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


Room	7:00			15			30			45			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
Royal							PLDI Catering Breakfast 07:30 - 09:00																																																												PLDI Catering Lunch 12:30 - 14:00

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


Room	7:00			15			30			45			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			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45
Royal							PLDI Catering Breakfast 07:30 - 09:00																																																												PLDI Catering Lunch 12:30 - 14:00																																																																		PLDI Research PapersSocial 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 PapersDistinguished Paper Mosaic: An Interoperable Compiler for Tensor Algebra 09:20 - 09:40				PLDI Research PapersDistinguished Paper CryptOpt: Verified Compilation with Randomized Program Search for Crypt ... 09:40 - 10:00				PLDI Research PapersDistinguished Paper Synthesizing MILP Constraints for Efficient and Robust Optimization 10:00 - 10:20				PLDI Research PapersDistinguished Paper An Automata-Based Framework for Verification and Bug Hunting in Quantum ... 10:20 - 10:40				PLDI Research PapersDistinguished Paper Covering All the Bases: Type-Based Verification of Test Input Generators 10:40 - 11:00																																				PLDI Research Papers PureCake: A Verified Compiler for a Lazy Functional Language 13:40 - 14:00				PLDI Research Papers Iris-Wasm: Robust and Modular Verification of WebAssembly Programs 14:00 - 14:20				PLDI Research Papers WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing ... 14:20 - 14:40				PLDI Research Papers Merging Inductive Relations 14:40 - 15:00				PLDI Research Papers Cakes That Bake Cakes: Dynamic Computation in CakeML 15:00 - 15:20												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 Prompting Is Programming: A Query Language for Large Language Models 17:40 - 18:00																						PLDI SRCSocial 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 PapersDistinguished 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 PapersDistinguished 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 PapersDistinguished 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

Room information: Royal

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

Sun 18 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

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

PLDI Catering

PLDI Catering

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

PLDI Catering

PLDI Catering

PLDI Research Papers

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI SRC

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

PLDI Research Papers

PLDI Research Papers

PLDI SIGPLAN

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

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

Sun 18 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

Tracks

Room information: Royal

Program Display Configuration

Sat 17 JunDisplayed time zone: Eastern Time (US & Canada) change

Sun 18 JunDisplayed time zone: Eastern Time (US & Canada) change

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

Sat 17 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI Catering

PLDI Catering

Sun 18 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI Catering

PLDI Catering

PLDI Research Papers

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI SRC

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

PLDI Research Papers

PLDI Research Papers

PLDI SIGPLAN

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Sat 17 JunDisplayed time zone: Eastern Time (US & Canada) change

Sun 18 JunDisplayed time zone: Eastern Time (US & Canada) change

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

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

Sun 18 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

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

Sun 18 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

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

Sun 18 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