POPL 2017
Sun 15 - Sat 21 January 2017

This is the main track of POPL 2017, featuring research papers and invited talks. Please select a tab for more information.

News

The POPL 2017 program is available.

The full POPL 2017 proceedings are accessible.

Wed 18 Jan

POPL-2017-papers
09:00 - 09:05: POPL - Opening at Auditorium
Chair(s): Giuseppe CastagnaParis Diderot University & CNRS, Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2017-papers09:00 - 09:05
Day opening
POPL-2017-papers
09:05 - 10:00: POPL - Invited speaker at Auditorium
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2017-papers09:05 - 10:00
Talk
Stephanie WeirichUniversity of Pennsylvania
POPL-2017-papers
10:30 - 12:10: POPL - Abstract Interpretation at Amphitheater 44
Chair(s): Isabella MastroeniUniversity of Verona, Italy
POPL-2017-papers10:30 - 10:55
Talk
Jade AlglaveUniversity College London, Patrick CousotNew York University
POPL-2017-papers10:55 - 11:20
Talk
Kimball GermaneUniversity of Utah, Matthew MightUniversity of Utah; Harvard Medical School; The White House
POPL-2017-papers11:20 - 11:45
Talk
Huisong LiINRIA/CNRS/ENS/PSL*, François BérengerINRIA/CNRS/ENS/PSL*, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Xavier RivalINRIA/CNRS/ENS Paris
POPL-2017-papers11:45 - 12:10
Talk
Gagandeep SinghETH Zurich, Switzerland, Markus PüschelETH Zurich, Martin VechevETH Zurich
POPL-2017-papers
10:30 - 12:10: POPL - Type Systems 1 at Auditorium
Chair(s): Avik ChaudhuriFacebook
POPL-2017-papers10:30 - 10:55
Talk
Stephen Dolan, Alan MycroftUniversity of Cambridge
POPL-2017-papers10:55 - 11:20
Talk
Radu GrigoreUniversity of Kent
POPL-2017-papers11:20 - 11:45
Talk
Cyrus OmarCarnegie Mellon University, Ian VoyseyCarnegie Mellon University, Michael HiltonOregon State University, USA, Jonathan AldrichCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder
POPL-2017-papers11:45 - 12:10
Talk
Karl CraryCarnegie Mellon University
POPL-2017-papers
14:20 - 16:00: POPL - Concurrency 1 at Auditorium
Chair(s): Ilya SergeyUniversity College London
POPL-2017-papers14:20 - 14:45
Talk
Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Derek DreyerMPI-SWS
Link to publication Pre-print Media Attached
POPL-2017-papers14:45 - 15:10
Talk
John WickersonImperial College London, Mark BattyUniversity of Kent, Tyler SorensenImperial College London, George A. ConstantinidesImperial College London, UK
Pre-print Media Attached File Attached
POPL-2017-papers15:10 - 15:35
Talk
Robbert KrebbersDelft University of Technology, Netherlands, Amin Timanyimec - Distrinet, KU Leuven, Lars BirkedalAarhus University
DOI Pre-print Media Attached
POPL-2017-papers15:35 - 16:00
Talk
Morten Krogh-JespersenAarhus University, Kasper SvendsenAarhus University, Lars BirkedalAarhus University
POPL-2017-papers
14:20 - 16:00: POPL - Probabilistic Programming at Amphitheater 44
Chair(s): Marco GaboardiSUNY Buffalo, USA
POPL-2017-papers14:20 - 14:45
Talk
Leonidas LampropoulosUniversity of Pennsylvania, Diane Gallois-WongInria Paris, ENS Paris, Cătălin HriţcuInria Paris, John HughesChalmers University of Technology, Benjamin C. PierceUniversity of Pennsylvania, Li-yao XiaENS Paris
Pre-print
POPL-2017-papers14:45 - 15:10
Talk
Chung-chieh ShanIndiana University, USA, Norman Ramsey
Pre-print
POPL-2017-papers15:10 - 15:35
Talk
Krishnendu ChatterjeeIST Austria, Petr NovotnyIST Austria, Djordje ZikelicUniversity of Cambridge
POPL-2017-papers15:35 - 16:00
Talk
POPL-2017-papers
16:30 - 17:45: POPL - Compiler Optimisation at Auditorium
Chair(s): Andrew MyersCornell University
POPL-2017-papers16:30 - 16:55
Talk
Ziv ScullyCarnegie Mellon University, Adam ChlipalaMIT
POPL-2017-papers16:55 - 17:20
Talk
Oleg Kiselyov, Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, Yannis SmaragdakisUniversity of Athens
Pre-print Media Attached
POPL-2017-papers17:20 - 17:45
Talk
Wei-Fan ChiangSchool of Computing, University of Utah, Ganesh GopalakrishnanUniversity of Utah, Zvonimir RakamaricUniversity of Utah, Ian BriggsSchool of Computing, University of Utah, Marek S. BaranowskiUniversity of Utah, Alexey SolovyevSchool of Computing, University of Utah
Pre-print
POPL-2017-papers
16:30 - 17:45: POPL - Logic at Amphitheater 44
Chair(s): Alexandra SilvaUniversity College London
POPL-2017-papers16:30 - 16:55
Talk
Loris D'AntoniUniversity of Wisconsin–Madison, Margus VeanesMicrosoft Research
POPL-2017-papers16:55 - 17:20
Talk
Naoki KobayashiUniversity of Tokyo, Japan, Etienne LozesENS Cachan, Florian BruseUniversity of Kassel
POPL-2017-papers17:20 - 17:45
Talk
Simon RobillardChalmers University of Technology, Andrei VoronkovUniversity of Manchester, Laura KovacsChalmers University of Technology

