POPL
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United StatesPOPL 2023with CPP 2023, VMCAI 2023, PADL 2023, CoqPL 2023, LAFI 2023, PEPM 2023, PLMW @ POPL 2023, PriSC 2023, ProLaLa 2023Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of POPL, we will be back where POPL #1 happened: Boston, Massachusetts. The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimenta ... |
Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United StatesPOPL 2022with CPP 2022, VMCAI 2022, PADL 2022, CoqPL 2022, LAFI 2022, PEPM 2022, PLMW 2022, PriSC 2022, ProLaLa 2022, WITS 2022Welcome to the website of the 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022). The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make pri ... |
Sun 17 - Fri 22 January 2021 OnlinePOPL 2021with CPP 2021, PLMW 2021, VMCAI 2021, PADL 2021, CoqPL 2021, LAFI 2021, PEPM 2021, PriSC 2021POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL. Preprints are also linked from Clowdr. Having trouble getting on Clowdr? DM @poplconf on Twitter or email popl2021team@gmail.com. Online registration is still open. POPL 2021 will take place on January 17–22, 2021 as a virtual meeting. Here’s How to POPL ... |
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United StatesPOPL 2020with CPP 2020, VMCAI 2020, PADL 2020, ADSL 2020, CoqPL 2020, HASE 2020, LAFI 2020, PEPM 2020, PLMW 2020, PLanQC 2020, PriSC 2020, WGT 2020Program of POPL 2020 and Co-located Events POPL 2020 Accepted Papers Distinguished Papers To download (the definitive and open access version of) a POPL paper, click “Link to publication” under the paper’s title and authors. Videos of POPL 2020 talks (hosted on YouTube) are available on their event page, where slides and other supplementary material may also be available. To get to a talk’s event page, c ... |
Sun 13 - Sat 19 January 2019 Cascais, PortugalPOPL 2019with CPP 2019, VMCAI 2019, PADL 2019, BEAT 2019, CoqPL 2019, LAFI 2019, OPCT 2019, Off the Beaten Track 2019, PEPM 2019, PLMW 2019, PriSC 2019Program of POPL 2019 and Co-located Events List of Papers Accepted for POPL 2019 Distinguished Papers To download (the definitive and open access version of) a POPL paper, click “Link to publication” under the paper’s title and authors. Videos of POPL 2019 talks (hosted on YouTube) are available on their event page, where slides and other supplementary material may also be available. To get to a talk’s e ... |
Sun 7 - Sat 13 January 2018 Los Angeles, California, United StatesPOPL 2018with CPP 2018, VMCAI 2018, PADL 2018, PPS 2018, CoqPL 2018, NetPL 2018, Off the Beaten Track 2018, PEPM 2018, PLMW 2018, PriSC 2018Welcome to the website of The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make prin ... |
Sun 15 - Sat 21 January 2017 POPL 2017with CPP 2017, VMCAI 2017, PADL 2017, PPS 2017, CoqPL 2017, N40AI 2017, Off the Beaten Track 2017, PEPM 2017, PLMW, PiP 2017, RDP 2017, SCM 2017, TTT 2017The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. The symposium is organised by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. Latest news POPL 2017 is ove ... |
Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United StatesPOPL 2016with CPP 2016, VMCAI, PADL, CoqPL 2016, Off the Beaten Track 2016, PEPM 2016, PLMW, PPS 2016POPL is the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. Hotel updates A block of rooms at Hotel Indigo. ... |
Andrew MyersGeneral Chair
Cornell University
Amal AhmedProgram Chair
Northeastern University, USA
United States
Ilya SergeyIndustrial Relations
National University of Singapore
Singapore
Kristopher MicinskiPublicity Chair
Syracuse University
United States
William J. BowmanWorkshops Co-Chair
University of British Columbia
Canada
Anders MiltnerWorkshops Co-Chair
Simon Fraser University
United States
Jeehoon KangStudent Research Competition Co-Chair
KAIST
South Korea
Danfeng ZhangStudent Research Competition Co-Chair
Pennsylvania State University
United States
Leonidas LampropoulosArtifact Evaluation Co-Chair
University of Maryland, College Park
Greece
Mukund RaghothamanArtifact Evaluation Co-Chair
University of Southern California
Kostas FerlesWeb Co-Chair
Veridise Inc.
United States
Yuepeng WangWeb Co-Chair
Simon Fraser University
Canada
Shraddha BarkeStudent Volunteer Co-Chair
University of California at San Diego
United States
Konstantinos KallasStudent Volunteer Co-Chair
University of Pennsylvania
United States
Benjamin DelawareDiversity, Equity, and Inclusion Chair
Purdue University
United States
Guilherme EspadaVideo Chair
University of Lisbon
Portugal
Nate FosterSession Preview Chair
Cornell University
United States
Apoorv IngleVirtualization Chair
University of Iowa
United States
Neringa YoungTreasurer & Conference Manager
Lithuania