Program - PLDI 2022

Detailed Table Column Timeline Session Timeline Detailed Timeline

Time Zone

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

Use conference time zone: (GMT-07:00) Pacific 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 13 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	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	20:00	15		30		45	21:00		15		30	45	22:00	15		30	45	23:00			15		30		45
Beach North																									PLDI social Lunch 12:00 - 13:00
Boardroom					MAPSvirtual Competitive Programming with AlphaCode 09:00 - 09:45								MAPSvirtual Improving Software Reliability using Machine Learning 10:30 - 11:15						MAPS Productivity Assessment of Neural Code Completion 11:15 - 11:30		MAPS Predictive Synthesis of API-Centric Code 11:30 - 11:45		MAPS From Perception to Programs: Regularize, Overparameterize, and Amortize 11:45 - 12:00								MAPSvirtual Can Transformers Code? 13:30 - 14:15					MAPSvirtual Syntax-Guided Program Reduction for Understanding Neural Code Intellige ... 14:15 - 14:30		MAPSvirtual A Systematic Evaluation of Large Language Models of Code 14:30 - 14:45			MAPS Poster Session 14:45 - 15:00				MAPS Unsupervised Program Synthesis: Hierarchy and Perception 15:30 - 16:15				MAPS ExeBench: An ML-scale dataset of executable C functions 16:15 - 16:30		MAPS Automatically Debugging AutoML Pipelines Using Maro: ML Automated Remed ... 16:30 - 16:45		MAPS A Graph Neural Network-based performance model for Deep Learning Applic ... 16:45 - 17:00																														MAPSvirtual Improving Software Reliability using Machine Learning 22:30 - 23:15				MAPS Productivity Assessment of Neural Code Completion 23:15 - 23:30			MAPS Predictive Synthesis of API-Centric Code 23:30 - 23:45		MAPS From Perception to Programs: Regularize, Overparameterize, and Amortize 23:45 - 00:00
Cockatoo													Commute Welcome Remarks 10:30 - 10:40	Commute Practical Smart Contract Sharding with Commutativity Analysis 10:40 - 11:10				Commute Discussion 11:10 - 11:20		Commute Commutativity reasoning for automated distributed coordination 11:20 - 11:50				Commute Discussion 11:50 - 12:00							Commute A Tree Clock Data Structure for Causal Orderings in Concurrent Executions 13:30 - 14:00			Commute Discussion 14:00 - 14:10	Commute Commutativity condition synthesis and language support for commute blocks 14:10 - 14:40					Commute Discussion 14:40 - 14:50		Commute Lightning: Servois2: An Extended Commutativity Condition Synthesizer 14:50 - 14:55			Commute Commutativity Reasoning in the Civl Verifier 15:30 - 16:00		Commute Discussion 16:00 - 16:10	Commute Commutativity in quantum computing 16:10 - 16:40				Commute Discussion 16:40 - 16:50		Commute Lightning-2 16:50 - 16:55
Kon-Tiki					PLMW Verified Trustworthy Software Specification 09:00 - 10:00								PLMW Mentoring Panel: Surviving Grad School 10:30 - 12:00																		PLMW Your Research and Everyone Else 13:30 - 15:00														PLMW How to Write a Technical Paper 15:30 - 17:00
Kon-Tiki Foyer	PLDI Registration 08:00 - 09:00									PLMWsocial PLTea 10:00 - 10:30
Macaw					ARRAY Multidimensional C++ 09:00 - 10:00								ARRAY Distributed parallel computing with Futhark 10:30 - 10:52			ARRAY Mech: An Array Programming Language for Robots (extended abstract) 10:52 - 11:15			ARRAY Probabilistic Array Programming on Galois Fields (extended abstract) 11:15 - 11:37			ARRAY Parallel Scan As a Multidimensional Array Problem 11:37 - 12:00									ARRAY Combinatory Logic and Combinators in Array Languages 13:30 - 13:52		ARRAYVirtual From Functional to Imperative: Combining Destination-Passing Style and ... 13:52 - 14:15						ARRAYVirtual Using Q-Learning to Select the Best Among Functionally Equivalent Imple ... 14:37 - 15:00																																ARRAY Distributed parallel computing with Futhark 22:30 - 22:52		ARRAY Mech: An Array Programming Language for Robots (extended abstract) 22:52 - 23:15			ARRAY Probabilistic Array Programming on Galois Fields (extended abstract) 23:15 - 23:37		ARRAY Parallel Scan As a Multidimensional Array Problem 23:37 - 00:00
Rousseau Center					PLDI Tutorials Making C Programs Safer with Checked C 09:00 - 10:00								PLDI Tutorials Making C Programs Safer with Checked C 10:30 - 12:00																		PLDI Tutorials Reasoning About and Discovering LLVM Optimizations 13:30 - 15:00														PLDI Tutorials Reasoning About and Discovering LLVM Optimizations 15:30 - 16:30																														PLDI Tutorials Making C Programs Safer with Checked C 21:00 - 22:00									PLDI Tutorials Making C Programs Safer with Checked C 22:30 - 00:00
Rousseau East					Infervirtual Three years of analyzing Ada code with Infer: a retrospective 09:00 - 09:40			Infer Q&A 1 09:40 - 09:50				Infervirtual Higher-order function specialization in Infer 10:20 - 11:00					Infer Q&A 2 11:00 - 11:10	Infervirtual InfERL: Scalable and extensible static analysis for Erlang 11:10 - 11:50						Infer Q&A 3 11:50 - 12:00							Infervirtual Finding Real Bugs in Big Programs with Incorrectness Logic 13:30 - 14:10				Infer Q&A 4 14:10 - 14:20		Infer HIPPODROME: Data Race Repair using Static Analysis Summaries 14:20 - 15:00						Infer Q&A 5 15:00 - 15:10		Infer Infer#’s journey to bring Infer to the .NET world 15:30 - 16:10			Infer Q&A 6 16:10 - 16:20		Infer Infer in the cloud: An Overview of Infer Usage via Sonatype Lift 16:20 - 16:40		Infer Q&A 7 16:40 - 16:45																															Infervirtual Higher-order function specialization in Infer 22:20 - 23:00			Infer Q&A 2 23:00 - 23:10		Infervirtual InfERL: Scalable and extensible static analysis for Erlang 23:10 - 23:50						Infer Q&A 3 23:50 - 00:00
Rousseau West					PLDI Tutorials Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded ... 09:00 - 10:00								PLDI Tutorials Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded ... 10:30 - 12:00																		PLDI Tutorials Filling the gap between the JavaScript language specification and tools ... 13:30 - 15:00														PLDI Tutorials Filling the gap between the JavaScript language specification and tools ... 15:30 - 16:30																														PLDI Tutorials Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded ... 21:00 - 22:00									PLDI Tutorials Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded ... 22:30 - 00:00
Toucan					PLDI Tutorials Build your own optimizer with egg! 09:00 - 10:00								PLDI Tutorials Build your own optimizer with egg! 10:30 - 12:00																																												PLDI Tutorials Build your own optimizer with egg! 21:00 - 22:00							PLDI Tutorials Build your own optimizer with egg! 22:30 - 00:00

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	1:00	15	30	45		2:00		15		30		45	3:00	15	30	45	4:00		15		30		45	5:00	15	30	45	6:00	15			30	45			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		20:00			15		30		45			21:00		15	30	45	22:00	15	30	45			23:00		15		30	45		0:00	15	30	45
Beach North																														PLDI social Lunch 12:00 - 13:00
Boardroom			MAPSvirtual Can Transformers Code? 01:30 - 02:15					MAPSvirtual Syntax-Guided Program Reduction for Understanding Neural Code Intellige ... 02:15 - 02:30		MAPSvirtual A Systematic Evaluation of Large Language Models of Code 02:30 - 02:45		MAPS Poster Session 02:45 - 03:00			MAPS Unsupervised Program Synthesis: Hierarchy and Perception 03:30 - 04:15				MAPS ExeBench: An ML-scale dataset of executable C functions 04:15 - 04:30		MAPS Automatically Debugging AutoML Pipelines Using Maro: ML Automated Remed ... 04:30 - 04:45		MAPS A Graph Neural Network-based performance model for Deep Learning Applic ... 04:45 - 05:00																											SOAP Program Analysis for the Optimization and Verification of (Ethereum) Sm ... 09:00 - 10:00									SOAP Abstract interpretation of Michelson smart-contracts 10:30 - 10:55				SOAP BinFPE: Accurate Floating-Point Exception Detection for GPU Applications 10:55 - 11:20				SOAPvirtual Towards an Implementation of Differential Dynamic Logic in PVS 11:20 - 11:45			SOAPvirtual Statically Detecting Data Leakages in Data Science Code 11:45 - 12:10													SOAP Static Analysis for Data Scientists 13:30 - 14:30								SOAP Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial ... 14:30 - 14:55					SOAP Using static analysis to scale security at Meta 15:30 - 16:30						SOAP ADA: A Tool for Visualizing The Architectural Overview of Open-Source R ... 16:30 - 16:55			SOAP Modeling Code Manipulation in JIT Compilers 16:55 - 17:20																											SOAP Program Analysis for the Optimization and Verification of (Ethereum) Sm ... 21:00 - 22:00							SOAP Abstract interpretation of Michelson smart-contracts 22:30 - 22:55			SOAP BinFPE: Accurate Floating-Point Exception Detection for GPU Applications 22:55 - 23:20				SOAPvirtual Towards an Implementation of Differential Dynamic Logic in PVS 23:20 - 23:45		SOAPvirtual Statically Detecting Data Leakages in Data Science Code 23:45 - 00:10
Cockatoo																														Commute Safety Proof Simplification Through Commutativity 10:30 - 11:00				Commute Discussion 11:00 - 11:10		Commute Commutativity and Approximate Computing 11:10 - 11:40		Commute Discussion 11:40 - 11:50	Commute Lightning: Extending Commutativity via Safe Abstraction 11:50 - 11:55														Commute Weakening Mazurkiewicz Traces 13:30 - 14:00			Commute Discussion 14:00 - 14:10	Commute Mergeable Replicated Datatypes 14:10 - 14:40		Commute Discussion 14:40 - 14:50	Commute Lightning-4 14:50 - 14:55							Commute Testing Distributed Protocols using Communication Closure 15:30 - 16:00				Commute Discussion 16:00 - 16:10	Commute Pretend synchrony: synchronous verification of asynchronous distributed ... 16:10 - 16:40			Commute Discussion 16:40 - 16:50	Commute Closing Remarks & Business Meeting 16:50 - 17:00
Kon-Tiki			PLMW Your Research and Everyone Else 01:30 - 03:00												PLMW How to Write a Technical Paper 03:30 - 05:00																																			PLMW A Research Mindset 09:00 - 10:00									PLMW Mentoring Panel: Post-graduate Career Paths 10:30 - 12:00																								PLMW Whose Life Are You Making Better 13:30 - 15:00													PLMW Mentoring Panel: Hot Topics in PL 15:30 - 17:00																																				PLMW A Research Mindset 21:00 - 22:00							PLMW Mentoring Panel: Post-graduate Career Paths 22:30 - 00:00
Kon-Tiki Foyer																														PLMWsocial PLTea 10:00 - 10:30
Macaw			ARRAY Combinatory Logic and Combinators in Array Languages 01:30 - 01:52		ARRAYVirtual From Functional to Imperative: Combining Destination-Passing Style and ... 01:52 - 02:15						ARRAYVirtual Using Q-Learning to Select the Best Among Functionally Equivalent Imple ... 02:37 - 03:00																																		ASAvirtual Black Box Static Analyses with Deep Learning 10:30 - 11:15						ASA Balancing the use of ML and Program Analysis for Bug finding 11:15 - 12:00																ASA Thinking Like a Developer? Comparing the Attention of Humans with Neura ... 13:30 - 14:15						ASA Program Synthesis, Program Semantics, and Large Language Models 14:15 - 15:00									ASAvirtual Automated Software Testing: Bridging The Gap With Deep Learning 15:30 - 16:15						ASA Precise Program Reasoning using Probabilistic Methods 16:15 - 17:00																																				ASAvirtual Black Box Static Analyses with Deep Learning 22:30 - 23:15							ASA Balancing the use of ML and Program Analysis for Bug finding 23:15 - 00:00
Rousseau Center			PLDI Tutorials Reasoning About and Discovering LLVM Optimizations 01:30 - 03:00												PLDI Tutorials Reasoning About and Discovering LLVM Optimizations 03:30 - 04:30																																			LCTES Domain-specific programming methodologies for domain-specific and emerg ... 09:00 - 10:00									LCTESVirtual RollBin: Reducing code-size via loop rerolling at binary level 10:30 - 10:50			LCTES Tighten Rust's Belt: Shrinking Embedded Rust Binaries 10:50 - 11:10			LCTES JAX Based Parallel Inference for Reactive Probabilistic Programming 11:10 - 11:30			LCTESVirtual Implicit State Machines 11:30 - 11:50			LCTES (WIP) Scalable Size Inliner for Mobile Applications 11:50 - 11:55												LCTES Optimizing Data Reshaping Operations in Functional IRs for High-Level S ... 13:30 - 13:50			LCTESVirtual Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensi ... 13:50 - 14:10			LCTESVirtual ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications 14:10 - 14:30		LCTESVirtual An Old Friend Is Better Than Two New Ones: Dual-Screen Android 14:30 - 14:50		LCTESVirtual (WIP) Cache-Coherent CLAM 14:50 - 14:55			LCTESVirtual Code Generation Criteria for Buffered Exposed Datapath Architectures fr ... 15:30 - 15:50		LCTES Trace-and-Brace (TAB): Bespoke Software Countermeasures against Soft Errors 15:50 - 16:10		LCTES Automated Kernel Fusion for GPU Based on Code Motion 16:10 - 16:30		LCTESVirtual TCPS: A Task and Cache-aware Partitioned Scheduler for Hard Real-time M ... 16:30 - 16:50		LCTES (WIP) A Memory Interference Analysis using a Formal Timing Analyzer 16:50 - 16:55																												LCTES Domain-specific programming methodologies for domain-specific and emerg ... 21:00 - 22:00							LCTESVirtual RollBin: Reducing code-size via loop rerolling at binary level 22:30 - 22:50		LCTES Tighten Rust's Belt: Shrinking Embedded Rust Binaries 22:50 - 23:10			LCTES JAX Based Parallel Inference for Reactive Probabilistic Programming 23:10 - 23:30			LCTESVirtual Implicit State Machines 23:30 - 23:50		LCTES (WIP) Scalable Size Inliner for Mobile Applications 23:50 - 23:55
Rousseau East			Infervirtual Finding Real Bugs in Big Programs with Incorrectness Logic 01:30 - 02:10				Infer Q&A 4 02:10 - 02:20		Infer HIPPODROME: Data Race Repair using Static Analysis Summaries 02:20 - 03:00				Infer Q&A 5 03:00 - 03:10		Infer Infer#’s journey to bring Infer to the .NET world 03:30 - 04:10			Infer Q&A 6 04:10 - 04:20		Infer Infer in the cloud: An Overview of Infer Usage via Sonatype Lift 04:20 - 04:40		Infer Q&A 7 04:40 - 04:45																																				ISMMvirtual Welcome from the Chairs and Conference Report 10:15 - 10:30	ISMMvirtual Industry panel: Memory management priorities for the next few years 10:30 - 11:30									ISMMvirtual Reconsidering OS Memory Optimizations in the Presence of Disaggregated ... 11:30 - 12:00				ISMMsocial Lunch 12:00 - 14:00															ISMMvirtual MemSweeper: Virtualizing Cluster Memory Management for High Memory Util ... 14:00 - 14:30				ISMMvirtual Replication-based Object Persistence by Reachability 14:30 - 15:00			ISMMvirtual Concurrent and Parallel Garbage Collection for Lightweight Threads on M ... 15:00 - 15:30		ISMMsocial Social break 15:30 - 16:00			ISMMvirtual We Live in Interesting Times 16:00 - 17:00							ISMMvirtual Closing Remarks 17:00 - 17:15																																ISMMvirtual Welcome from the Chairs and Conference Report 22:15 - 22:30	ISMMvirtual Industry panel: Memory management priorities for the next few years 22:30 - 23:30								ISMMvirtual Reconsidering OS Memory Optimizations in the Presence of Disaggregated ... 23:30 - 00:00
Rousseau West			PLDI Tutorials Filling the gap between the JavaScript language specification and tools ... 01:30 - 03:00												PLDI Tutorials Filling the gap between the JavaScript language specification and tools ... 03:30 - 04:30
Toucan																														EGRAPHS Welcome 09:00 - 09:05	EGRAPHS Sketch-Guided Equality Saturation 09:05 - 09:35				EGRAPHS Synthesizing Mathematical Identities with E-graphs 09:35 - 10:00						EGRAPHS Logging an Egg: Datalog on E-Graphs 10:30 - 10:45		EGRAPHS Chasing an egg 10:45 - 11:00		EGRAPHS ECTAs: E-Graphs Better (at Encoding) 11:00 - 11:15		EGRAPHSVirtual E-Graphs, VSAs, and Tree Automata: a Rosetta Stone 11:15 - 11:30		EGRAPHS Equality Saturation as a Tactic for Proof Assistants 11:30 - 11:45		EGRAPHS Towards Optimising Certified Programs by Proof Rewriting 11:45 - 12:00																EGRAPHS Quiche: A Python Implementation of E-Graphs 14:00 - 14:15		EGRAPHSVirtual Optimizing Large Integer Multiplier on FPGAs Using Equality Saturation 14:15 - 14:30		EGRAPHSVirtual Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs 14:30 - 14:45		EGRAPHS QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs 14:45 - 15:00					EGRAPHSVirtual On the Optimization of Equivalent Concurrent Computations 15:30 - 15:45		EGRAPHS Abstract Interpretation on E-Graphs 15:45 - 16:00		EGRAPHSVirtual Colored E-Graph: Supporting Multiple Equivalence Relations with Resourc ... 16:00 - 16:15		EGRAPHS Toward a Unified Framework for Program Optimization, Bug-Finding, and R ... 16:15 - 16:30																												EGRAPHS Welcome 21:00 - 21:05	EGRAPHS Sketch-Guided Equality Saturation 21:05 - 21:35			EGRAPHS Synthesizing Mathematical Identities with E-graphs 21:35 - 22:00					EGRAPHS Logging an Egg: Datalog on E-Graphs 22:30 - 22:45		EGRAPHS Chasing an egg 22:45 - 23:00			EGRAPHS ECTAs: E-Graphs Better (at Encoding) 23:00 - 23:15		EGRAPHSVirtual E-Graphs, VSAs, and Tree Automata: a Rosetta Stone 23:15 - 23:30		EGRAPHS Equality Saturation as a Tactic for Proof Assistants 23:30 - 23:45			EGRAPHS Towards Optimising Certified Programs by Proof Rewriting 23:45 - 00:00

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	0:00	15	30	45	1:00	15	30	45		2:00		15	30	45		3:00	15	30	45		4:00		15	30	45			5:00	15		30		45	6:00	15		30	45	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	20:00	15	30	45	21:00		15	30	45	22:00	15		30		45	23:00	15		30		45
Backyard Kitchen & Tap																														PLDI W@PLDIsocial W@PLDI Dinner 19:00 - 22:00
Beach North																														PLDI social Lunch 12:00 - 13:00																															PLDI SRC Control Logic Synthesis Using Formal ISA Specifications 17:30 - 19:00 Coupled Applicative Functors 17:30 - 19:00 Program Synthesis for Processor Development Using Formal Specifications 17:30 - 19:00 Path Alignment Automata are Probabilistic Couplings 17:30 - 19:00 Multi-Phase Invariant Synthesis 17:30 - 19:00 Finding Good Generators with Multi-Armed Bandits 17:30 - 19:00 Impacts of Range Reduction on Polynomial Approximation Efficiency 17:30 - 19:00 Automating NISQ Application Design with Meta Quantum Circuits with Cons ... 17:30 - 19:00 A Type System for Safe Intermittent Computing 17:30 - 19:00 PBUnit: A Live Programming Environment for Unit Testing 17:30 - 19:00 Visualization with Refinement Types 17:30 - 19:00 PLDI social PLDI 2022 Reception (sponsored by WhatsApp by Meta) 18:00 - 19:00
Boardroom							SOAP Static Analysis for Data Scientists 01:30 - 02:30						SOAP Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial ... 02:30 - 02:55					SOAP Using static analysis to scale security at Meta 03:30 - 04:30						SOAP ADA: A Tool for Visualizing The Architectural Overview of Open-Source R ... 04:30 - 04:55			SOAP Modeling Code Manipulation in JIT Compilers 04:55 - 05:20																												PLDI social PL Tea 10:10 - 10:40																													PLDI social PL Tea 14:50 - 15:30
Cockatoo																														PLDI SIGPLAN Track (ICFP 2020) TLC: Temporal Logic of Distributed Components 10:40 - 11:00		PLDI SIGPLAN Track (OOPSLA 2021) Durable functions: semantics for stateful serverless 11:00 - 11:20		PLDI SIGPLAN Track (OOPSLA 2021) ECROs: building global scale systems from sequential code 11:20 - 11:40		PLDI SIGPLAN Track (POPL 2022) Induction Duality: Primal-Dual Search for Invariants 11:40 - 12:00								PLDI SIGPLAN Track (POPL 2021) Petr4: Formal Foundations for P4 Data Planes 13:30 - 13:50		PLDI SIGPLAN Track (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types 13:50 - 14:10		PLDI SIGPLAN Track (POPL 2022) Dependently-Typed Data Plane Programming 14:10 - 14:30		PLDI SIGPLAN Track (POPL 2022) Safe, Modular Packet Pipeline Programming 14:30 - 14:50					PLDI SIGPLAN Track (PLDI 2020) Inductive Sequentialization of Asynchronous Programs 15:30 - 15:50			PLDI SIGPLAN Track (PLDI 2021) When Threads Meet Events: Efficient and Precise Static Race ... 15:50 - 16:10			PLDI SIGPLAN Track (POPL 2021) Optimal Prediction of Synchronization-Preserving Races 16:10 - 16:30		PLDI SIGPLAN Track (POPL 2022) Visibility Reasoning for Concurrent Snapshot Algorithms 16:30 - 16:50
Kon-Tiki							PLMW Whose Life Are You Making Better 01:30 - 03:00											PLMW Mentoring Panel: Hot Topics in PL 03:30 - 05:00																															PLDI Welcome to PLDI 2022 09:00 - 09:10	PLDI Getting Your Research Adopted 09:10 - 10:10									PLDI P4BID: Information Flow Control in P4 10:40 - 11:00			PLDI ANOSY: Approximated Knowledge Synthesis with Refinement Types for Decla ... 11:00 - 11:20			PLDI Hardening Attack Surfaces with Formally Proven Binary Format Parsers 11:20 - 11:40		PLDI Modular Information Flow Through Ownership 11:40 - 12:00									PLDI WebRobot: Web Robotic Process Automation using Interactive Programming- ... 13:30 - 13:50		PLDI Distinguished Paper Award Synthesizing Analytical SQL Queries from Computation Demonstration 13:50 - 14:10		PLDI Type-Directed Program Synthesis for RESTful APIs 14:10 - 14:30		PLDI Distinguished Paper Award Visualization Question Answering Using Introspective Program Synthesis 14:30 - 14:50						PLDI Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? 15:30 - 15:50		PLDI Recursion Synthesis with Unrealizability Witnesses 15:50 - 16:10		PLDI TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) 16:10 - 16:30		PLDI “Synthesizing Input Grammars”: A Replication Study 16:30 - 16:50		PLDI Response by authors of "Synthesizing Input Grammars" 16:50 - 16:55	PLDI Designing for ABI-Stable Software Evolution in the Swift Programming La ... 17:00 - 17:20		PLDI Meta Research and Opportunities 17:20 - 17:40															PLDI Welcome to PLDI 2022 21:00 - 21:10	PLDI Getting Your Research Adopted 21:10 - 22:10								PLDI P4BID: Information Flow Control in P4 22:40 - 23:00		PLDI ANOSY: Approximated Knowledge Synthesis with Refinement Types for Decla ... 23:00 - 23:20		PLDI Hardening Attack Surfaces with Formally Proven Binary Format Parsers 23:20 - 23:40		PLDI Modular Information Flow Through Ownership 23:40 - 00:00
Macaw							ASA Thinking Like a Developer? Comparing the Attention of Humans with Neura ... 01:30 - 02:15					ASA Program Synthesis, Program Semantics, and Large Language Models 02:15 - 03:00						ASAvirtual Automated Software Testing: Bridging The Gap With Deep Learning 03:30 - 04:15					ASA Precise Program Reasoning using Probabilistic Methods 04:15 - 05:00																																		PLDI SIGPLAN Track (OOPSLA 2020) Perfectly Parallel Fairness Certification of Neural Networks 10:40 - 11:00		PLDI SIGPLAN Track (PLDI 2020) OOElala : Order-Of-Evaluation based Alias Analysis for comp ... 11:00 - 11:20			PLDI SIGPLAN Track (POPL 2021) Simplifying Dependent Reductions with the Polyhedral Model 11:20 - 11:40			PLDI SIGPLAN Track (POPL 2021) The Fine-Grained and Parallel Complexity of Andersen's Poin ... 11:40 - 12:00									PLDI SIGPLAN Track (OOPSLA 2021) Reconciling Optimization with Secure Compilation 13:30 - 13:50		PLDI SIGPLAN Track (PLDI 2020) Constant-Time Foundations for the New Spectre Era 13:50 - 14:10		PLDI SIGPLAN Track (PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis ... 14:10 - 14:30		PLDI SIGPLAN Track (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptograp ... 14:30 - 14:50						PLDI SIGPLAN Track (OOPSLA 2021) FPL: fast Presburger arithmetic through transprecision 15:30 - 15:50		PLDI SIGPLAN Track (PLDI 2021) Provable Repair of Deep Neural Networks 15:50 - 16:10		PLDI SIGPLAN Track (POPL 2022) One Polynomial Approximation to Produce Correctly Rounded R ... 16:10 - 16:30		PLDI SIGPLAN Track (POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Re ... 16:30 - 16:50
PLTea (Virtual see event for Zoom)																														PLDI social PL Tea 10:00 - 10:30																																					PLDI social PL Tea 21:00 - 21:30
Rousseau Center							LCTES Optimizing Data Reshaping Operations in Functional IRs for High-Level S ... 01:30 - 01:50		LCTESVirtual Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensi ... 01:50 - 02:10		LCTESVirtual ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications 02:10 - 02:30		LCTESVirtual An Old Friend Is Better Than Two New Ones: Dual-Screen Android 02:30 - 02:50		LCTESVirtual (WIP) Cache-Coherent CLAM 02:50 - 02:55			LCTESVirtual Code Generation Criteria for Buffered Exposed Datapath Architectures fr ... 03:30 - 03:50		LCTES Trace-and-Brace (TAB): Bespoke Software Countermeasures against Soft Errors 03:50 - 04:10		LCTES Automated Kernel Fusion for GPU Based on Code Motion 04:10 - 04:30		LCTESVirtual TCPS: A Task and Cache-aware Partitioned Scheduler for Hard Real-time M ... 04:30 - 04:50		LCTES (WIP) A Memory Interference Analysis using a Formal Timing Analyzer 04:50 - 04:55
Rousseau East	ISMMsocial Lunch 00:00 - 02:00									ISMMvirtual MemSweeper: Virtualizing Cluster Memory Management for High Memory Util ... 02:00 - 02:30			ISMMvirtual Replication-based Object Persistence by Reachability 02:30 - 03:00			ISMMvirtual Concurrent and Parallel Garbage Collection for Lightweight Threads on M ... 03:00 - 03:30		ISMMsocial Social break 03:30 - 04:00			ISMMvirtual We Live in Interesting Times 04:00 - 05:00							ISMMvirtual Closing Remarks 05:00 - 05:15
Toucan										EGRAPHS Quiche: A Python Implementation of E-Graphs 02:00 - 02:15		EGRAPHSVirtual Optimizing Large Integer Multiplier on FPGAs Using Equality Saturation 02:15 - 02:30	EGRAPHSVirtual Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs 02:30 - 02:45	EGRAPHS QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs 02:45 - 03:00				EGRAPHSVirtual On the Optimization of Equivalent Concurrent Computations 03:30 - 03:45	EGRAPHS Abstract Interpretation on E-Graphs 03:45 - 04:00		EGRAPHSVirtual Colored E-Graph: Supporting Multiple Equivalence Relations with Resourc ... 04:00 - 04:15		EGRAPHS Toward a Unified Framework for Program Optimization, Bug-Finding, and R ... 04:15 - 04:30																																		PLDI Is it Time to Retire Manual Concurrent Memory Reclamation? 10:40 - 11:00		PLDI Distinguished Paper Award Low-Latency, High-Throughput Garbage Collection 11:00 - 11:20			PLDI Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disa ... 11:20 - 11:40			PLDI PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections 11:40 - 12:00									PLDI Distinguished Paper Award Finding Typing Compiler Bugs 13:30 - 13:50		PLDI IRDL: An IR Definition Language for SSA Compilers 13:50 - 14:10		PLDI Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency 14:10 - 14:30		PLDI Deoptless: Speculation with Dispatched On-Stack Replacement and Special ... 14:30 - 14:50						PLDI Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model 15:30 - 15:50		PLDI DISTAL: The Distributed Tensor Algebra Compiler 15:50 - 16:10		PLDI All you need is Superword-Level Parallelism: Systematic Control-Flow Ve ... 16:10 - 16:30		PLDI Warping Cache Simulation of Polyhedral Programs 16:30 - 16:50																											PLDI Is it Time to Retire Manual Concurrent Memory Reclamation? 22:40 - 23:00		PLDI Distinguished Paper Award Low-Latency, High-Throughput Garbage Collection 23:00 - 23:20		PLDI Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disa ... 23:20 - 23:40		PLDI PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections 23:40 - 00:00

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	1:00	15	30	45		2:00		15	30	45	3:00	15	30	45		4:00		15	30	45		5:00	15	30	45	6:00	15		30		45	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	20:00	15	30	45	21:00		15	30	45	22:00	15		30		45	23:00	15		30		45
Beach North																												PLDI social Lunch 12:00 - 13:00
Boardroom																												PLDI social PL Tea 10:10 - 10:40																											PLDI social PL Tea 14:50 - 15:30
Cockatoo																												PLDI SIGPLAN Track (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with ... 10:40 - 11:00		PLDI SIGPLAN Track (POPL 2021) egg: Fast and Extensible Equality Saturation 11:00 - 11:20		PLDI SIGPLAN Track (POPL 2022) Relational E-Matching 11:20 - 11:40		PLDI SIGPLAN Track (OOPSLA 2020) Just-in-Time Learning for Bottom-up Enumerative Synthesis 11:40 - 12:00									PLDI SIGPLAN Track (PLDI 2021) Phased Synthesis of Divide and Conquer Programs 13:30 - 13:50		PLDI SIGPLAN Track (OOPSLA 2021) LooPy: interactive program synthesis with control structures 13:50 - 14:10		PLDI SIGPLAN Track (OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Tran ... 14:10 - 14:30		PLDI SIGPLAN Track (PLDI 2021) Proof Repair Across Type Equivalences 14:30 - 14:50							PLDI SIGPLAN Track (OOPSLA 2020) A Model for Detecting Faults in Build Specifications 15:30 - 15:50			PLDI SIGPLAN Track (OOPSLA 2020) Unifying Execution of Imperative Generators and Declarati ... 15:50 - 16:10			PLDI SIGPLAN Track (PLDI 2021) Logical Bytecode Reduction 16:10 - 16:30		PLDI SIGPLAN Track (PLDI 2021) Quantum abstract interpretation 16:30 - 16:50
Kon-Tiki			PLDI WebRobot: Web Robotic Process Automation using Interactive Programming- ... 01:30 - 01:50		PLDI Distinguished Paper Award Synthesizing Analytical SQL Queries from Computation Demonstration 01:50 - 02:10		PLDI Type-Directed Program Synthesis for RESTful APIs 02:10 - 02:30		PLDI Distinguished Paper Award Visualization Question Answering Using Introspective Program Synthesis 02:30 - 02:50				PLDI Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? 03:30 - 03:50		PLDI Recursion Synthesis with Unrealizability Witnesses 03:50 - 04:10		PLDI TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) 04:10 - 04:30		PLDI “Synthesizing Input Grammars”: A Replication Study 04:30 - 04:50		PLDI Response by authors of "Synthesizing Input Grammars" 04:50 - 04:55																					PLDI The PLDI Song 09:00 - 09:10	PLDI Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need ... 09:10 - 10:10										PLDI Certified Mergeable Replicated Data Types 10:40 - 11:00		PLDI Hamband: RDMA Replicated Data Types 11:00 - 11:20			PLDI RunTime-Assisted Convergence in Replicated Data Types 11:20 - 11:40		PLDI Adore: Atomic Distributed Objects with Certified Reconfiguration 11:40 - 12:00											PLDI A Flexible Type System for Fearless Concurrency 13:30 - 13:50		PLDI A Study of Real-world Data Races in Golang 13:50 - 14:10		PLDI Checking Robustness to Weak Persistency Models 14:10 - 14:30		PLDI Sound Sequentialization for Concurrent Program Verification 14:30 - 14:50					PLDI A Typed Continuation-Passing Translation for Lexical Effect Handlers 15:30 - 15:50		PLDI Deep and Shallow Types for Gradual Languages 15:50 - 16:10		PLDI Distinguished Paper Award Kleene Algebra Modulo Theories: A Framework for Concrete KATs 16:10 - 16:30		PLDI Semantic Soundness for Language Interoperability 16:30 - 16:50																		PLDI The PLDI Song 21:00 - 21:10	PLDI Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need ... 21:10 - 22:10								PLDI Certified Mergeable Replicated Data Types 22:40 - 23:00		PLDI Hamband: RDMA Replicated Data Types 23:00 - 23:20		PLDI RunTime-Assisted Convergence in Replicated Data Types 23:20 - 23:40		PLDI Adore: Atomic Distributed Objects with Certified Reconfiguration 23:40 - 00:00
Macaw																												PLDI SIGPLAN Track (ICFP 2021) Formal Verification of a Concurrent Bounded Queue in a Weak ... 10:40 - 11:00		PLDI SIGPLAN Track (PLDI 2020) Zippy LL(1) Parsing with Derivatives 11:00 - 11:20		PLDI SIGPLAN Track (PLDI 2021) CoStar: A Verified ALL(*) Parser 11:20 - 11:40		PLDI SIGPLAN Track (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step- ... 11:40 - 12:00									PLDI SIGPLAN Track (ICFP 2020) Kinds Are Calling Conventions 13:30 - 13:50		PLDI SIGPLAN Track (OOPSLA 2021) Study of the subtyping machine of nominal subtyping with ... 13:50 - 14:10		PLDI SIGPLAN Track (POPL 2021) Fully Abstract from Static to Gradual 14:10 - 14:30		PLDI SIGPLAN Track (POPL 2021) On the Semantic Expressiveness of Recursive Types 14:30 - 14:50							PLDI SIGPLAN Track (PLDI 2020) Automatic Generation of Efficient Sparse Tensor Format Conv ... 15:30 - 15:50			PLDI SIGPLAN Track (PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is Mo ... 15:50 - 16:10			PLDI SIGPLAN Track (PLDI 2021) Mirror: Making Lock-Free Data Structures Persistent 16:10 - 16:30		PLDI SIGPLAN Track (POPL 2021) Provably Space Efficient Parallel Functional Programming 16:30 - 16:50
PLTea (Virtual see event for Zoom)									PLDI social PL Tea 02:30 - 03:00																														PLDI social PL Tea 21:00 - 21:30
Toucan			PLDI Distinguished Paper Award Finding Typing Compiler Bugs 01:30 - 01:50		PLDI IRDL: An IR Definition Language for SSA Compilers 01:50 - 02:10		PLDI Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency 02:10 - 02:30		PLDI Deoptless: Speculation with Dispatched On-Stack Replacement and Special ... 02:30 - 02:50				PLDI Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model 03:30 - 03:50		PLDI DISTAL: The Distributed Tensor Algebra Compiler 03:50 - 04:10		PLDI All you need is Superword-Level Parallelism: Systematic Control-Flow Ve ... 04:10 - 04:30		PLDI Warping Cache Simulation of Polyhedral Programs 04:30 - 04:50																																PLDI CycleQ: an efficient basis for cyclic equational reasoning 10:40 - 11:00		PLDI Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries 11:00 - 11:20		PLDI Abstract Interpretation Repair 11:20 - 11:40			PLDI Differential Cost Analysis with Simultaneous Potentials and Anti-potentials 11:40 - 12:00											PLDI Choosing Mathematical Function Implementations for Speed and Accuracy 13:30 - 13:50		PLDI Guaranteed bounds for posterior inference in universal probabilistic pr ... 13:50 - 14:10		PLDI Progressive Polynomial Approximations for Fast Correctly Rounded Math L ... 14:10 - 14:30		PLDI Karp: A Language for NP Reductions 14:30 - 14:50					PLDI Quartz: Superoptimization of Quantum Circuits 15:30 - 15:50		PLDI Giallar: Push-button Verification for the Qiskit Quantum Compiler 15:50 - 16:10		PLDI Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra 16:10 - 16:30		PLDI PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics 16:30 - 16:50																									PLDI CycleQ: an efficient basis for cyclic equational reasoning 22:40 - 23:00		PLDI Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries 23:00 - 23:20		PLDI Abstract Interpretation Repair 23:20 - 23:40		PLDI Differential Cost Analysis with Simultaneous Potentials and Anti-potentials 23:40 - 00:00

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	1:00	15	30	45		2:00		15	30	45	3:00	15	30	45		4:00		15	30	45	5:00	15	30	45	6:00	15		30		45	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	20:00	15	30	45	21:00	15	30	45	22:00	15	30		45	23:00	15		30		45
Beach North																											PLDI social Lunch 12:00 - 13:00
Boardroom																											PLDI social PL Tea 10:10 - 10:40																											PLDI social PL Tea 14:50 - 15:30
Cockatoo																											PLDI SIGPLAN Track (OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs 10:40 - 11:00		PLDI SIGPLAN Track (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity 11:00 - 11:20		PLDI SIGPLAN Track (PLDI 2021) On Probabilistic Termination of Functional Programs with Co ... 11:20 - 11:40		PLDI SIGPLAN Track (POPL 2021) Paradoxes of probabilistic programming 11:40 - 12:00									PLDI SIGPLAN Track (POPL 2022) Twist: Sound Reasoning for Purity and Entanglement in Quant ... 13:30 - 13:50		PLDI SIGPLAN Track (ICFP 2020) Compiling effect handlers in capability-passing style 13:50 - 14:10		PLDI SIGPLAN Track (POPL 2021) Intensional Datatype Refinement 14:10 - 14:30		PLDI SIGPLAN Track (POPL 2021) A Verified Optimizer for Quantum Circuits 14:30 - 14:50							PLDI SIGPLAN Track (ICFP 2020) Achieving high-performance the functional way: a functional ... 15:30 - 15:50			PLDI SIGPLAN Track (PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synth ... 15:50 - 16:10			PLDI SIGPLAN Track (ICFP 2021) Grafs: Declarative Graph Analytics 16:10 - 16:30		PLDI SIGPLAN Track (POPL 2022) Verified Tensor-Program Optimization Via High-level Schedul ... 16:30 - 16:50
Kon-Tiki			PLDI A Flexible Type System for Fearless Concurrency 01:30 - 01:50		PLDI A Study of Real-world Data Races in Golang 01:50 - 02:10		PLDI Checking Robustness to Weak Persistency Models 02:10 - 02:30		PLDI Sound Sequentialization for Concurrent Program Verification 02:30 - 02:50				PLDI A Typed Continuation-Passing Translation for Lexical Effect Handlers 03:30 - 03:50		PLDI Deep and Shallow Types for Gradual Languages 03:50 - 04:10		PLDI Distinguished Paper Award Kleene Algebra Modulo Theories: A Framework for Concrete KATs 04:10 - 04:30		PLDI Semantic Soundness for Language Interoperability 04:30 - 04:50																						PLDI Business Meeting 09:00 - 10:00											PLDI Bind the Gap: Compiling Real Software to Hardware FFT Accelerators 10:40 - 11:00		PLDI Exocompilation for Productive Programming of Hardware Accelerators 11:00 - 11:20			PLDI PDL: A High-Level Hardware Design Language for Pipelined Processors 11:20 - 11:40		PLDI WARio: Efficient Code Generation for Intermittent Computing 11:40 - 12:00											PLDI Compass: Strong and Compositional Library Specifications in Relaxed Mem ... 13:30 - 13:50		PLDI Diaframe: Automated Verification of Fine-Grained Concurrent Programs in ... 13:50 - 14:10		PLDI Islaris: Verification of Machine Code Against Authoritative ISA Semantics 14:10 - 14:30		PLDI Distinguished Paper Award RustHornBelt: A Semantic Foundation for Functional Verification of Rust ... 14:30 - 14:50					PLDI Relational Compilation for Performance-Critical Applications 15:30 - 15:50		PLDI Formally Verified Lifting of C-compiled x86-64 Binaries 15:50 - 16:10		PLDI Leapfrog: Certified Equivalence for Protocol Parsers 16:10 - 16:30		PLDI Computing Correctly with Inductive Relations 16:30 - 16:50																		PLDI Business Meeting 21:00 - 22:00							PLDI Bind the Gap: Compiling Real Software to Hardware FFT Accelerators 22:40 - 23:00		PLDI Exocompilation for Productive Programming of Hardware Accelerators 23:00 - 23:20		PLDI PDL: A High-Level Hardware Design Language for Pipelined Processors 23:20 - 23:40		PLDI WARio: Efficient Code Generation for Intermittent Computing 23:40 - 00:00
Macaw																											PLDI SIGPLAN Track (OOPSLA 2020) Counterexample-Guided Correlation Algorithm for Translati ... 10:40 - 11:00		PLDI SIGPLAN Track (OOPSLA 2021) Formal verification of high-level synthesis 11:00 - 11:20		PLDI SIGPLAN Track (OOPSLA 2021) Well-typed programs can go wrong: a study of typing-relat ... 11:20 - 11:40		PLDI SIGPLAN Track (POPL 2021) Formally Verified Speculation and Deoptimization in a JIT C ... 11:40 - 12:00									PLDI SIGPLAN Track (OOPSLA 2020) Automatic and Efficient Variability-Aware Lifting of Func ... 13:30 - 13:50		PLDI SIGPLAN Track (OOPSLA 2021) Safer at Any Speed: Automatic Context-Aware Safety Enhanc ... 13:50 - 14:10		PLDI SIGPLAN Track (OOPSLA 2021) The semantics of shared memory in Intel CPU/FPGA systems 14:10 - 14:30		PLDI SIGPLAN Track (PLDI 2020) Efficient Handling of String-Number Conversion 14:30 - 14:50							PLDI SIGPLAN Track (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinement ... 15:30 - 15:50			PLDI SIGPLAN Track (PLDI 2021) RefinedC: Automating the Foundational Verification of C Co ... 15:50 - 16:10			PLDI SIGPLAN Track (POPL 2021) Data Flow Refinement Type Inference 16:10 - 16:30		PLDI SIGPLAN Track (PLDI 2021) RbSyn: type- and effect-guided program synthesis 16:30 - 16:50
PLTea (Virtual see event for Zoom)									PLDI social PL Tea 02:30 - 03:00																													PLDI social PL Tea 21:00 - 21:30
Toucan			PLDI Choosing Mathematical Function Implementations for Speed and Accuracy 01:30 - 01:50		PLDI Guaranteed bounds for posterior inference in universal probabilistic pr ... 01:50 - 02:10		PLDI Progressive Polynomial Approximations for Fast Correctly Rounded Math L ... 02:10 - 02:30		PLDI Karp: A Language for NP Reductions 02:30 - 02:50				PLDI Quartz: Superoptimization of Quantum Circuits 03:30 - 03:50		PLDI Giallar: Push-button Verification for the Qiskit Quantum Compiler 03:50 - 04:10		PLDI Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra 04:10 - 04:30		PLDI PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics 04:30 - 04:50																															PLDI virtual Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching 10:40 - 11:00																		PLDI virtual Efficient Approximations for Cache-conscious Data Placement 13:30 - 13:50		PLDI virtual FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular T ... 13:50 - 14:10		PLDI virtual Lasagne: A Static Binary Translator for Weak Memory Model Architectures 14:10 - 14:30		PLDI virtual Verifying Optimizations of Concurrent Programs in the Promising Semantics 14:30 - 14:50					PLDI virtual Interpreter-guided Differential JIT Compiler Unit Testing 15:30 - 15:50		PLDI virtual Landmarks and Regions: A Robust Approach to Data Extraction 15:50 - 16:10		PLDI virtual Odin: On-Demand Instrumentation with On-the-Fly Recompilation 16:10 - 16:30		PLDI virtual Quickstrom: Property-based acceptance testing with LTL specifications 16:30 - 16:50																								PLDI virtual Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching 22:40 - 23:00

Sat 18 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	1:00	15	30	45		2:00		15	30	45	3:00	15	30	45		4:00		15	30	45
Kon-Tiki			PLDI Compass: Strong and Compositional Library Specifications in Relaxed Mem ... 01:30 - 01:50		PLDI Diaframe: Automated Verification of Fine-Grained Concurrent Programs in ... 01:50 - 02:10		PLDI Islaris: Verification of Machine Code Against Authoritative ISA Semantics 02:10 - 02:30		PLDI Distinguished Paper Award RustHornBelt: A Semantic Foundation for Functional Verification of Rust ... 02:30 - 02:50				PLDI Relational Compilation for Performance-Critical Applications 03:30 - 03:50		PLDI Formally Verified Lifting of C-compiled x86-64 Binaries 03:50 - 04:10		PLDI Leapfrog: Certified Equivalence for Protocol Parsers 04:10 - 04:30		PLDI Computing Correctly with Inductive Relations 04:30 - 04:50
PLTea (Virtual see event for Zoom)									PLDI social PL Tea 02:30 - 03:00
Toucan			PLDI virtual Efficient Approximations for Cache-conscious Data Placement 01:30 - 01:50		PLDI virtual FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular T ... 01:50 - 02:10		PLDI virtual Lasagne: A Static Binary Translator for Weak Memory Model Architectures 02:10 - 02:30		PLDI virtual Verifying Optimizations of Concurrent Programs in the Promising Semantics 02:30 - 02:50				PLDI virtual Interpreter-guided Differential JIT Compiler Unit Testing 03:30 - 03:50		PLDI virtual Landmarks and Regions: A Robust Approach to Data Extraction 03:50 - 04:10		PLDI virtual Odin: On-Demand Instrumentation with On-the-Fly Recompilation 04:10 - 04:30		PLDI virtual Quickstrom: Property-based acceptance testing with LTL specifications 04:30 - 04:50

PLDI 2022 Program

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

Sat 18 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

PLDI 2022 Program

Switch Program View

Program Display Configuration

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change

Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change

Sat 18 JunDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

Sat 18 Jun
Displayed time zone: Pacific Time (US & Canada) change