Write a Blog >>

Welcome to the site describing the submission instructions for ACM PLDI’17. ACM PLDI’17 will take place June 19-21. Workshops and tutorials will take place June18, 22-23.

Accepted Papers

Title
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Pre-print Media Attached
Media Attached
Media Attached
Pre-print Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Pre-print Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Pre-print Media Attached
Media Attached
Media Attached
Media Attached
Pre-print Media Attached

Call for papers

PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. PLDI welcomes outstanding research which clearly advances the field and has the potential to make a lasting contribution. The kind of research valued by PLDI includes but is not limited to:

  • new and well motivated theoretical results
  • inter-disciplinary work which connects programming languages with other fields
  • concepts and generalizations that lead to better understanding of current developments
  • thorough experimental studies which result in new insights
  • well designed systems that solve a difficult practical challenge

Evaluation of PLDI submissions

PLDI submissions will be evaluated based on their technical merit and accessibility. Submissions should clearly motivate the importance of the problem being addressed, compare to the existing body of work on the topic, and precisely state the paper’s key contributions and results towards addressing the problem. Submissions should strive to be accessible to both, broad audiences, as well as experts in the area.

General advice on writing research papers can be found here: http://www.sigplan.org/Resources/Author/

PLDI submissions will be evaluated by the Program Committee (PC), External Program Committee (EPC) and the larger External Review Committee (ERC). The PC will meet physically to make the final selection. The main purpose of the ERC is to assist the PC in reviewing all non-PC submissions. PC and ERC members will not review PC submissions. The main purpose of the EPC is to review PC submissions.

Submission Guidelines

Below are several guidelines to help prepare your submission to PLDI.

Double-Blind Reviewing

PLDI will employ double-blind reviewing. This means that author names and affiliations must be omitted from the submission. If the submission refers to work done by the authors, that reference should be made in third person. If you have issues in making your paper double blind, please contact the PC chair. Submissions which are not double-blind (e.g., author names are shown in the submission) will be rejected procedurally. Any supplementary material should also be anonymized.

Submission Site and Information

The submission site is: https://pldi17.hotcrp.com

One can submit multiple times prior to the deadline. Only the last submission will be reviewed. There is no abstract deadline. The submission site requires filling the author names and affiliations, relevant topics and potential conflicts.

Addition or removal of authors after the paper is accepted will need to be approved by the PC chair (as this potentially undermines the goal of eliminating conflicts during paper assignment).

The submission deadline expires at midnight anywhere on earth: https://en.wikipedia.org/wiki/Anywhere_on_Earth

Declaring Conflicts

When submitting the paper, you will need to declare potential conflicts. Conflicts should be declared between an adviser and an advisee (e.g., PhD, post-doc). Other conflicts include institutional conflicts, financial conflicts of interest, friends or relatives, or any recent co-authors on papers and proposals (last 2 years).

Please do not declare spurious conflicts: declaration of spurious conflicts that aims to exclude potential reviewers is especially harmful and will lead to rejection. If you are unsure about a conflict, please consult the PC chair.

Formatting

Papers should be formatted according to the two-column ACM proceedings format. Each paper should have no more than 12 pages of text, excluding bibliography, in 10 pt font. There is no limit on the page count for references. Each reference must list all authors of the paper. The citations should be in numerical style, e.g., [52].

Appendices should not be part of the paper, but should be submitted as supplementary material (this material should also be anonymized). Papers that exceed the length requirement or deviate from the expected format will be rejected. Make sure that figures and tables are legible, even after the paper is printed in gray-scale.

Templates for ACM format are available for Microsoft Word and LaTeX at http://www.sigplan.org/Resources/Author The preprint template should be set to use 10pt font and `numbers’ to ensure numerical style citations, that is:

      \documentclass[preprint, 10pt, numbers]{sigplanconf}

Submissions should be in PDF format and printable on US Letter and A4 sized paper.

Supplementary Material

Authors are free to provide supplementary material if that material supports the claims in the paper. Such material may include proofs, experimental results, or data sets. This material should be uploaded at the same time as the submission. Reviewers are not required to look into the supplementary material but may refer to it if they would like to find further evidence supporting the claims in the paper.

Plagiarism and Concurrent Work

Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy: http://www.sigplan.org/Resources/Policies/Republication/. Authors should also be aware of the ACM Policy on Plagiarism: http://www.acm.org/publications/policies/policies/plagiarism_policy/.