Thu 19 Jan

POPL-2017-papers
09:00 - 09:15: POPL - ACM and SIGPLAN Awards at Auditorium
Chair(s): Satnam SinghFacebook
POPL-2017-papers09:00 - 09:05
Awards
POPL-2017-papers09:05 - 09:10
Awards
POPL-2017-papers09:10 - 09:15
Awards
POPL-2017-papers
09:15 - 10:00: POPL - Invited speaker at Auditorium
Chair(s): Roberto GiacobazziUniversity of Verona, Italy
POPL-2017-papers09:15 - 10:00
Talk
Patrick CousotNew York University, Roberto GiacobazziUniversity of Verona, Italy
POPL-2017-papers
10:30 - 12:10: POPL - Program Analysis at Amphitheater 44
Chair(s): Francesco LogozzoFacebook
POPL-2017-papers10:30 - 10:55
Talk
Ezgi ÇiçekMPI-SWS, Germany, Gilles BartheIMDEA, Marco GaboardiSUNY Buffalo, USA, Deepak GargMPI-SWS, Germany, Jan HoffmannCarnegie Mellon University
POPL-2017-papers10:55 - 11:20
Talk
Ravichandhran MadhavanEPFL, Sumith KulalIIT Bombay, Viktor KuncakEPFL, Switzerland
POPL-2017-papers11:20 - 11:45
Talk
Qirun ZhangUniversity of California, Davis, Zhendong SuUniversity of California, Davis
POPL-2017-papers11:45 - 12:10
Talk
Jan HoffmannCarnegie Mellon University, Ankush DasCarnegie Mellon University, Shu-Chun WengYale University
POPL-2017-papers
10:30 - 12:10: POPL - Type Systems 2 at Auditorium
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2017-papers10:30 - 10:55
Talk
Gabriel SchererNortheastern University
POPL-2017-papers10:55 - 11:20
Talk
Danko IlikTrusted Labs
POPL-2017-papers11:20 - 11:45
Talk
POPL-2017-papers11:45 - 12:10
Talk
Matt BrownUCLA, Jens PalsbergUniversity of California, Los Angeles
POPL-2017-papers
14:20 - 16:00: POPL - Concurrency 2 at Amphitheater 44
Chair(s): Nobuko YoshidaImperial College London, UK
POPL-2017-papers14:20 - 14:45
Talk
Shaked FlurUniversity of Cambridge, Susmit SarkarUniversity of St. Andrews, UK, Christopher PulteUniversity of Cambridge, Kyndylan NienhuisUniversity of Cambridge, Luc MarangetINRIA Rocquencourt, Kathryn E. GrayUniversity of Cambridge, Ali SezginUniversity of Cambridge, Mark BattyUniversity of Kent, Peter SewellUniversity of Cambridge
POPL-2017-papers14:45 - 15:10
Talk
Christopher LidburyImperial College London, Alastair DonaldsonImperial College London
POPL-2017-papers15:10 - 15:35
Talk
Lucas BrutschyETH Zurich, Dimitar DimitrovETH Zurich, Switzerland, Peter MüllerETH Zurich, Martin VechevETH Zurich
Pre-print
POPL-2017-papers15:35 - 16:00
Talk
Jochen HoenickeUniversität Freiburg, Rupak MajumdarMPI-SWS, Andreas PodelskiUniversity of Freiburg, Germany
POPL-2017-papers
14:20 - 16:00: POPL - Functional Programming with Effects at Auditorium
Chair(s): Kathleen FisherTufts University
POPL-2017-papers14:20 - 14:45
Talk
Daan LeijenMicrosoft Research
POPL-2017-papers14:45 - 15:10
Talk
Sam LindleyUniversity of Edinburgh, Conor McBride, Craig McLaughlinThe University of Edinburgh
POPL-2017-papers15:10 - 15:35
Talk
Danel AhmanUniversity of Edinburgh, Cătălin HriţcuInria Paris, Kenji MaillardInria Paris, ENS Paris, and Microsoft Research, Guido MartínezInria Paris, UNR Argentina, Gordon Plotkin, Jonathan ProtzenkoMicrosoft Research, Aseem RastogiMicrosoft Research India, Nikhil SwamyMicrosoft Research
Pre-print
POPL-2017-papers15:35 - 16:00
Talk
POPL-2017-papers
16:30 - 17:20: POPL - Logic and Programming at Auditorium
Chair(s): Nada AminEPFL
POPL-2017-papers16:30 - 16:55
Talk
Kausik SubramanianUniversity of Wisconsin-Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Aditya AkellaUniversity of Wisconsin-Madison
POPL-2017-papers16:55 - 17:20
Talk
POPL-2017-papers
16:30 - 17:20: POPL - Semantic Foundations at Amphitheater 44
Chair(s): Lars BirkedalAarhus University
POPL-2017-papers16:30 - 16:55
Talk
Arthur Azevedo de AmorimUniversity of Pennsylvania, USA, Ikram CheriguiENS Paris, Marco GaboardiSUNY Buffalo, USA, Justin Hsu, Shin-ya KatsumataKyoto University
POPL-2017-papers16:55 - 17:20
Talk
Steffen SmolkaCornell University, Praveen KumarCornell University, Nate FosterCornell University, Dexter KozenCornell University, Alexandra SilvaUniversity College London
DOI File Attached
POPL-2017-papers
17:20 - 18:20: POPL - Business meeting at Auditorium
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2017-papers17:20 - 17:40
Talk
Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2017-papers17:40 - 17:50
Talk
Andrew MyersCornell University, Ranjit JhalaUniversity of California, San Diego
POPL-2017-papers17:50 - 18:20
Meeting
Andrew D. GordonMicrosoft Research and University of Edinburgh

