POPL 2019

POPL 2019
46th ACM SIGPLAN Symposium on Principles of Programming Languages
Event in series	POPL
Dates	2019/01/13 (iCal) - 2019/01/19
Homepage:	https://popl19.sigplan.org/
Location
Location:	Cascais, Portugal
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":38.6968919,"lon":-9.4204495,"icon":""}],"imageoverlays":null}
Important dates
Submissions:	2018/07/11
Notification:	2018/09/17
Subevents: PEPM 2019
Committees
Organizers:	Vasco Vasconcelos
General chairs:	Fritz Henglein
PC chairs:	Stephanie Weirich
Workshop chairs:	Zachary Kincaid, Marco Gaboardi
Keynote speaker:	Mark Harman, Zachary Kincaid
Table of Contents

POPL 2019

Welcome to the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019).

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 2019 and its co-located events took place at the Hotel Cascais Miragem, Cascais, Portugal, January 13–19, 2019.

Co-hosted Conferences

• CPP 2019
• VMCAI 2019

Workshops

• BEAT 2019
• CoqPL 2019
• LAFI 2019
• OPCT 2019
• Off the Beaten Track 2019
• PEPM 2019
• PLMW 2019
• PriSC 2019

Co-hosted Symposiums

• PADL 2019

Committees

Organizing Committee POPL 2019

General Chair

• Fritz Henglein, Department of Computer Science, University of Copenhagen (DIKU), Denmark

Artifact Evaluation Co-Chair

• Benjamin Delaware, Purdue University

Workshops Co-Chair

• Marco Gaboardi, University at Buffalo, SUNY, United States
• Zachary Kincaid, Princeton University, United States

Publicity Chair

• Michael Greenberg, Pomona College

Artifact Evaluation Co-Chair

• Cătălin Hriţcu, Inria Paris

Website Chair

• Hsiang-Shang ‘Josh’ Ko, National Institute of Informatics, Japan, Taiwan

Registration

• Carole Mann, R.S.L

Student Volunteer Co-Captain

• Carlos Mão de Ferro, LASIGE, Faculty of Sciences, University of Lisbon, Portugal
• Alex Sanchez-Stern, University of California, San Diego, United States

Conference Coordinator, Treasurer

• Annabel Satin, P.C.K.

Local Arrangements Chair

• Vasco Vasconcelos, LASIGE, Faculty of Sciences, University of Lisbon, Portugal

Student Research Competition Chair

• Niki Vazou, IMDEA Software Institute

Industrial Relations Chair

• David Walker, Princeton University, United States

Program Chair

• Stephanie Weirich, University of Pennsylvania, USA, United States

Video Chair

• Jakub Zalewski

Keynotes

• Mark Harman: Automated Fault-Finding and Fixing at Facebook
• Brigitte Pientka: Mechanized Metatheory - The Next Chapter