PLDI Is Here!(Fri 18 Jun 2021)
Our PLDI 2021 conference platform is now open. Follow the instructions at https://pldi21.sigplan.org/ and join us!
Congratulations to Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg, this year’s recipients of the Distinguished Artifact Award, for their artifact accompanying their paper “RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types”.
We’re please to announce this year’s Distinguished Papers. Congratulations to all of the authors for their excellent work.
PLDI 2021 registration is open!(Mon 19 Apr 2021)
We are delighted to announce that registration for PLDI 2021 is open. The deadline for early registration is May 31.
| PLDI Is Here!Fri 18 Jun 2021 |
| Congratulations to Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg, this year’s recipients of the Distinguished Artifact Award.Fri 4 Jun 2021 |
| Congratulations to the authors of this year's PLDI Distinguished Papers! See the PLDI Track page for full details.Mon 24 May 2021 |
| PLDI 2021 registration is open!Mon 19 Apr 2021 |