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
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 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 10:30 | |||
10:00 30mOther | 1' Pitches of Monday PLDI Research Papers |
10:50 - 12:30 | Learning and ProbabilisticPLDI Research Papers at Actes, Civil Engineering Chair(s): Swarat Chaudhuri Rice University | ||
10:50 25mTalk | DemoMatch: API Discovery from Demonstrations PLDI Research Papers Media Attached | ||
11:15 25mTalk | Similarity of Binaries through re-Optimization PLDI Research Papers | ||
11:40 25mTalk | Synthesizing Program Input Grammars PLDI Research Papers Osbert Bastani Stanford University, Rahul Sharma Microsoft Research, Alex Aiken Stanford University, Percy Liang Stanford University Media Attached | ||
12:05 25mTalk | Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling PLDI Research Papers Daniel Huang Harvard University, Jean-Baptiste Tristan Oracle Labs, Greg Morrisett Cornell University Media Attached |
10:50 - 12:30 | Compiler OptimizationsPLDI Research Papers at Aula Master Chair(s): Uday Bondhugula Indian Institute of Science | ||
10:50 25mTalk | Cache Locality Optimization for Recursive Programs PLDI Research Papers | ||
11:15 25mTalk | Fusing Effectful Comprehensions PLDI Research Papers Olli Saarikivi , Margus Veanes Microsoft Research, Todd Mytkowicz , Madan Musuvathi Microsoft Research | ||
11:40 25mTalk | Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction PLDI Research Papers Yufei Ding North Carolina State University, Lin Ning North Carolina State University, Hui Guan North Carolina State University, Xipeng Shen North Carolina State University Media Attached | ||
12:05 25mTalk | ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM PLDI Research Papers Media Attached |
14:00 - 15:40 | |||
14:00 25mTalk | BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs PLDI Research Papers Ariel Eizenberg University of Pennsylvania, Yuanfeng Peng University of Pennsylvania, Toma Pigli University of Pennsylvania, William Mansky Princeton University, Joseph Devietti University of Pennsylvania | ||
14:25 25mTalk | BigFoot: Static Check Placement for Dynamic Race Detection PLDI Research Papers Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College | ||
14:50 25mTalk | Dynamic Race Prediction in Linear Time PLDI Research Papers Dileep Kini University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign Media Attached | ||
15:15 25mTalk | Systematic Black-Box Analysis of Collaborative Web Applications PLDI Research Papers Media Attached |
16:10 - 17:50 | Dynamic Analysis and TestingPLDI Research Papers at Actes, Civil Engineering Chair(s): Michael Pradel TU Darmstadt | ||
16:10 25mTalk | Achieving High Coverage for Floating-point Code via Unconstrained Programming PLDI Research Papers Media Attached | ||
16:35 25mTalk | Instruction Punning: Lightweight Instrumentation for x86-64 PLDI Research Papers Buddhika Chamith Indiana University, Luke Dalessandro Indiana University, Bo Joel Svensson Chalmers University of Technology, Sweden, Ryan R. Newton Indiana University Media Attached | ||
17:00 25mTalk | Low Overhead Dynamic Binary Translation on ARM PLDI Research Papers Amanieu d'Antras University of Manchester, Cosmin Gorgovan University of Manchester, Jim Garside University of Manchester, Mikel Luján Media Attached | ||
17:25 25mTalk | Skeletal Program Enumeration for Rigorous Compiler Testing PLDI Research Papers Qirun Zhang University of California, Davis, Chengnian Sun University of California, Davis, Zhendong Su University of California, Davis Media Attached |
16:10 - 17:50 | Static AnalysisPLDI Research Papers at Aula Master Chair(s): Loris D'Antoni University of Wisconsin–Madison | ||
16:10 25mTalk | Compositional Recurrence Analysis Revisited PLDI Research Papers Zachary Kincaid Princeton University, Jason Breck University of Wisconsin-Madison, Ashkan Forouhi Boroujeni University of Wisconsin-Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc. Media Attached | ||
16:35 25mTalk | Context Transformations for Pointer Analysis PLDI Research Papers Media Attached | ||
17:00 25mTalk | Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata PLDI Research Papers Pre-print Media Attached | ||
17:25 25mTalk | Static Deadlock Detection for Asynchronous C# Programs PLDI Research Papers Media Attached |
Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:50 - 10:25 | |||
09:50 35mOther | 1' Pitches of Tuesday and Wednesday PLDI Research Papers |
10:50 - 12:30 | |||
10:50 25mTalk | Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels PLDI Research Papers Timos Antonopoulos Yale University, Paul Gazzillo Yale University, Michael Hicks University of Maryland, College Park, Eric Koskinen Yale University, Tachio Terauchi JAIST, Shiyi Wei University of Maryland, College Park Media Attached | ||
11:15 25mTalk | Automatic Program Inversion using Symbolic Transducers PLDI Research Papers Media Attached | ||
11:40 25mTalk | Control-Flow Recovery from Partial Failure Reports PLDI Research Papers Peter Ohmann University of Wisconsin - Madison, Alexander L. Brooks University of Wisconsin, Madison, Loris D'Antoni University of Wisconsin–Madison, Ben Liblit University of Wisconsin–Madison Pre-print Media Attached | ||
12:05 25mTalk | Rigorous Analysis of Software Countermeasures against Cache Attacks PLDI Research Papers Media Attached |
14:00 - 15:40 | Functional Programming and CorrectnessPLDI Research Papers at Aula Master Chair(s): Francesco Logozzo Facebook | ||
14:00 25mTalk | Compiling without continuations PLDI Research Papers Luke Maurer University of Oregon, USA, Paul Downen University of Oregon, USA, Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft Research, Cambridge Media Attached | ||
14:25 25mTalk | FunTAL: Reasonably Mixing a Functional Language with Assembly PLDI Research Papers Daniel Patterson Northeastern University, Jamie Perconti Northeastern University, Christos Dimoulas Harvard University, USA, Amal Ahmed Northeastern University, USA Media Attached | ||
14:50 25mTalk | HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics PLDI Research Papers Shumo Chu University of Washington, USA, Konstantin Weitz University of Washington, USA, Alvin Cheung University of Washington, Dan Suciu University of Washington Media Attached | ||
15:15 25mTalk | Levity Polymorphism PLDI Research Papers Media Attached |
16:10 - 17:00 | CorrectnessPLDI Research Papers at Actes, Civil Engineering Chair(s): Joseph Devietti University of Pennsylvania | ||
16:10 25mTalk | Repairing Sequential Consistency in C/C++11 PLDI Research Papers Ori Lahav MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany, Jeehoon Kang Seoul National University, Chung-Kil Hur Seoul National University, Derek Dreyer MPI-SWS Media Attached | ||
16:35 25mTalk | Taming Undefined Behavior in LLVM PLDI Research Papers Juneyoung Lee Seoul National University, Yoonseung Kim Seoul National University (South Korea), Youngju Song Seoul National University, Chung-Kil Hur Seoul National University, Sanjoy Das Azul Systems, David Majnemer Google, John Regehr University of Utah, Nuno P. Lopes Microsoft Research Pre-print Media Attached |
16:10 - 17:00 | Verified ComputationPLDI Research Papers at Aula Master Chair(s): Alvin Cheung University of Washington | ||
16:10 25mTalk | A Formally Verified Compiler for Lustre PLDI Research Papers Timothy Bourke INRIA, Lelio Brun ENS/Inria, Pierre-Evariste Dagand LIP6/CNRS , Xavier Leroy Inria, Marc Pouzet École normale supérieure, Lionel Rieg Collège de France Media Attached | ||
16:35 25mTalk | Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) PLDI Research Papers Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Bui Phi Diep Uppsala University, Yu-Fang Chen , Lukáš Holík , Ahmed Rezine , Philipp Ruemmer Uppsala University Media Attached |
Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:00 - 12:30 | |||
12:00 15mAwards | Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards PLDI Research Papers | ||
12:15 15mDay closing | Closing PLDI Research Papers Albert Cohen INRIA |