[TYPES/announce] PLDI 2023 First Call for Papers

Anders Miltner miltner at sfu.ca
Tue Sep 20 19:13:42 EDT 2022

Please distribute widely.

*Call for Papers*
2023 ACM Conference on Programming Language Design and Implementation (PLDI)
Mon 19 - Wed 21 June 2023
Orlando, Florida, United States

PACMPL Issue PLDI 2023 seeks contributions on all aspects of programming languages research, broadly construed, including design, implementation, theory, applications, and performance. Authors of papers published in PACMPL Issue PLDI 2023 will be invited to present their work in the PLDI conference in June 2023, which is sponsored by ACM SIGPLAN.

*Important Dates*
Thu 10 Nov 2022, Submission Deadline
Mon 6 Feb - Wed 8 Feb 2023, Author Response
Fri 24 Feb 2023, Author Notification

*Author Instructions*

Submission site: https://urldefense.com/v3/__https://pldi2023.hotcrp.com/__;!!IBzWLUs!TIq9kL-IM6S_viVUfySFK2lPXrVZM_1ImC4hlSa0zU_CKYq9YQ1hOYEmJRyf1-ILJ4PzUTaLvFk9YpMQk9jAmec1Bde3tw$  

*Organizing Committee*
- General Chair: Steve Blackburn, Google and Australia National U.
- Program Chair: Nate Foster, Cornell U.
- Web Co-Chairs:
 - Dan Barowy, Williams College
 - Jedidiah McClurg, Colorado State U.
- Publicity Co-Chairs:
 - William J. Bowman, U. of British Columbia
 - Anders Miltner, Simon Fraser U.
- Sponsorship Co-Chairs:
 - Sasa Misailovic, U. of Illinois at Urbana-Champaign
 - Deian Stefan, U. of California at San Diego
- Workshops Co-Chairs:
 - Nadia Polikarpova, U. of California at San Diego
 - Zachary Tatlock, U. of Washington
- Student Research Competition Co-Chairs:
 - Chandrakana Nandi, Certora
 - Jubi Taneja, Microsoft Research
- Artifact Evaluation Co-Chairs:
 - Manuel Rigger, National U. of Singapore
 - Xinyu Wang, U. of Michigan
- Diversity and Inclusion Co-Chairs:
 - Madan Musuvathi, Microsoft Research
 - Fernando Magno Quintão Pereira, Federal U. of Minas Gerais
- Social Events Co-Chairs:
 - Rachit Nigam, Cornell U.
 - Alex Renda, Massachusetts Institute of Technology
- Video Chair: Guilherme Espada, U. de Lisboa
- Volunteers Co-Chairs:
 - Hanneli Tavante, McGill U.
 - Michael James, U. of California at San Diego


Anders Miltner

More information about the Types-announce mailing list