Fri 20 Jan

POPL-2017-papers
09:05 - 10:00: POPL - Invited speaker at Auditorium
Chair(s): Giuseppe CastagnaParis Diderot University & CNRS
POPL-2017-papers09:05 - 10:00
Talk
POPL-2017-papers
10:30 - 12:10: POPL - Type Systems 3 at Auditorium
Chair(s): Derek DreyerMPI-SWS
POPL-2017-papers10:30 - 10:55
Talk
Andrej DudenhefnerTechnical University Dortmund, Jakob RehofTechnical University Dortmund
POPL-2017-papers10:55 - 11:20
Talk
Nada AminEPFL, Tiark RompfPurdue University
POPL-2017-papers11:20 - 11:45
Talk
Carlo AngiuliCarnegie Mellon University, Robert Harper, Todd WilsonCalifornia State University Fresno
POPL-2017-papers11:45 - 12:10
Talk
Stephen ChangNortheastern University, Alex KnauthNortheastern University, Ben GreenmanNortheastern University
POPL-2017-papers
10:30 - 12:10: POPL - Verification and Synthesis at Amphitheater 44
Chair(s): Benjamin DelawarePurdue University
POPL-2017-papers10:30 - 10:55
Talk
Yu FengUniversity of Texas at Austin, USA, Ruben Martins, Yuepeng WangUniversity of Texas at Austin, Isil DilligUT Austin, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
POPL-2017-papers10:55 - 11:20
Talk
Joshua MoermanRadboud University, Matteo SammartinoUniversity College London, Alexandra SilvaUniversity College London, Bartek KlinUniversity of Warsaw, Michał SzynwelskiUniversity of Warsaw
POPL-2017-papers11:20 - 11:45
Talk
Ahmed BouajjaniIRIF, Université Paris Diderot, Constantin EneaLIAFA, Université Paris Diderot, Rachid Guerraoui, Jad HamzaLIAFA, Université Paris Diderot
POPL-2017-papers11:45 - 12:10
Talk
Akhilesh SrikanthGeorgia Institute of Technology, Burak SahinGeorgia Institute of Technology, William Harris
POPL-2017-papers
14:20 - 16:00: POPL - Concurrency 3 at Amphitheater 44
Chair(s): Adam ChlipalaMIT
POPL-2017-papers14:20 - 14:45
Talk
Ananya Kumar, Guy E. BlellochCarnegie Mellon University, Robert Harper
POPL-2017-papers14:45 - 15:10
Talk
Igor KonnovTU Wien, Marijana LazićTU Wien, Helmut VeithTU Wien, Josef WidderTU Wien
DOI Pre-print
POPL-2017-papers15:10 - 15:35
Talk
Xinxin LiuInstitute of software, Chinese academy of sciences, Tingting Yu, Wenhui ZhangInstitute of software, Chinese academy of sciences
POPL-2017-papers15:35 - 16:00
Talk
Julien LangeImperial College London, Nicholas NgImperial College London, Bernardo ToninhoImperial College London, Nobuko YoshidaImperial College London, UK
Pre-print
POPL-2017-papers
14:20 - 16:00: POPL - Gradual Typing and Contracts at Auditorium
Chair(s): Ronald GarciaUniversity of British Columbia
POPL-2017-papers14:20 - 14:45
Talk
Michael Vitousek, Cameron SwordsIndiana University, Jeremy G. SiekIndiana University Bloomington
POPL-2017-papers14:45 - 15:10
Talk
Nicolás Lehmann, Éric TanterUniversity of Chile, Chile
Link to publication DOI Pre-print
POPL-2017-papers15:10 - 15:35
Talk
Matteo CiminiIndiana University, USA, Jeremy G. SiekIndiana University Bloomington
POPL-2017-papers15:35 - 16:00
Talk
Khurram A. JaferyUniversity of British Columbia, Joshua DunfieldUniversity of British Columbia
POPL-2017-papers
16:30 - 17:45: POPL - Quantum at Amphitheater 44
Chair(s): Michele PaganiIRIF, Université Paris Diderot
POPL-2017-papers16:30 - 16:55
Talk
Mingsheng YingUniversity of Technology Sydney, Australia, Shenggang YingUniversity of Technology Sydney, Australia, Xiaodi WuUniversity of Oregon, USA
POPL-2017-papers16:55 - 17:20
Talk
Ugo Dal LagoUniversity of Bologna, France, Claudia Faggian, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay, Akira YoshimizuUniv.Tokyo
POPL-2017-papers17:20 - 17:45
Talk
Jennifer Paykin, Robert RandUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
POPL-2017-papers
16:30 - 17:45: POPL - Security and Privacy at Auditorium
Chair(s): Cătălin HriţcuInria Paris
POPL-2017-papers16:30 - 16:55
Talk
Nada AminEPFL, Tiark RompfPurdue University
POPL-2017-papers16:55 - 17:20
Talk
Mounir AssafStevens Institute of Technology, David NaumannStevens Institute of Technology, Julien SignolesCEA LIST, Éric TotelCentraleSupélec, Frédéric TronelCentraleSupélec
POPL-2017-papers17:20 - 17:45
Talk
Danfeng ZhangPennsylvania State University, Daniel KiferDept. of Computer Science and Engineering, Penn State University

