Write a Blog >>
PLDI 2021
Sun 20 - Fri 25 June 2021
Virtual Conference
Toggle navigation
Attending
Venue: Online
Code of Conduct
Sponsorship
Tracks
PLDI 2021
PLDI Research Artifacts
PLDI Research Papers
PLDI Workshops and Tutorials
SRC
Student Volunteering
Co-hosted Conferences
HOPL IV
HOPL IV
HOPL IV
Papers
ISMM
LCTES
Workshops
ARRAY
Infer Practitioners
MAPS
PLMW@PLDI
PLanQC
SOAP
Organization
PLDI 2021
Organizing Committee
Steering Committee
Virtualization Committee
PLDI Research Artifacts
Artifact Evaluation Committee
PLDI Research Papers
Program Committee
SRC
Student Research Competition (SRC)
Student Volunteering
Student Volunteering
Contributors
People Index
Co-hosted Conferences
HOPL IV
Organizing Committee
Steering Committee
Organizing Committee
Program Committee
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
Infer Practitioners
Organizing Committee
Program Committee
MAPS
Organizing Committee
Program Committee
PLMW@PLDI
Organizing Committee
PLanQC
Organizing Committee
Program Committee
SOAP
Invited Speakers
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2021
(
series
) /
Virtualization Committee
PLDI 2021
Isil Dillig
University of Texas at Austin
Stephen N. Freund
Williams College
Arjun Guha
Northeastern University
United States
Ranjit Jhala
University of California at San Diego
Eran Yahav
Technion
x
Sat 6 Mar 19:15