POPL 2018

POPL 2018
45th ACM SIGPLAN Symposium on Principles of Programming Languages
Event in series	POPL
Dates	2018/01/07 (iCal) - 2018/01/13
Homepage:	https://popl18.sigplan.org/
Location
Location:	Los Angeles, California, USA
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":34.0536909,"lon":-118.242766,"icon":""}],"imageoverlays":null}
Subevents: PEPM 2018
Committees
General chairs:	Ranjit Jhala
PC chairs:	Andrew Myers
Table of Contents

POPL 2018The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Sun 7 - Sat 13 January 2018, Los Angeles, California, 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.

The main POPL 2018 conference will be held from Wed 10 - Fri 12 January 2018.

Committees

Organizing Committee POPL 2018

General Chair

• Ranjit Jhala, University of California, San Diego, United States

Program Chair

• Andrew Myers, Cornell University, United States

Conference Manager

• Annabel Satin, P.C.K.

Associated Events Chair

• Marco Gaboardi, University at Buffalo, SUNY, United States

Industrial Relations Chair

• David Walker, Princeton University, United States

Remote Participation Chair

• Michael Greenberg, Pomona College

Artefact Evaluation Co-Chair, Publicity Chair

• Jean Yang, Carnegie Mellon University
• Cătălin Hriţcu, Inria Paris

Student Research Competition Chair

• Benjamin Delaware, Purdue University

Website Chair

• Rohit Singh, CSAIL, MIT, United States

Student Volunteer Co-Captain

• Alex Sanchez-Stern, University of California, San Diego, United States
• Jakub Zalewski, University of Edinburgh, United Kingdom

Keynotes Derek Dreyer Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can) Derek Dreyer Gordon Plotkin Some Principles of Differential Programming Languages Gordon Plotkin Sarah Lawsky Formal Methods and the Law Sarah Lawsky Tutorial Fest Frank Pfenning Message-Passing Concurrency and Substructural Logics Frank Pfenning Robert Harper Computational Higher Type Theory Robert Harper, Carlo Angiuli William E. Byrd One Weird Trick: Relational Interpreters for Program Synthesis. William E. Byrd, Gregory Rosenblatt Zachary Kincaid Introduction to Algebraic Program analysis. Zachary Kincaid, Thomas Reps Roberto Giacobazzi Code Obfuscation - A Hacking view on program analysis and understanding. Roberto Giacobazzi Chung-chieh Shan Equational reasoning for probabilistic programming. Chung-chieh Shan Mathias Fleury Programming and Reasoning with Infinite Data in Isabelle/HOL. Mathias Fleury, Andreas Lochbihler, Andrei Popescu Jacques-Henri Jourdan Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic. Jacques-Henri Jourdan, Robbert Krebbers POPL 2018 Tracks Research Papers | TutorialFest | Student Research Competition | Workshops | Artifact Evaluation | Student Volunteers Show all tracks Twitter Facebook Supporters Amazon Platinum Supporter ahrefs Gold Supporter Facebook Gold Supporter JetBrains Gold Supporter Microsoft Research Gold Supporter Oracle Gold Supporter The MIT press Gold Supporter Google Silver supporter Jane Street Silver Supporter NEC Labs Bronze Supporter Uber Bronze Supporter ACM Sponsor SIGPLAN Sponsor