Call for Papers

Scope

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. Papers discussing new ideas and new areas are encouraged, as are papers (often called “pearls”) that elucidate existing concepts in ways that yield new insights. We are looking for any submission with the potential to make enduring contributions to the theory, design, implementation or application of programming languages.

The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

Evaluation

The Program Committee will evaluate the technical contribution of each submission as well as its accessibility to both experts and the general POPL audience. All papers will be judged on significance, originality, relevance, correctness, and clarity.

Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. Hence, we encourage the submission of pearls: elegant essays that explain an old idea, but do so in a new way that clarifies the idea and yields new insights. There is no formal separation of categories; pearls will be held to the same standards as any other paper.

Each paper should explain its contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Authors should strive to make their papers understandable to a broad audience. Advice on writing technical papers can be found on the SIGPLAN author information page.

A document that details principles underlying organizational and reviewing policies can be found here.

A document containing frequently asked questions about the reviewing and submission process, especially as it pertains to double-blind reviewing, can be found here.

The Program Committee, displayed to the right, meets face-to-face to make the final selection; the Program Committee is assisted by a larger External Review Committee, also displayed to the right. PC papers are reviewed and selected entirely by the ERC.

Submission guidelines

Prior to the registration deadline, the authors will register their paper by uploading information on the submission title, abstract (of at most 300 words), authors, topics, and conflicts to the conference web site. Papers that are not registered on time will be rejected.

