PLDI 2017 PLDI Research Papers
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
10:50 - 12:30: PLDI Research Papers - Compiler Optimizations at Aula Master Chair(s): Uday BondhugulaIndian Institute of Science | ||||||||||||||||||||||||||||||||||||||||||
10:50 - 11:15 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:15 - 11:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
11: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 | |||||||||||||||||||||||||||||||||||||||||
12:05 - 12:30 Talk | Media Attached |
10:50 - 12:30: PLDI Research Papers - Learning and Probabilistic at Actes, Civil Engineering Chair(s): Swarat ChaudhuriRice University | ||||||||||||||||||||||||||||||||||||||||||
10:50 - 11:15 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:15 - 11:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:40 - 12:05 Talk | Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University Media Attached | |||||||||||||||||||||||||||||||||||||||||
12:05 - 12:30 Talk | Media Attached |
14:00 - 15:40: PLDI Research Papers - Concurrency Analysis at Aula Master Chair(s): Jeff HuangTexas A&M University | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 14:25 Talk | Ariel EizenbergUniversity of Pennsylvania, Yuanfeng PengUniversity of Pennsylvania, Toma PigliUniversity of Pennsylvania, William ManskyPrinceton University, Joseph DeviettiUniversity of Pennsylvania | |||||||||||||||||||||||||||||||||||||||||
14:25 - 14:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
14: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 | |||||||||||||||||||||||||||||||||||||||||
15:15 - 15:40 Talk | Media Attached |
14:00 - 15:40: PLDI Research Papers - Language Implementation at Actes, Civil Engineering Chair(s): David F. BaconGoogle | ||||||||||||||||||||||||||||||||||||||||||
14: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 | |||||||||||||||||||||||||||||||||||||||||
14:25 - 14:50 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:50 - 15:15 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
15: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 |
16:10 - 17:50: PLDI Research Papers - Dynamic Analysis and Testing at Actes, Civil Engineering Chair(s): Michael PradelTU Darmstadt | ||||||||||||||||||||||||||||||||||||||||||
16:10 - 16:35 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:35 - 17:00 Talk | Buddhika ChamithIndiana University, Luke DalessandroIndiana University, Bo Joel SvenssonChalmers University of Technology, Sweden, Ryan R. NewtonIndiana University Media Attached | |||||||||||||||||||||||||||||||||||||||||
17:00 - 17:25 Talk | Amanieu d'AntrasUniversity of Manchester, Cosmin GorgovanUniversity of Manchester, Jim GarsideUniversity of Manchester, Mikel Lujan Media Attached | |||||||||||||||||||||||||||||||||||||||||
17:25 - 17:50 Talk | Qirun ZhangUniversity of California, Davis, Chengnian SunUniversity of California, Davis, Zhendong SuUniversity of California, Davis Media Attached |
16:10 - 17:50: PLDI Research Papers - Static Analysis at Aula Master Chair(s): Loris D'AntoniUniversity of Wisconsin–Madison | ||||||||||||||||||||||||||||||||||||||||||
16: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 | |||||||||||||||||||||||||||||||||||||||||
16:35 - 17:00 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
17:00 - 17:25 Talk | Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
17:25 - 17:50 Talk | Media Attached |
Tue 20 Jun
09:50 - 10:25: PLDI Research Papers - 1' pitches of the day and the next day at Auditorium, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
09:50 - 10:25 Other |
10:50 - 12:30: PLDI Research Papers - Static Analysis and Security at Aula Master Chair(s): Mayur NaikGeorgia Tech | ||||||||||||||||||||||||||||||||||||||||||
10: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 | |||||||||||||||||||||||||||||||||||||||||
11:15 - 11:40 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
11: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 | |||||||||||||||||||||||||||||||||||||||||
12:05 - 12:30 Talk | Media Attached |
10:50 - 12:30: PLDI Research Papers - Synthesis at Actes, Civil Engineering Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign | ||||||||||||||||||||||||||||||||||||||||||
10: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 | |||||||||||||||||||||||||||||||||||||||||
11:15 - 11:40 Talk | Ryan BeckettPrinceton University, Ratul MahajanMicrosoft, Todd MillsteinUniversity of California, Los Angeles, Jitendra PadhyeMicrosoft, David WalkerPrinceton University Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:40 - 12:05 Talk | Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington Media Attached | |||||||||||||||||||||||||||||||||||||||||
12:05 - 12:30 Talk | Pre-print Media Attached |
14:00 - 15:40: PLDI Research Papers - Functional Programming and Correctness at Aula Master Chair(s): Francesco LogozzoFacebook | ||||||||||||||||||||||||||||||||||||||||||
14: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 | |||||||||||||||||||||||||||||||||||||||||
14:25 - 14:50 Talk | Daniel PattersonNortheastern University, Jamie PercontiNortheastern University, Christos DimoulasHarvard University, USA, Amal AhmedNortheastern University, USA Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:50 - 15:15 Talk | 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 | Media Attached |
14:00 - 15:40: PLDI Research Papers - Parallelization and Concurrency at Actes, Civil Engineering Chair(s): Milind KulkarniPurdue University | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 14:25 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
14: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 | |||||||||||||||||||||||||||||||||||||||||
14:50 - 15:15 Talk | Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
15: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 |
16:10 - 17:00: PLDI Research Papers - Correctness at Actes, Civil Engineering Chair(s): Joseph DeviettiUniversity of Pennsylvania | ||||||||||||||||||||||||||||||||||||||||||
16: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 | |||||||||||||||||||||||||||||||||||||||||
16: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 |
16:10 - 17:00: PLDI Research Papers - Verified Computation at Aula Master Chair(s): Alvin CheungUniversity of Washington | ||||||||||||||||||||||||||||||||||||||||||
16: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 | |||||||||||||||||||||||||||||||||||||||||
16: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
10:20 - 12:00: PLDI Research Papers - Systems and Performance at Auditorium, Vertex Building Chair(s): Dan GrossmanUniversity of Washington | ||||||||||||||||||||||||||||||||||||||||||
10:20 - 10:45 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
10: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 | |||||||||||||||||||||||||||||||||||||||||
11:10 - 11:35 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
11: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 |
12:00 - 12:15 Awards | ||||||||||||||||||||||||||||||||||||||||||
12:15 - 12:30 Day closing | Albert CohenINRIA |