Concurrent submissions to other conferences, workshops, journals, or similar venues of publication are disallowed. If you have further questions, please contact the PC chair.

Artifact Evaluation for Accepted Papers

For an accepted PLDI paper, the authors will be invited to submit supporting materials to the Artifact Evaluation process (AEC). 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.

Accepted papers

The PLDI’17 technical papers will be made available (once the conference starts and for one month following) via 1-click download from the ACM Digital Library.

Publication date note

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.)

Mon 19 Jun

pldi-2017-papers
10:00 - 10:30: PLDI Research Papers - 1' pitches of the day at Auditorium, Vertex Building
pldi-2017-papers149785920000010:00 - 10:30
Other
pldi-2017-papers
10:50 - 12:30: PLDI Research Papers - Compiler Optimizations at Aula Master
Chair(s): Uday BondhugulaIndian Institute of Science
pldi-2017-papers149786220000010:50 - 11:15
Talk
Jonathan Lifflander, Sriram KrishnamoorthyPacific Northwest National Laboratories
pldi-2017-papers149786370000011:15 - 11:40
Talk
Olli Saarikivi, Margus VeanesMicrosoft Research, Todd Mytkowicz, Madan MusuvathiMicrosoft Research
pldi-2017-papers149786520000011:40 - 12:05
Talk
Yufei DingNorth Carolina State University, Lin NingNorth Carolina State University, Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University
Media Attached
pldi-2017-papers149786670000012:05 - 12:30
Talk
David MenendezRutgers University, Santosh NagarakatteRutgers University, USA
Media Attached
pldi-2017-papers
10:50 - 12:30: PLDI Research Papers - Learning and Probabilistic at Actes, Civil Engineering
Chair(s): Swarat ChaudhuriRice University
pldi-2017-papers149786220000010:50 - 11:15
Talk
Kuat YessenovMIT, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT CSAIL
Media Attached
pldi-2017-papers149786370000011:15 - 11:40
Talk
Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion
pldi-2017-papers149786520000011:40 - 12:05
Talk
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
pldi-2017-papers149786670000012:05 - 12:30
Talk
Daniel HuangHarvard University, Jean-Baptiste TristanOracle Labs, Greg MorrisettCornell University
Media Attached
pldi-2017-papers
14:00 - 15:40: PLDI Research Papers - Concurrency Analysis at Aula Master
Chair(s): Jeff HuangTexas A&M University
pldi-2017-papers149787360000014:00 - 14:25
Talk
Ariel EizenbergUniversity of Pennsylvania, Yuanfeng PengUniversity of Pennsylvania, Toma PigliUniversity of Pennsylvania, William ManskyPrinceton University, Joseph DeviettiUniversity of Pennsylvania
pldi-2017-papers149787510000014:25 - 14:50
Talk
Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen FreundWilliams College
pldi-2017-papers149787660000014:50 - 15:15
Talk
Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
Media Attached
pldi-2017-papers149787810000015:15 - 15:40
Talk
Marina BillesTU Darmstadt, Anders MøllerAarhus University, Michael PradelTU Darmstadt
Media Attached
pldi-2017-papers
14:00 - 15:40: PLDI Research Papers - Language Implementation at Actes, Civil Engineering
Chair(s): David F. BaconGoogle
pldi-2017-papers149787360000014:00 - 14:25
Talk
Andreas HaasGoogle, Andreas RossbergGoogle, Derek SchuffGoogle, Ben L. TitzerGoogle, Dan GohmanMozilla, Luke WagnerMozilla, Alon ZakaiMozilla, JF BastienApple, Michael HolmanMicrosoft
Media Attached
pldi-2017-papers149787510000014:25 - 14:50
Talk
Dmytro PetrashkoEPFL, Ondřej LhotákUniversity of Waterloo, Canada, Martin OderskyEPFL, Switzerland
Media Attached
pldi-2017-papers149787660000014:50 - 15:15
Talk
Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton
Media Attached
pldi-2017-papers149787810000015:15 - 15:40
Talk
Piyus KediaIndian Institute of Technology Delhi, Manuel CostaMicrosoft Research, Matthew ParkinsonMicrosoft Research, UK, Kapil VaswaniMicrosoft Research, Dimitrios VytiniotisMicrosoft Research, Cambridge
Media Attached
pldi-2017-papers
16:10 - 17:50: PLDI Research Papers - Dynamic Analysis and Testing at Actes, Civil Engineering
Chair(s): Michael PradelTU Darmstadt
pldi-2017-papers149788140000016:10 - 16:35
Talk
Zhoulai FuUniversity of California, Davis, Zhendong SuUniversity of California, Davis
Media Attached
pldi-2017-papers149788290000016:35 - 17:00
Talk
Buddhika ChamithIndiana University, Luke DalessandroIndiana University, Bo Joel SvenssonChalmers University of Technology, Sweden, Ryan R. NewtonIndiana University
Media Attached
pldi-2017-papers149788440000017:00 - 17:25
Talk
Amanieu d'AntrasUniversity of Manchester, Cosmin GorgovanUniversity of Manchester, Jim GarsideUniversity of Manchester, Mikel Lujan
Media Attached
pldi-2017-papers149788590000017:25 - 17:50
Talk
Qirun ZhangUniversity of California, Davis, Chengnian SunUniversity of California, Davis, Zhendong SuUniversity of California, Davis
Media Attached
pldi-2017-papers
16:10 - 17:50: PLDI Research Papers - Static Analysis at Aula Master
Chair(s): Loris D'AntoniUniversity of Wisconsin–Madison
pldi-2017-papers149788140000016:10 - 16:35
Talk
Zachary KincaidPrinceton University, Jason BreckUniversity of Wisconsin-Madison, Ashkan Forouhi BoroujeniUniversity of Wisconsin-Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
Media Attached
pldi-2017-papers149788290000016:35 - 17:00
Talk
Rei ThiessenUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada
Media Attached
pldi-2017-papers149788440000017:00 - 17:25
Talk
Tian TanUNSW Australia, Yue LiUNSW Australia, Jingling XueUNSW Australia
Pre-print Media Attached
pldi-2017-papers149788590000017:25 - 17:50
Talk
Anirudh SanthiarIndian Institute of Science, Aditya KanadeIndian Institute of Science, Bangalore
Media Attached

