PLDI 2020

Thank you to everyone involved in Virtual PLDI 2020 for making the conference a big success!

Here are some links to conference content and a report on the conference.

• A report on the first virtual PLDI conference
• Proceedings of PLDI
• Proceedings of co-located events:
  • Proceedings of ISMM
  • Proceedings of LCTES
  • Proceedings of MAPL
  • Proceedings of SOAP
• YouTube content:
  • PLDI conference featuring all available conference material
  • Ask Me Anything track - easy access to the Ask Me Anything videos
  • PLMW @ PLDI’20 playlist
  • Design Space Exploration tutorial
  • Infer Practitioners workshop
  • LCTES
  • MAPL workshop
  • Programming for Autonomy tutorial
  • Programming Quantum Computers tutorial
  • REMS/DeepSpec: Monday, REMS/DeepSpec: Tuesday
  • SOAP workshop
  • Spoofax tutorial
  • Microsoft Research

Distinguished Papers

• Data-Driven Inference of Representation Invariants

• Armada: Low-Effort Verification of High-Performance Concurrent Programs

• Validating SMT Solvers via Semantic Fusion

• From Folklore to Fact: Comparing Implementations of Stacks and Continuations

• Fast Graph Simplification for Interleaved Dyck-Reachability

Distinguished Artifact

• Improving Program Locality in the GC using Hotness

Welcome to the home page of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020)! PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. PLDI 2020 was originally due to be held in London, co-located with HOPL-IV, but will now be held online. (HOPL-IV is being postponed until a later date.)

And finally…

Check out our song, “This is Still PLDI”!