Prior to the final paper submission deadline, the authors will upload their full paper in double blind format and formatted according to the ACM proceedings format. Each paper should have no more than 12 pages of text, excluding bibliography, in 9 pt format. Papers may be resubmitted multiple times up until the deadline. The last version submitted before the deadline will be the version that is reviewed. Papers that exceed the length requirement or deviate from the expected format or are submitted late will be rejected.

Deadlines expire at midnight anywhere on earth on the Important Dates displayed to the right.

Templates for ACM format are available for Microsoft Word and LaTeX at http://www.sigplan.org/Resources/Author (use the 9 pt preprint template). Submissions should be in PDF and printable on US Letter and A4 sized paper.

Submitted papers must adhere to the SIGPLAN Republication Policy and the ACM Policy on Plagiarism. Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed.

POPL 2017 will employ a lightweight double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules:

  1. author names and institutions must be omitted, and
  2. references to authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”).

The purpose of this process is to help the PC and external reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. A document answering frequently asked questions should address many common concerns.

The submission itself is the object of review and so it should strive to convince the reader of at least the plausibility of reported results. Still, we encourage authors to provide any supplementary material that is required to support the claims made in the paper, such as detailed proofs, proof scripts, or experimental data. These materials should be uploaded at submission time, as a single pdf or a tarball, not via a URL. Two forms of supplementary material may be submitted.

  1. Anonymous supplementary material is available to the reviewers before they submit their first-draft reviews.
  2. Non-anonymous supplementary material is available to the reviewers after they have submitted their first-draft reviews and learnt the identity of the authors.

Use the anonymous form if possible. Reviewers are under no obligation to look at the supplementary material but may refer to it if they have questions about the material in the body of the paper.

Artifact Evaluation

Authors of accepted papers will be invited to formally submit supporting materials to the Artifact Evaluation process. Artifact Evaluation is run by a separate committee whose task is to assess how the artifacts support the work described in the papers. This submission is voluntary and will not influence the final decision regarding the papers. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Authors of accepted papers are encouraged to make these materials publicly available upon publication of the proceedings, by including them as “source materials” in the ACM Digital Library.

Publication

Final versions of accepted papers are allowed up to 12 pages excluding the bibliography. In addition, at most two additional pages may be purchased at $200 per page. This additional amount will be due at registration for the conference.

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.)

Accepted Papers

Title
Link to publication Pre-print Media Attached
DOI Pre-print
Pre-print Media Attached File Attached
Pre-print
DOI File Attached
Pre-print
Pre-print
Pre-print
Link to publication DOI Pre-print
DOI Pre-print Media Attached
Pre-print
Pre-print
Pre-print Media Attached