Tue 20 Jun

pldi-2017-papers
09:50 - 10:25: PLDI Research Papers - 1' pitches of the day and the next day at Auditorium, Vertex Building
pldi-2017-papers149794500000009:50 - 10:25
Other
pldi-2017-papers
10:50 - 12:30: PLDI Research Papers - Static Analysis and Security at Aula Master
Chair(s): Mayur NaikGeorgia Tech
pldi-2017-papers149794860000010:50 - 11:15
Talk
Timos AntonopoulosYale University, Paul GazzilloYale University, Michael HicksUniversity of Maryland, College Park, Eric KoskinenYale University, Tachio TerauchiJAIST, Shiyi WeiUniversity of Maryland, College Park
Media Attached
pldi-2017-papers149795010000011:15 - 11:40
Talk
Qinheping HuUniversity of Wisconsin-Madison, Loris D'AntoniUniversity of Wisconsin–Madison
Media Attached
pldi-2017-papers149795160000011:40 - 12:05
Talk
Peter OhmannUniversity of Wisconsin - Madison, Alexander L. BrooksUniversity of Wisconsin, Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Ben LiblitUniversity of Wisconsin–Madison
Pre-print Media Attached
pldi-2017-papers149795310000012:05 - 12:30
Talk
Goran DoychevIMDEA Software Institute, Boris KöpfIMDEA Software Institute, Spain
Media Attached
pldi-2017-papers
10:50 - 12:30: PLDI Research Papers - Synthesis at Actes, Civil Engineering
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign
pldi-2017-papers149794860000010:50 - 11:15
Talk
Yu FengUniversity of Texas at Austin, USA, Ruben Martins, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Swarat ChaudhuriRice University
Media Attached
pldi-2017-papers149795010000011:15 - 11:40
Talk
Ryan BeckettPrinceton University, Ratul MahajanMicrosoft, Todd MillsteinUniversity of California, Los Angeles, Jitendra PadhyeMicrosoft, David WalkerPrinceton University
Media Attached
pldi-2017-papers149795160000011:40 - 12:05
Talk
Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington
Media Attached
pldi-2017-papers149795310000012:05 - 12:30
Talk
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington, USA
Pre-print Media Attached
pldi-2017-papers
14:00 - 15:40: PLDI Research Papers - Functional Programming and Correctness at Aula Master
Chair(s): Francesco LogozzoFacebook
pldi-2017-papers149796000000014:00 - 14:25
Talk
Luke MaurerUniversity of Oregon, USA, Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
pldi-2017-papers149796150000014:25 - 14:50
Talk
Daniel PattersonNortheastern University, Jamie PercontiNortheastern University, Christos DimoulasHarvard University, USA, Amal AhmedNortheastern University, USA
Media Attached
pldi-2017-papers149796300000014:50 - 15:15
Talk
Shumo ChuUniversity of Washington, USA, Konstantin WeitzUniversity of Washington, USA, Alvin CheungUniversity of Washington, Dan SuciuUniversity of Washington
Media Attached
pldi-2017-papers149796450000015:15 - 15:40
Talk
Richard A. EisenbergBryn Mawr College, USA, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
pldi-2017-papers
14:00 - 15:40: PLDI Research Papers - Parallelization and Concurrency at Actes, Civil Engineering
Chair(s): Milind KulkarniPurdue University
pldi-2017-papers149796000000014:00 - 14:25
Talk
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
pldi-2017-papers149796150000014:25 - 14:50
Talk
Troels HenriksenDIKU, University of Copenhagen, Niels G. W. SerupDIKU, University of Copenhagen, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Fritz HengleinDIKU, Denmark, Cosmin OanceaDIKU, University of Copenhagen
Media Attached
pldi-2017-papers149796300000014:50 - 15:15
Talk
Grigory FedyukovichUW CSE, Maaz Bin Safeer AhmadUW / CSE, Rastislav BodikUniversity of Washington
Pre-print Media Attached
pldi-2017-papers149796450000015:15 - 15:40
Talk
Colin GordonDrexel University, Michael D. ErnstUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Matthew ParkinsonMicrosoft Research, UK
Pre-print Media Attached
pldi-2017-papers
16:10 - 17:00: PLDI Research Papers - Correctness at Actes, Civil Engineering
Chair(s): Joseph DeviettiUniversity of Pennsylvania
pldi-2017-papers149796780000016:10 - 16:35
Talk
Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, Derek DreyerMPI-SWS
Media Attached
pldi-2017-papers149796930000016:35 - 17:00
Talk
Juneyoung LeeSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Chung-Kil HurSeoul National University, Sanjoy DasAzul Systems, David MajnemerGoogle, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research
Media Attached
pldi-2017-papers
16:10 - 17:00: PLDI Research Papers - Verified Computation at Aula Master
Chair(s): Alvin CheungUniversity of Washington
pldi-2017-papers149796780000016:10 - 16:35
Talk
Timothy BourkeINRIA, Lélio BrunENS/Inria, Pierre-Evariste DagandLIP6/CNRS , Xavier LeroyInria, Marc PouzetÉcole normale supérieure, Lionel RiegCollège de France
Media Attached
pldi-2017-papers149796930000016:35 - 17:00
Talk
Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Phi-Diep BuiUppsala University, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp RuemmerUppsala University
Media Attached

