You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
'''47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020'''), Sun 19 - Sat 25 January 2020, New Orleans, Louisiana, United States ''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 principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.'' The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. POPL 2020 and its co-located events took place in New Orleans, USA, January 19–25, 2020. '''Co-hosted Conferences''' *CPP 2020 *VMCAI 2020 '''Workshops''' *ADSL 2020 *CoqPL 2020 *HASE 2020 *LAFI 2020 *PEPM 2020 *PLMW 2020 *PLanQC 2020 *PriSC 2020 *WGT 2020 '''Co-hosted Symposiums''' *PADL 2020 ==Committees== '''General Chair''' *Brigitte Pientka, McGill University '''Program Chair''' *Lars Birkedal, Aarhus University '''Video Chair''' *Leif Andersen, Northeastern University, USA *Benjamin W Chung, Northeastern University '''Artifact Evaluation Co-Chair''' *Benjamin Delaware, Purdue University '''Industrial Relations Co-Chair''' *Nate Foster, Cornell University, United States '''Publicity Chair''' *Michael Greenberg, Pomona College '''Workshops Co-Chair''' *Jan Hoffmann, Carnegie Mellon University, United States *Zachary Kincaid, Princeton University, United States '''Technical Support''' *Kristoffer Just Arndal Andersen, Aarhus University, Denmark '''Evaluation Co-Chair''' *Jeehoon Kang Artifact, KAIST, South Korea '''Web Chair''' *Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan '''Student Research Competition Co-Chair''' *Ori Lahav, Tel Aviv University '''Registration''' *Carole Mann, R.S.L '''Local Chair''' *Michael Mislove, Tulane '''Student Volunteer Co-Chair''' *Carlos Mão de Ferro, Lasige, Faculty of Sciences, Universidade de Lisboa, Portugal *Hanneli Tavante, McGill University '''Treasurer & Conference Manager''' *Annabel Satin, P.C.K. '''Accessibility Chair''' *Alexandra Silva, University College London, United Kingdom '''Web Chair''' *Amin Timany, imec-Distrinet KU-Leuven, Belgium '''Student Research Competition Co-Chair''' *Niki Vazou, IMDEA Software Institute '''Industrial Relations Co-Chair''' *David Walker, Princeton University, United States ==Invited Talks== *Cristina Cifuentes: What is a Secure Programming Language *Hongseok Yang: Probabilistic Programming *Martin Vechev: Can Programming Languages Research impact Deep Learning 2.0? '''Conference information''': 68 papers accepted out of 247 submitted.
Save page Show preview Cancel