Program - PLDI 2021

Detailed Table Session Timeline Detailed Timeline

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

Sun 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			19:00			15			30			45			20:00			15			30			45
HOPL	HOPL IV Papers Welcome to HOPL IV Conference 09:00 - 09:15			HOPL IV Papers Myths and Mythconceptions: What does it mean to be a programming langua ... 09:15 - 10:15																		HOPL IV Papers History of Coarrays and SPMD Parallelism in Fortran 10:45 - 11:45																																	HOPL IV Papers A History of MATLAB 13:30 - 14:45																					HOPL IV Papers S, R and Data Science. 15:15 - 16:15																		HOPL IV Papers LabVIEW 16:45 - 17:45																		HOPL IV Papers The Origins of Objective-C at PPI/Stepstone and its Evolution at NeXT 18:15 - 19:15																		HOPL IV Papers JavaScript: The First 20 Years 19:45 - 21:00

Mon 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	18:00	15		30	45		19:00	15	30	45	20:00	15	30	45
ARRAY									ARRAY Welcome and opening 10:30 - 10:45		ARRAY Towards size-dependent types for array programming 10:45 - 11:15			ARRAY Padding in the Mathematics of Arrays 11:15 - 11:45									ARRAY Keynote: Tilting at Windmills with the Humble Array 13:30 - 14:45										ARRAY Array Languages Make Neural Networks Fast 15:15 - 15:45		ARRAY Acceleration of Lattice Models for Pricing Portfolios of Fixed-Income D ... 15:45 - 16:15									ARRAY Improving the Performance of DGEMM with MoA and Cache-Blocking 18:00 - 18:25		ARRAY Nested Object Support in a Structure-of-Arrays Dynamic Objector Allocator 18:25 - 18:50			ARRAY Data Layouts are Important (Extended Abstract) 18:50 - 19:15
HOPL	HOPL IV Papers History of Logo 09:00 - 10:15										HOPL IV Papers A history of the Oz multiparadigm language 10:45 - 11:45												HOPL IV Papers Thriving in a crowded and changing world: C++ 2006-2020 13:30 - 14:45										HOPL IV Papers Origins of the D Programming Language 15:15 - 16:15						HOPL IV Papers A History of Clojure 16:45 - 17:45						HOPL IV Papers programmingLanguage as Language; 18:15 - 19:15								HOPL IV Papers The Evolution of Smalltalk from Smalltalk-72 through Squeak 19:45 - 21:00
Infer Practitioners	Infer Practitioners Journey to null safety for Java at Facebook. An experience report. 09:00 - 09:40			Infer Practitioners Q&A 1 09:40 - 09:55		Infer Practitioners Classifying and Prioritizing Facebook Infer's Warnings 09:55 - 10:35				Infer Practitioners Q&A 2 10:35 - 10:50		Infer Practitioners Compositional checking of safety temporal properties 10:50 - 11:30			Infer Practitioners Q&A 3 11:30 - 11:45								Infer Practitioners Differential Cost Analysis with Infer and Possible Extensions for Concr ... 13:30 - 14:10			Infer Practitioners Q&A 4 14:10 - 14:25		Infer Practitioners Interactive Static Performance Analysis with Infer in the IDE 14:25 - 15:05				Infer Practitioners Q&A 5 15:05 - 15:20
MAPS											MAPS Opening Remarks 10:45 - 11:00		MAPS Automated Test Generation: A Journey from Symbolic Execution to Smart F ... 11:00 - 12:00										MAPS Generating Bug-Fixes Using Pretrained Transformers 13:30 - 14:00		MAPS Learning to Make Compiler Optimizations More Effective 14:00 - 14:30								MAPS Engineering Uncertain Computations 15:15 - 16:15						MAPS Machine Learning for Autotuning Production Machine Learning Compilers 16:45 - 17:45				MAPS Pure, Low-Level Tensor Program Rewriting via Access Patterns (Represent ... 17:45 - 18:15		MAPS ControlFlag: A Self-supervised Idiosyncratic PatternDetection System fo ... 18:15 - 18:45			MAPS Predictive Data Locality Optimization for Higher-Order Tensor Computations 18:45 - 19:15					MAPS Interactively Exploring Code Using Query-by-Example 19:45 - 20:45				MAPS Closing remarks 20:45 - 21:00
PLMW	PLMW@PLDI Small-group Mentoring Meetings 1 09:00 - 10:15										PLMW@PLDI Grad School: A Survival Guide 10:45 - 11:45												PLMW@PLDI Panel on Grad School 13:30 - 14:45										PLMW@PLDI Reasoning Under Uncertainty in SMT Solving, Research, and Life 15:15 - 16:15											PLMW@PLDI An Overview of the Stoke Project 18:00 - 19:15									PLMW@PLDI Social Hangout 1 19:45 - 21:00
Tutorials	PLDI Tutorials IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP C 09:00 - 11:45

Tue 22 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
HOPL	HOPL IV Papers APL Since 1978 09:00 - 10:15											HOPL IV Papers Verilog HDL and its ancestors and descendants 10:45 - 11:45															HOPL IV Papers The History of Standard ML 13:30 - 14:45											HOPL IV Papers Evolution of Emacs Lisp 15:15 - 16:15										HOPL IV Papers The Early History of F# 16:45 - 17:45						HOPL IV Papers A history of the Groovy programming language 18:15 - 19:15										HOPL IV Papers Hygienic Macro Technology 19:45 - 21:00
ISMM	ISMM Welcome from the Chairs and Conference Report 09:00 - 09:15		ISMM Reflections on Forty Years in Garbage Collection 09:15 - 10:15						ISMM Break/Social Hour 10:15 - 11:15							ISMM Uniform Lease vs LRU Cache: Analysis and Evaluation 11:15 - 11:45											ISMM Radiant: Efficient Page Table Management for Tiered Memory Systems 13:30 - 14:00			ISMM Compendia: Reducing Virtual-Memory Costs via Selective Densification 14:00 - 14:30					ISMM ISMM Business Meeting 14:30 - 15:15			ISMM Adaptive Huge-Page Subrelease for Non-Moving Memory Allocators in Wareh ... 15:15 - 15:45				ISMM automemcpy A framework for automatic generation of fundamental memory o ... 15:45 - 16:15											ISMM Exploiting Intel Optane Persistent Memory for Full Text Search 18:00 - 18:30			ISMM Understanding and Utilizing Hardware Transactional Memory Capacity 18:30 - 19:00					ISMM Fusuma: Double-ended Threaded Compaction 19:00 - 19:30		ISMM Closing Remarks 19:30 - 19:45
LCTES	LCTES Welcome from the Chairs 09:00 - 09:10	LCTES On the Challenges of Predictability, Resilience, and Machine Learning f ... 09:10 - 10:25								LCTES Break 10:25 - 10:45		LCTES MaPHeA: A Lightweight Memory Hierarchy-aware Profile-guided Heap Alloca ... 10:45 - 11:10			LCTES Break Dancing: Low Overhead, Architecture Neutral Software Branch Tracing 11:10 - 11:35				LCTES WIP: WasmAndroid: A Cross-platform Runtime for Native Programming Langu ... 11:35 - 11:45								LCTES HyFM: Function Merging for Free 13:30 - 13:55		LCTES Optimus: Towards Optimal Layer-Fusion on DeepLearning Processors 13:55 - 14:20				LCTES Robust I/O-compute Concurrency for Machine Learning Pipelines in Constr ... 14:20 - 14:45			LCTES Break 14:45 - 15:15		LCTES Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-D ... 15:15 - 15:40			LCTES Simple, Light, yet Formally Verified, Global Common Subexpression Elimi ... 15:40 - 16:05				LCTES WIP:Selective Path-sensitive Interval Analysis 16:05 - 16:15								LCTES Cache Abstraction for Data Race Detection in Heterogeneous Systems with ... 18:00 - 18:25		LCTES Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient ... 18:25 - 18:50				LCTES Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems 18:50 - 19:15			LCTES Break 19:15 - 19:45		LCTES ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen 19:45 - 20:10		LCTES CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy 20:10 - 20:35			LCTES WIP: Automatic Mapping and Code Optimization for OpenCL Kernels on FT-M ... 20:35 - 20:45
PLMW	PLMW@PLDI Social Hangout 2 09:00 - 10:15											PLMW@PLDI How to give talks that people can follow 10:45 - 11:45															PLMW@PLDI Panel on Advising and Research 13:30 - 14:45											PLMW@PLDI Tips on Writing a Research Paper 15:15 - 16:15															PLMW@PLDI Panel on Career Paths 18:00 - 19:15											PLMW@PLDI Small-group Mentoring Meetings 2 19:45 - 21:00
PLanQC	PLanQC Invited Talk: From Verified Compilation to Shor’s Algorithm 09:00 - 09:35				PLanQC qKleene: Verification of Quantum RAM Made Easy 09:35 - 09:55		PLanQC JKQ: JKU Tools for Quantum Computing 09:55 - 10:15		PLanQC Break 10:15 - 10:45			PLanQC Open Quantum Assembly Language 10:45 - 11:05		PLanQC Quantum and classical registers 11:05 - 11:25			PLanQC Addressable quantum gates 11:25 - 11:45										PLanQC Invited Talk: Quantum compilation using the ZX-calculus 13:30 - 14:05				PLanQC Quantum routing with fast reversals 14:05 - 14:25			PLanQC Reducing the CNOT count for Clifford+T circuits on NISQ architectures 14:25 - 14:45		PLanQC Break 14:45 - 15:15		PLanQC Toward A Quantum Programming Language for Higher-Level Formal Verification 15:15 - 15:35		PLanQC Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing t ... 15:35 - 15:55			PLanQC Extending Gottesman Types Beyond the Clifford Group 15:55 - 16:15										PLanQC Invited Talk: Theory, Design, and Implementation of Projection-based As ... 18:00 - 18:35				PLanQC Mitiq: a Python toolkit for quantum error mitigation 18:35 - 18:55			PLanQC Expanding the VOQC Toolkit 18:55 - 19:15
SOAP	SOAP Welcome from the chairs 09:00 - 09:15		SOAP [Invited talk] Towards Security-Oriented Program analysis 09:15 - 10:15						SOAP Break 10:15 - 10:45			SOAP Static Analysis for Dummies: Experiencing LiSA 10:45 - 11:10			SOAP Security and Quality: Two Sides of The Same Coin? 11:10 - 11:35												SOAP Program analysis for reversible languages 13:30 - 13:55		SOAP PerfLens: A Data-Driven Performance Bug Detection and Fix Platform 13:55 - 14:20				SOAP Weldr: Fusing Binaries for Simplified Analysis 14:20 - 14:45			SOAP Break 14:45 - 15:15		SOAP [Invited talk] Dynamic abstract interpretation 15:15 - 16:15															SOAP Multi-Language Static Code Analysis on the LARA Framework 18:00 - 18:25		SOAP Serialization-Aware Call Graph Construction 18:25 - 18:50				SOAP Scalable String Analysis: An Experience Report 18:50 - 19:15			SOAP Break 19:15 - 19:45		SOAP [Invited talk] Towards Intelligent Application Security 19:45 - 20:45						SOAP Award and send-off 20:45 - 21:00
Tutorials	PLDI Tutorials Implementing smart contract security analyses using the MadMax/Gigahors ... 09:00 - 11:45																										PLDI Tutorials Beyond Weak Memory Consistency: The Challenges of Memory Persistency 13:30 - 16:15

Wed 23 Jun
Displayed time zone: Eastern 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	0:00	15	30	45
Gather Poster Rooms												PLDI Poster Session 09:35 - 10:30																									PLDI Poster Session 14:05 - 15:00																										PLDI Poster Session 21:35 - 22:30
PLDI-A					PLDI Abstraction for Conflict-Free Replicated Data Types 09:00 - 09:05	PLDI Modular Data-Race-Freedom Guarantees in the Promising Semantics 09:05 - 09:10	PLDI Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs 09:10 - 09:15	PLDI Canary: Practical Static Detection of Inter-thread Value-Flow Bugs 09:15 - 09:20	PLDI Practical Smart Contract Sharding with Ownership and Commutativity Analysis 09:20 - 09:25	PLDI Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free ... 09:25 - 09:30	PLDI Concurrent Deferred Reference Counting with Constant-Time Overhead 09:30 - 09:35					PLDI Ask Me Anything Ask Me Anything with Kim Hazelwood 10:30 - 10:50		PLDI Ask Me Anything Ask Me Anything With Emery Berger 10:50 - 11:10		PLDI Ask Me Anything Ask Me Anything with Michael Carbin 11:10 - 11:30										PLDI Learning to Find Naming Issues with Big Code and Small Supervision 13:30 - 13:35	PLDI Fast and Precise Certification of Transformers 13:35 - 13:40	PLDI Web Question Answering with Neurosymbolic Program Synthesis 13:40 - 13:45	PLDI Robustness Certification with Generative Models 13:45 - 13:50	PLDI DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Op ... 13:50 - 13:55	PLDI Vectorized Secure Evaluation of Decision Forests 13:55 - 14:00	PLDI AKG: Automatic Kernel Generation for Neural Processing Units using Poly ... 14:00 - 14:05																											PLDI Abstraction for Conflict-Free Replicated Data Types 21:00 - 21:05	PLDI Modular Data-Race-Freedom Guarantees in the Promising Semantics 21:05 - 21:10	PLDI Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs 21:10 - 21:15	PLDI Canary: Practical Static Detection of Inter-thread Value-Flow Bugs 21:15 - 21:20	PLDI Practical Smart Contract Sharding with Ownership and Commutativity Analysis 21:20 - 21:25	PLDI Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free ... 21:25 - 21:30	PLDI Concurrent Deferred Reference Counting with Constant-Time Overhead 21:30 - 21:35					PLDI Ask Me Anything Ask Me Anything with Cristina Cifuentes 22:30 - 23:00			PLDI Ask Me Anything Ask Me Anything with June Andronick 23:00 - 23:30
PLDI-B					PLDI Proof Repair across Type Equivalences 09:00 - 09:05	PLDI Zooid: A DSL for Certified Multiparty Computation: From Mechanised Meta ... 09:05 - 09:10	PLDI Beyond the Elementary Representations of Program Invariants over Algebr ... 09:10 - 09:15	PLDI CoStar: A Verified ALL(*) Parser 09:15 - 09:20	PLDI Symbolic Boolean Derivatives for Efficiently Solving Extended Regular E ... 09:20 - 09:25	PLDI Integration Verification across Software and Hardware for a Simple Embe ... 09:25 - 09:30	PLDI Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Pr ... 09:30 - 09:35																			PLDI Wire Sorts: A Language Abstraction for Safe Hardware Composition 13:30 - 13:35	PLDI Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Databas ... 13:35 - 13:40	PLDI Unqomp: Synthesizing Uncomputation in Quantum Circuits 13:40 - 13:45	PLDI Gleipnir: Toward Practical Error Analysis for Quantum Programs 13:45 - 13:50	PLDI Quantum Abstract Interpretation 13:50 - 13:55	PLDI Task Parallel Assembly Language for Uncompromising Parallelism 13:55 - 14:00	PLDI DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant 14:00 - 14:05																											PLDI Proof Repair across Type Equivalences 21:00 - 21:05	PLDI Zooid: A DSL for Certified Multiparty Computation: From Mechanised Meta ... 21:05 - 21:10	PLDI Beyond the Elementary Representations of Program Invariants over Algebr ... 21:10 - 21:15	PLDI CoStar: A Verified ALL(*) Parser 21:15 - 21:20	PLDI Symbolic Boolean Derivatives for Efficiently Solving Extended Regular E ... 21:20 - 21:25	PLDI Integration Verification across Software and Hardware for a Simple Embe ... 21:25 - 21:30	PLDI Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Pr ... 21:30 - 21:35
Social			PLDI Social PLTea 08:30 - 09:00																			PLDI Social PLTea 11:30 - 12:30																			PLDI Social Opening Reception 15:00 - 16:00																								PLDI Social PLTea 20:30 - 21:00																	PLDI Social PLTea 23:30 - 00:30
Sponsors																										PLDI Sponsors Industrial Reception 12:30 - 13:30

Thu 24 Jun
Displayed time zone: Eastern 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	0:00	15	30	45
CARES																												PLDI CARES Building Inclusive Research Environments 12:00 - 13:00
Gather Poster Rooms														PLDI Poster Session 02:05 - 03:00																											PLDI Poster Session 09:40 - 10:30																								PLDI Poster Session 14:05 - 15:00																																PLDI Poster Session 21:40 - 22:30
PLDI-A			PLDI Ask Me Anything Ask Me Anything with James Noble 00:30 - 01:00		PLDI Ask Me Anything Ask Me Anything with Sriram Rajamani 01:00 - 01:30		PLDI Learning to Find Naming Issues with Big Code and Small Supervision 01:30 - 01:35	PLDI Fast and Precise Certification of Transformers 01:35 - 01:40	PLDI Web Question Answering with Neurosymbolic Program Synthesis 01:40 - 01:45	PLDI Robustness Certification with Generative Models 01:45 - 01:50	PLDI DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Op ... 01:50 - 01:55	PLDI Vectorized Secure Evaluation of Decision Forests 01:55 - 02:00	PLDI AKG: Automatic Kernel Generation for Neural Processing Units using Poly ... 02:00 - 02:05																												PLDI Trace-Based Control-Flow Analysis 09:00 - 09:05	PLDI Demanded Abstract Interpretation 09:05 - 09:10	PLDI Unleashing the Hidden Power of Compiler Optimization on Binary Code Dif ... 09:10 - 09:15	PLDI Chianina: An Evolving Graph System for Flow- and Context-Sensitive Anal ... 09:15 - 09:20	PLDI Termination Analysis without the Tears 09:20 - 09:25	PLDI Reverse Engineering for Reduction Parallelization via Semiring Polynomials 09:25 - 09:30	PLDI RbSyn: Type- and Effect-Guided Program Synthesis 09:30 - 09:35	PLDI Central Moment Analysis for Cost Accumulators in Probabilistic Programs 09:35 - 09:40					PLDI Invited Talks Programming Language Research Challenges for Tomorrow's Machines 10:30 - 11:30													PLDI Phased Synthesis of Divide and Conquer Programs 13:30 - 13:35	PLDI Synthesizing Data Structure Refinements from Integrity Constraints 13:35 - 13:40	PLDI Cyclic Program Synthesis 13:40 - 13:45	PLDI Adaptive Restarts for Stochastic Synthesis 13:45 - 13:50	PLDI JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs wi ... 13:50 - 13:55	PLDI IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs 13:55 - 14:00	PLDI Proving Non-termination by Program Reversal 14:00 - 14:05					PLDI PLDI Business Meeting 15:00 - 16:20																															PLDI Trace-Based Control-Flow Analysis 21:00 - 21:05	PLDI Demanded Abstract Interpretation 21:05 - 21:10	PLDI Unleashing the Hidden Power of Compiler Optimization on Binary Code Dif ... 21:10 - 21:15	PLDI Chianina: An Evolving Graph System for Flow- and Context-Sensitive Anal ... 21:15 - 21:20	PLDI Termination Analysis without the Tears 21:20 - 21:25	PLDI Reverse Engineering for Reduction Parallelization via Semiring Polynomials 21:25 - 21:30	PLDI RbSyn: Type- and Effect-Guided Program Synthesis 21:30 - 21:35	PLDI Central Moment Analysis for Cost Accumulators in Probabilistic Programs 21:35 - 21:40						PLDI Invited Talks Programming Language Research Challenges for Tomorrow's Machines 22:30 - 23:30
PLDI-B							PLDI Wire Sorts: A Language Abstraction for Safe Hardware Composition 01:30 - 01:35	PLDI Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Databas ... 01:35 - 01:40	PLDI Unqomp: Synthesizing Uncomputation in Quantum Circuits 01:40 - 01:45	PLDI Gleipnir: Toward Practical Error Analysis for Quantum Programs 01:45 - 01:50	PLDI Quantum Abstract Interpretation 01:50 - 01:55	PLDI Task Parallel Assembly Language for Uncompromising Parallelism 01:55 - 02:00	PLDI DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant 02:00 - 02:05																												PLDI Reticle: A Virtual Machine for Programming Modern FPGAs 09:00 - 09:05	PLDI Revamping Hardware Persistency Models: View-Based and Axiomatic Persist ... 09:05 - 09:10	PLDI Developer and User-Transparent Compiler Optimization for Interactive Ap ... 09:10 - 09:15	PLDI Perceus: Garbage Free Reference Counting with Reuse 09:15 - 09:20	PLDI Filling Typed Holes with Live GUIs 09:20 - 09:25	PLDI Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions 09:25 - 09:30	PLDI Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems 09:30 - 09:35	PLDI Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightwe ... 09:35 - 09:40																		PLDI Mirror: Making Lock-Free Data Structures Persistent 13:30 - 13:35	PLDI Fluid: A Framework for Approximate Concurrency via Controlled Dependenc ... 13:35 - 13:40	PLDI Frequent Background Polling on a Shared Thread, using Light-Weight Comp ... 13:40 - 13:45	PLDI Alive2: Bounded Translation Validation for LLVM 13:45 - 13:50	PLDI Incremental Whole-Program Analysis in Datalog with Lattices 13:50 - 13:55	PLDI Logical Bytecode Reduction 13:55 - 14:00	PLDI RefinedC: Automating the Foundational Verification of C Code with Refin ... 14:00 - 14:05																												PLDI Reticle: A Virtual Machine for Programming Modern FPGAs 21:00 - 21:05	PLDI Revamping Hardware Persistency Models: View-Based and Axiomatic Persist ... 21:05 - 21:10	PLDI Developer and User-Transparent Compiler Optimization for Interactive Ap ... 21:10 - 21:15	PLDI Perceus: Garbage Free Reference Counting with Reuse 21:15 - 21:20	PLDI Filling Typed Holes with Live GUIs 21:20 - 21:25	PLDI Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions 21:25 - 21:30	PLDI Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems 21:30 - 21:35	PLDI Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightwe ... 21:35 - 21:40
Social																		PLDI Social Opening Reception 03:00 - 04:00																									PLDI Social PLTea 08:30 - 09:00																	PLDI Social PLTea 11:30 - 12:30																																		PLDI Social PLTea 20:30 - 21:00																								PLDI Social PLTea 23:30 - 00:30
Sponsors																												PLDI Sponsors Google: Join us for a Q&A Session 11:30 - 12:30 Oracle: Chat With Guy Steele 12:00 - 12:30

Fri 25 Jun
Displayed time zone: Eastern 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	0:00	15	30	45
CARES	PLDI CARES Building Inclusive Research Environments 00:00 - 01:00
Gather Poster Rooms														PLDI Poster Session 02:05 - 03:00																											PLDI Poster Session 09:40 - 10:30																												PLDI Poster Session 14:05 - 15:00																																						PLDI Poster Session 21:40 - 22:30
PLDI-A							PLDI Phased Synthesis of Divide and Conquer Programs 01:30 - 01:35	PLDI Synthesizing Data Structure Refinements from Integrity Constraints 01:35 - 01:40	PLDI Cyclic Program Synthesis 01:40 - 01:45	PLDI Adaptive Restarts for Stochastic Synthesis 01:45 - 01:50	PLDI JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs wi ... 01:50 - 01:55	PLDI IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs 01:55 - 02:00	PLDI Proving Non-termination by Program Reversal 02:00 - 02:05					PLDI PLDI Business Meeting 03:00 - 04:20																															PLDI DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Work ... 09:00 - 09:05	PLDI Provable Repair of Deep Neural Networks 09:05 - 09:10	PLDI DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep L ... 09:10 - 09:15	PLDI Specification Synthesis with Constrained Horn Clauses 09:15 - 09:20	PLDI Compiling Stan to Generative Probabilistic Languages and Extension to D ... 09:20 - 09:25	PLDI Sound Probabilistic Inference via Guide Types 09:25 - 09:30	PLDI SPPL: Probabilistic Programming with Fast Exact Symbolic Inference 09:30 - 09:35	PLDI Quantitative Analysis of Assertion Violations in Probabilistic Programs 09:35 - 09:40				PLDI Invited Talks Concerns We Are Not Separating: It's Time for New Programming Stacks 10:30 - 11:30								PLDI Ask Me Anything Ask Me Anything with Madan Musuvathi 12:30 - 12:50		PLDI Ask Me Anything Ask Me Anything with Philippa Gardner 12:50 - 13:10				PLDI Ask Me Anything Ask Me Anything with Rustan Leino 13:10 - 13:30		PLDI Hashing Modulo Alpha-Equivalence 13:30 - 13:35	PLDI An Efficient Interpreter for Datalog by De-specializing Relations 13:35 - 13:40	PLDI Distance-in-Time versus Distance-in-Space 13:40 - 13:45	PLDI High Performance Correctly Rounded Math Libraries for 32-bit Floating P ... 13:45 - 13:50	PLDI Retrofitting Effect Handlers onto OCaml 13:50 - 13:55	PLDI Compiler-Assisted Object Inlining with Value Fields 13:55 - 14:00	PLDI Concise, Type-Safe, and Efficient Structural Diffing 14:00 - 14:05				PLDI Invited Talks Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided ... 15:00 - 16:00																															PLDI DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Work ... 21:00 - 21:05	PLDI Provable Repair of Deep Neural Networks 21:05 - 21:10	PLDI DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep L ... 21:10 - 21:15	PLDI Specification Synthesis with Constrained Horn Clauses 21:15 - 21:20	PLDI Compiling Stan to Generative Probabilistic Languages and Extension to D ... 21:20 - 21:25	PLDI Sound Probabilistic Inference via Guide Types 21:25 - 21:30	PLDI SPPL: Probabilistic Programming with Fast Exact Symbolic Inference 21:30 - 21:35	PLDI Quantitative Analysis of Assertion Violations in Probabilistic Programs 21:35 - 21:40				PLDI Invited Talks Concerns We Are Not Separating: It's Time for New Programming Stacks 22:30 - 23:30
PLDI-B							PLDI Mirror: Making Lock-Free Data Structures Persistent 01:30 - 01:35	PLDI Fluid: A Framework for Approximate Concurrency via Controlled Dependenc ... 01:35 - 01:40	PLDI Frequent Background Polling on a Shared Thread, using Light-Weight Comp ... 01:40 - 01:45	PLDI Alive2: Bounded Translation Validation for LLVM 01:45 - 01:50	PLDI Incremental Whole-Program Analysis in Datalog with Lattices 01:50 - 01:55	PLDI Logical Bytecode Reduction 01:55 - 02:00	PLDI RefinedC: Automating the Foundational Verification of C Code with Refin ... 02:00 - 02:05																												PLDI Test-Case Reduction and Deduplication Almost for Free with Transformati ... 09:00 - 09:05	PLDI Execution Reconstruction: Harnessing Failure Reoccurrences for Failure ... 09:05 - 09:10	PLDI Concolic Program Repair 09:10 - 09:15	PLDI Automated Conformance Testing for JavaScript Engines via Deep Compiler ... 09:15 - 09:20	PLDI Path-Sensitive Sparse Analysis without Path Conditions 09:20 - 09:25	PLDI Repairing Serializability Bugs in Distributed Database Programs via Aut ... 09:25 - 09:30	PLDI SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program ... 09:30 - 09:35	PLDI When Threads Meet Events: Efficient and Precise Static Race Detection w ... 09:35 - 09:40																						PLDI Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Sepa ... 13:30 - 13:35	PLDI Example-Guided Synthesis of Relational Queries 13:35 - 13:40	PLDI CompCertO: Compiling Certified Open C Components 13:40 - 13:45	PLDI On Probabilistic Termination of Functional Programs with Continuous Dis ... 13:45 - 13:50	PLDI Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption 13:50 - 13:55	PLDI Polynomial Reachability Witnesses via Stellensätze 13:55 - 14:00																												PLDI Test-Case Reduction and Deduplication Almost for Free with Transformati ... 21:00 - 21:05	PLDI Execution Reconstruction: Harnessing Failure Reoccurrences for Failure ... 21:05 - 21:10	PLDI Concolic Program Repair 21:10 - 21:15	PLDI Automated Conformance Testing for JavaScript Engines via Deep Compiler ... 21:15 - 21:20	PLDI Path-Sensitive Sparse Analysis without Path Conditions 21:20 - 21:25	PLDI Repairing Serializability Bugs in Distributed Database Programs via Aut ... 21:25 - 21:30	PLDI SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program ... 21:30 - 21:35	PLDI When Threads Meet Events: Efficient and Precise Static Race Detection w ... 21:35 - 21:40
Social																												PLDI Social PLTea 08:30 - 09:00													PLDI Social PLTea 11:30 - 12:30																																														PLDI Social PLTea 20:30 - 21:00													PLDI Social PLTea 23:30 - 00:30
Sponsors																												PLDI Sponsors Oracle: Chat With Guy Steele 12:00 - 12:30

Sat 26 Jun
Displayed time zone: Eastern 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
Gather Poster Rooms														PLDI Poster Session 02:05 - 03:00
PLDI-A			PLDI Ask Me Anything Ask Me Anything with Sukyoung Ryu 00:30 - 01:00		PLDI Ask Me Anything Ask Me Anything with Joxan Jaffar 01:00 - 01:30		PLDI Hashing Modulo Alpha-Equivalence 01:30 - 01:35	PLDI An Efficient Interpreter for Datalog by De-specializing Relations 01:35 - 01:40	PLDI Distance-in-Time versus Distance-in-Space 01:40 - 01:45	PLDI High Performance Correctly Rounded Math Libraries for 32-bit Floating P ... 01:45 - 01:50	PLDI Retrofitting Effect Handlers onto OCaml 01:50 - 01:55	PLDI Compiler-Assisted Object Inlining with Value Fields 01:55 - 02:00	PLDI Concise, Type-Safe, and Efficient Structural Diffing 02:00 - 02:05					PLDI Invited Talks Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided ... 03:00 - 04:00
PLDI-B							PLDI Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Sepa ... 01:30 - 01:35	PLDI Example-Guided Synthesis of Relational Queries 01:35 - 01:40	PLDI CompCertO: Compiling Certified Open C Components 01:40 - 01:45	PLDI On Probabilistic Termination of Functional Programs with Continuous Dis ... 01:45 - 01:50	PLDI Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption 01:50 - 01:55	PLDI Polynomial Reachability Witnesses via Stellensätze 01:55 - 02:00

PLDI 2021 Program

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

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

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

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

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

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

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

Tracks

Co-hosted Conferences

Workshops

PLDI 2021 Program

Switch Program View

Program Display Configuration

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

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

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

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

Thu 24 JunDisplayed time zone: Eastern Time (US & Canada) change

Fri 25 JunDisplayed time zone: Eastern Time (US & Canada) change

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

Get Calendar (iCal)

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

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

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

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

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

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

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