Wed 21 Jun

pldi-2017-papers
10:20 - 12:00: PLDI Research Papers - Systems and Performance at Auditorium, Vertex Building
Chair(s): Dan GrossmanUniversity of Washington
pldi-2017-papers149803320000010:20 - 10:45
Talk
Scott SchneiderIBM Research, Kun-Lung WuIBM Research
Media Attached
pldi-2017-papers149803470000010:45 - 11:10
Talk
Thomas WuerthingerOracle Labs, Christian Wimmer, Christian HumerOracle Labs, Switzerland, Andreas WoessOracle Labs, Lukas StadlerOracle Labs, Austria, Chris SeatonOracle Labs, Gilles DuboscqOracle Labs, Doug SimonOracle Labs, Matthias GrimmerOracle Labs, Austria
Media Attached
pldi-2017-papers149803620000011:10 - 11:35
Talk
Stefan K. Muller, Umut AcarCarnegie Mellon University, Robert HarperCWI
Media Attached
pldi-2017-papers149803770000011:35 - 12:00
Talk
Konstantinos MamourasUniversity of Pennsylvania, Mukund RaghotamanUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Sanjeev KhannaUniversity of Pennsylvania
Media Attached
pldi-2017-papers
pldi-2017-papers149803920000012:00 - 12:15
Awards
pldi-2017-papers149804010000012:15 - 12:30
Day closing