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 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 10:30 Other | 1' Pitches of Monday PLDI Research Papers |
10:50 - 12:30: Learning and ProbabilisticPLDI Research Papers at Actes, Civil Engineering Chair(s): Swarat ChaudhuriRice University | |||
10:50 - 11:15 Talk | DemoMatch: API Discovery from Demonstrations PLDI Research Papers Media Attached | ||
11:15 - 11:40 Talk | Similarity of Binaries through re-Optimization PLDI Research Papers | ||
11:40 - 12:05 Talk | Synthesizing Program Input Grammars PLDI Research Papers Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University Media Attached | ||
12:05 - 12:30 Talk | Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling PLDI Research Papers Media Attached |
10:50 - 12:30: Compiler OptimizationsPLDI Research Papers at Aula Master Chair(s): Uday BondhugulaIndian Institute of Science | |||
10:50 - 11:15 Talk | Cache Locality Optimization for Recursive Programs PLDI Research Papers | ||
11:15 - 11:40 Talk | Fusing Effectful Comprehensions PLDI Research Papers | ||
11:40 - 12:05 Talk | Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction PLDI Research Papers Yufei DingNorth Carolina State University, Lin NingNorth Carolina State University, Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University Media Attached | ||
12:05 - 12:30 Talk | ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM PLDI Research Papers Media Attached |
14:00 - 15:40: Language ImplementationPLDI Research Papers at Actes, Civil Engineering Chair(s): David F. BaconGoogle | |||
14:00 - 14:25 Talk | Bringing the Web up to Speed with WebAssembly PLDI Research Papers Andreas HaasGoogle, Andreas RossbergGoogle, Derek SchuffGoogle, Ben L. TitzerGoogle, Dan GohmanMozilla, Luke WagnerMozilla, Alon ZakaiMozilla, JF BastienApple, Michael HolmanMicrosoft Media Attached | ||
14:25 - 14:50 Talk | Miniphases: Compilation using Modular and Efficient Tree Transformations PLDI Research Papers Media Attached | ||
14:50 - 15:15 Talk | Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking PLDI Research Papers Media Attached | ||
15:15 - 15:40 Talk | Simple, fast and safe manual memory management PLDI Research Papers Piyus KediaIndian Institute of Technology Delhi, Manuel CostaMicrosoft Research, Matthew ParkinsonMicrosoft Research, UK, Kapil VaswaniMicrosoft Research, Dimitrios VytiniotisMicrosoft Research, Cambridge Media Attached |
14:00 - 15:40: Concurrency AnalysisPLDI Research Papers at Aula Master Chair(s): Jeff HuangTexas A&M University | |||
14:00 - 14:25 Talk | BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs PLDI Research Papers Ariel EizenbergUniversity of Pennsylvania, Yuanfeng PengUniversity of Pennsylvania, Toma PigliUniversity of Pennsylvania, William ManskyPrinceton University, Joseph DeviettiUniversity of Pennsylvania | ||
14:25 - 14:50 Talk | BigFoot: Static Check Placement for Dynamic Race Detection PLDI Research Papers Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen N. FreundWilliams College | ||
14:50 - 15:15 Talk | Dynamic Race Prediction in Linear Time PLDI Research Papers Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign Media Attached | ||
15:15 - 15:40 Talk | Systematic Black-Box Analysis of Collaborative Web Applications PLDI Research Papers Media Attached |
16:10 - 17:50: Static AnalysisPLDI Research Papers at Aula Master Chair(s): Loris D'AntoniUniversity of Wisconsin–Madison | |||
16:10 - 16:35 Talk | Compositional Recurrence Analysis Revisited PLDI Research Papers Zachary KincaidPrinceton University, Jason BreckUniversity of Wisconsin-Madison, Ashkan Forouhi BoroujeniUniversity of Wisconsin-Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc. Media Attached | ||
16:35 - 17:00 Talk | Context Transformations for Pointer Analysis PLDI Research Papers Media Attached | ||
17:00 - 17:25 Talk | Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata PLDI Research Papers Pre-print Media Attached | ||
17:25 - 17:50 Talk | Static Deadlock Detection for Asynchronous C# Programs PLDI Research Papers Media Attached |
Tue 20 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:50 - 10:25: 1' pitches of the day and the next dayPLDI Research Papers at Auditorium, Vertex Building | |||
09:50 - 10:25 Other | 1' Pitches of Tuesday and Wednesday PLDI Research Papers |
10:50 - 12:30: Static Analysis and SecurityPLDI Research Papers at Aula Master Chair(s): Mayur NaikGeorgia Tech | |||
10:50 - 11:15 Talk | Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels PLDI Research Papers 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 | ||
11:15 - 11:40 Talk | Automatic Program Inversion using Symbolic Transducers PLDI Research Papers Media Attached | ||
11:40 - 12:05 Talk | Control-Flow Recovery from Partial Failure Reports PLDI Research Papers 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 | ||
12:05 - 12:30 Talk | 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 LogozzoFacebook | |||
14:00 - 14:25 Talk | Compiling without continuations PLDI Research Papers Luke MaurerUniversity of Oregon, USA, Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, Cambridge Media Attached | ||
14:25 - 14:50 Talk | FunTAL: Reasonably Mixing a Functional Language with Assembly PLDI Research Papers Daniel PattersonNortheastern University, Jamie PercontiNortheastern University, Christos DimoulasHarvard University, USA, Amal AhmedNortheastern University, USA Media Attached | ||
14:50 - 15:15 Talk | HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics PLDI Research Papers Shumo ChuUniversity of Washington, USA, Konstantin WeitzUniversity of Washington, USA, Alvin CheungUniversity of Washington, Dan SuciuUniversity of Washington Media Attached | ||
15:15 - 15:40 Talk | Levity Polymorphism PLDI Research Papers Media Attached |
16:10 - 17:00: CorrectnessPLDI Research Papers at Actes, Civil Engineering Chair(s): Joseph DeviettiUniversity of Pennsylvania | |||
16:10 - 16:35 Talk | Repairing Sequential Consistency in C/C++11 PLDI Research Papers Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, Derek DreyerMPI-SWS Media Attached | ||
16:35 - 17:00 Talk | Taming Undefined Behavior in LLVM PLDI Research Papers 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 |
16:10 - 17:00: Verified ComputationPLDI Research Papers at Aula Master Chair(s): Alvin CheungUniversity of Washington | |||
16:10 - 16:35 Talk | A Formally Verified Compiler for Lustre PLDI Research Papers 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 | ||
16:35 - 17:00 Talk | Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) PLDI Research Papers Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Bui Phi DiepUppsala University, Yu-Fang Chen, Lukáš Holík, Ahmed Rezine, Philipp RuemmerUppsala University Media Attached |
Wed 21 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:00 - 12:15 Awards | Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards PLDI Research Papers | ||
12:15 - 12:30 Day closing | Closing PLDI Research Papers Albert CohenINRIA |