Wed 26 JunDisplayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 70mKeynote | The Future of Fast Code: Giving Hardware What It Wants PLDI Research Papers Jonathan Ragan-Kelley Massachusetts Institute of Technology |
10:40 - 12:20 | Probabilistic ProgrammingPLDI Research Papers at Finland / Norway Chair(s): Jeremy G. Siek Indiana University, USA | ||
10:40 20mTalk | Bit Blasting Probabilistic Programs PLDI Research Papers Poorva Garg University of California, Los Angeles, Steven Holtzen Northeastern University, Guy Van den Broeck University of California at Los Angeles, Todd Millstein University of California at Los Angeles DOI | ||
11:00 20mTalk | Compiling Probabilistic Programs for Variable Elimination with Information Flow PLDI Research Papers Jianlin Li University of Waterloo, Eric Wang University of Waterloo, Yizhou Zhang University of Waterloo DOI | ||
11:20 20mTalk | Equivalence and Similarity Refutation for Probabilistic Programs PLDI Research Papers Krishnendu Chatterjee IST Austria, Ehsan Kafshdar Goharshady IST Austria, Petr Novotný Masaryk University, Đorđe Žikelić Singapore Management University, Singapore DOI | ||
11:40 20mTalk | GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables PLDI Research Papers Mathieu Huot MIT, Matin Ghavami Massachusetts Institute of Technology, Alexander K. Lew Massachusetts Institute of Technology, Ulrich Schaechtle Digital Garage, Cameron Freer Massachusetts Institute of Technology, Zane Shelby Digital Garage, Martin Rinard MIT, Feras Saad Carnegie Mellon University, Vikash K. Mansinghka Massachusetts Institute of Technology DOI | ||
12:00 20mTalk | Probabilistic Programming with Programmable Variational Inference PLDI Research Papers McCoy Reynolds Becker MIT, Alexander K. Lew Massachusetts Institute of Technology, Xiaoyan Wang Massachusetts Institute of Technology, Matin Ghavami Massachusetts Institute of Technology, Mathieu Huot MIT, Martin Rinard MIT, Vikash K. Mansinghka Massachusetts Institute of Technology DOI |
10:40 - 12:20 | |||
10:40 20mTalk | Compilation of Qubit Circuits to Optimized Qutrit Circuits PLDI Research Papers DOI | ||
11:00 20mTalk | Qubit Recycling Revisited PLDI Research Papers Hanru Jiang Beijing Institute of Mathematical Sciences and Applications DOI | ||
11:20 20mTalk | The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation PLDI Research Papers Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology DOI | ||
11:40 20mTalk | Compiling Conditional Quantum Gates without Using Helper Qubits PLDI Research Papers Keli Huang University of California at Los Angeles, Jens Palsberg University of California, Los Angeles (UCLA) DOI | ||
12:00 20mTalk | An Algebraic Language for Specifying Quantum Networks PLDI Research Papers Anita Buckley USI Lugano, Pavel Chuprikov USI Lugano, Rodrigo Otoni USI Lugano, Robert Soulé Yale University, Robert Rand University of Chicago, Patrick Eugster USI Lugano; Purdue University DOI |
12:20 - 13:40 | |||
12:20 80mLunch | SIGPLAN-M Lunch PLDI Events Nadia Polikarpova University of California at San Diego |
13:40 - 15:20 | Pot Pourri 1PLDI Research Papers at Finland / Norway Chair(s): Steve Blackburn Google and Australian National University | ||
13:40 20mTalk | Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving PLDI Research Papers Peixin Wang University of Oxford, Tengshun Yang SKLCS, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Hongfei Fu Shanghai Jiao Tong University, Guanyan Li University of Oxford, C.-H. Luke Ong NTU DOI | ||
14:00 20mTalk | Consolidating Smart Contracts with Behavioral Contracts PLDI Research Papers Guannan Wei Purdue University, Danning Xie Purdue University, Wuqi Zhang The Hong Kong University of Science and Technology, Yongwei Yuan Purdue University, Zhuo Zhang Purdue University DOI | ||
14:20 20mTalk | NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks PLDI Research Papers Ajay Brahmakshatriya Massachusetts Institute of Technology, Christopher Rinard Massachusetts Institute of Technology, Manya Ghobadi Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology DOI | ||
14:40 20mTalk | KATch: A Fast Symbolic Verifier for NetKAT PLDI Research Papers Mark Moeller Cornell University, Jules Jacobs Cornell University, Olivier Savary Bélanger Galois, Inc., David Darais Galois, Cole Schlesinger Galois, Steffen Smolka Google, Nate Foster Cornell University and Jane Street, Alexandra Silva Cornell University DOI |
13:40 - 15:20 | |||
13:40 20mTalk | Space-Efficient Polymorphic Gradual Typing, Mostly Parametric PLDI Research Papers Atsushi Igarashi Kyoto University, Shota Ozaki Kyoto University, Taro Sekiyama National Institute of Informatics, Yudai Tanabe Tokyo Institute of Technology DOI | ||
14:00 20mTalk | Associated Effects PLDI Research Papers DOI | ||
14:20 20mTalk | Decidable Subtyping of Existential Types for Julia PLDI Research Papers Julia Belyakova Purdue University, Benjamin Chung JuliaHub, Ross Tate Independent Consultant, Jan Vitek Northeastern University DOI | ||
14:40 20mTalk | Numerical Fuzz: A Type System for Rounding Error Analysis PLDI Research Papers DOI | ||
15:00 20mTalk | Stream Types PLDI Research Papers Joseph W. Cutler University of Pennsylvania, Chris Watson University of Pennsylvania, Emeka Nkurumeh California Institute of Technology, Phillip Hilliard University of Pennsylvania, Harrison Goldstein University of Pennsylvania, Caleb Stanford University of California, Davis, Benjamin C. Pierce University of Pennsylvania DOI |
16:00 - 17:20 | Security and CryptographyPLDI Research Papers at Finland / Norway Chair(s): Klaus v. Gleissenthall Vrije Universiteit Amsterdam, Netherlands | ||
16:00 20mTalk | A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption PLDI Research Papers Nikola Samardzic Massachusetts Institute of Technology, Aleksandar Krastev Massachusetts Institute of Technology, Simon Langowski Massachusetts Institute of Technology, Srinivas Devadas Massachusetts Institute of Technology, Daniel Sanchez MIT DOI | ||
16:20 20mTalk | Quantitative Robustness for Vulnerability Assessment PLDI Research Papers Guillaume Girol CEA, List, Université Paris Saclay, Guilhem Lacombe CEA LIST and Université Paris-Saclay, Sébastien Bardin CEA LIST, University Paris-Saclay DOI | ||
16:40 20mTalk | Quest Complete: The Holy Grail of Gradual Security PLDI Research Papers DOI Pre-print | ||
17:00 20mTalk | Foundational Integration Verification of a Cryptographic Server PLDI Research Papers Andres Erbsen Google, Jade Philipoom Google, Germany, Dustin Jamner MIT CSAIL, Ashley Lin Massachusetts Institute of Technology, Samuel Gruetter Massachusetts Institute of Technology, Clément Pit-Claudel EPFL, Adam Chlipala Massachusetts Institute of Technology DOI |
16:00 - 17:20 | |||
16:00 20mTalk | Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior PLDI Research Papers DOI | ||
16:20 20mTalk | Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug FindingRemote PLDI Research Papers Qiuping Yi Beijing University of Posts and Telecommunications, Yifan Yu Beijing University of Posts and Telecommunications, Guowei Yang University of Queensland DOI | ||
16:40 20mTalk | Diffy: Data-Driven Bug Finding for Configurations PLDI Research Papers Siva Kesava Reddy Kakarla Microsoft Research, Francis Y. Yan Microsoft Research, Ryan Beckett Microsoft Research, USA DOI | ||
17:00 20mTalk | Boosting Compiler Testing by Injecting Real-World Code PLDI Research Papers DOI |
16:00 - 17:20 | Fast Linear AlgebraPLDI Research Papers at Sweden Chair(s): Zachary Tatlock University of Washington | ||
16:00 20mTalk | A Verified Compiler for a Functional Tensor Language PLDI Research Papers Amanda Liu Massachusetts Institute of Technology, Gilbert Bernstein University of Washington, Seattle, Adam Chlipala Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology DOI | ||
16:20 20mTalk | [TOPLAS] (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphism PLDI Research Papers Ari Rasch University of Muenster Link to publication DOI Pre-print Media Attached | ||
16:40 20mTalk | Compilation of Modular and General Sparse Workspaces PLDI Research Papers Genghan Zhang Stanford University, Olivia Hsu Stanford University, Fredrik Kjolstad Stanford University DOI | ||
17:00 20mTalk | Descend: A Safe GPU Systems Programming Language PLDI Research Papers Bastian Köpcke University of Münster, Sergei Gorlatch University of Muenster, Michel Steuwer Technische Universität Berlin DOI Pre-print |
Thu 27 JunDisplayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 70mKeynote | AI-Assisted Programming Today and Tomorrow PLDI Research Papers Nadia Polikarpova University of California at San Diego |
10:40 - 12:20 | Grammars and Code and FormalismsPLDI Research Papers at Sweden Chair(s): Nadia Polikarpova University of California at San Diego | ||
10:40 20mTalk | Equivalence by Canonicalization for Synthesis-Backed Refactoring PLDI Research Papers Justin Lubin University of California at Berkeley, Jeremy Ferguson University of California-Berkeley, Kevin Ye University of California at Berkeley, Jacob Yim UC Berkeley, Sarah E. Chasins University of California at Berkeley DOI | ||
11:00 20mTalk | PL4XGL: A Programming Language Approach to Explainable Graph Learning PLDI Research Papers DOI | ||
11:20 20mTalk | Syntactic Code Search with Sequence-to-Tree Matching PLDI Research Papers Gabriel Matute UC Berkeley, Wode Ni Columbia University, Titus Barik Apple, Alvin Cheung University of California at Berkeley, Sarah E. Chasins University of California at Berkeley DOI | ||
11:40 20mTalk | V-Star: Learning Visibly Pushdown Grammars from Program Inputs PLDI Research Papers DOI | ||
12:00 20mTalk | Hashing Modulo Context-Sensitive Alpha-Equivalence PLDI Research Papers Lasse Blaauwbroek Czech Institute for Informatics Robotics and Cybernetics, Miroslav Olšák Institut des Hautes Études Scientifiques, Herman Geuvers Radboud University Nijmegen, Netherlands DOI Pre-print |
12:20 - 13:40 | |||
12:20 80mLunch | LGBTQIA+ lunch Diversity, Equity and Inclusion Mae Milano Princeton University |
13:40 - 14:40 | |||
13:40 20mTalk | Mechanised Hypersafety Proofs about Structured Data PLDI Research Papers Vladimir Gladshtein National University of Singapore, Qiyuan Zhao National University of Singapore, Willow Ahrens Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology, Ilya Sergey National University of Singapore DOI Pre-print | ||
14:00 20mTalk | Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties PLDI Research Papers DOI | ||
14:20 20mTalk | A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata PLDI Research Papers Zhe Zhou Purdue University, Qianchuan Ye Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University DOI |
13:40 - 14:40 | SIGPLAN + TOPLASPLDI Research Papers at Iceland / Denmark Chair(s): Qirun Zhang Georgia Institute of Technology | ||
13:40 20mTalk | [PLDI 2023] CQS: A Formally-Verified Framework for Fair and Abortable Synchronization PLDI Research Papers DOI | ||
14:00 20mTalk | [PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs PLDI Research Papers Bastien Lecoeur Imperial College London, Hasan Mohsin Imperial College London, Alastair F. Donaldson Imperial College London DOI | ||
14:20 20mTalk | [TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams PLDI Research Papers Meghana Aparna Sistla The University of Texas at Austin, Swarat Chaudhuri University of Texas at Austin, Thomas Reps University of Wisconsin-Madison |
13:40 - 14:40 | Solvers for Fun and ProfitPLDI Research Papers at Sweden Chair(s): Santosh Nagarakatte Rutgers University | ||
13:40 20mTalk | SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques PLDI Research Papers Elvira Albert Complutense University of Madrid, Maria Garcia de la Banda Monash University, Alejandro Hernández-Cerezo Complutense University of Madrid, Alexey Ignatiev Monash University, Albert Rubio Complutense University of Madrid, Peter J. Stuckey Monash University DOI | ||
14:00 20mTalk | Inductive Approach to Spacer PLDI Research Papers DOI | ||
14:20 20mTalk | SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories PLDI Research Papers DOI |
Fri 28 JunDisplayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 70mKeynote | Much Still to Do in Compiler Verification (A Perspective from the CakeML Project) PLDI Research Papers Magnus O. Myreen Chalmers University of Technology |
10:40 - 12:20 | |||
10:40 20mTalk | From Batch to Stream: Automatic Generation of Online Algorithms PLDI Research Papers Ziteng Wang University of Texas at Austin, Shankara Pailoor University of Texas at Austin, Aaryan Prakash University of Texas at Austin, Yuepeng Wang Simon Fraser University, Işıl Dillig University of Texas at Austin DOI | ||
11:00 20mTalk | [TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms PLDI Research Papers Ruyi Ji Peking University, Yuwei Zhao Peking University, Yingfei Xiong Peking University, Di Wang Peking University, Lu Zhang Peking University, Zhenjiang Hu Peking University | ||
11:20 20mTalk | Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis PLDI Research Papers Ruyi Ji Peking University, Yuwei Zhao Peking University, Nadia Polikarpova University of California at San Diego, Yingfei Xiong Peking University, Zhenjiang Hu Peking University DOI | ||
11:40 20mTalk | Recursive Program Synthesis using ParamorphismsRemote PLDI Research Papers DOI | ||
12:00 20mTalk | Reward-Guided Synthesis of Intelligent Agents with Control StructuresRemote PLDI Research Papers Guofeng Cui Rutgers University, Yuning Wang Rutgers University, Wenjie Qiu Rutgers University, He Zhu Rutgers University, USA DOI |
10:40 - 12:20 | Program Analysis 1PLDI Research Papers at Sweden Chair(s): Jens Palsberg University of California, Los Angeles (UCLA) | ||
10:40 20mTalk | [TOPLAS] Interactive Abstract Interpretation with Demanded Summarization PLDI Research Papers Benno Stein SkipLabs, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Manu Sridharan University of California at Riverside DOI | ||
11:00 20mTalk | Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs PLDI Research Papers Mafalda Ferreira INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Miguel Monteiro INESC-ID and Universidade de Lisboa, Tiago Brito INESC-ID and Universidade de Lisboa, Miguel E. Coimbra INESC-ID and Universidade de Lisboa, Nuno Santos INESC-ID / Instituto Superior Tecnico, University of Lisbon, Limin Jia , José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal DOI Pre-print | ||
11:20 20mTalk | Floating-Point TVPI Abstract DomainRemote PLDI Research Papers DOI | ||
11:40 20mTalk | Reducing Static Analysis Unsoundness with Approximate Interpretation PLDI Research Papers Mathias Rud Laursen Aarhus University, Wenyuan Xu Aarhus University, Anders Møller Aarhus University DOI | ||
12:00 20mTalk | Falcon: A Scalable Analytical Cache Model PLDI Research Papers Arjun Pitchanathan University of Edinburgh, Kunwar Grover AMD, Tobias Grosser University of Cambridge, UK DOI |
12:20 - 13:40 | |||
12:20 80mLunch | URM Lunch Diversity, Equity and Inclusion Andrés Goens University of Amsterdam |
13:40 - 15:20 | Pot Pourri 2PLDI Research Papers at Finland / Norway Chair(s): Caleb Stanford University of California, Davis | ||
13:40 20mTalk | Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis PLDI Research Papers Peisen Yao Zhejiang University, Jinguo Zhou Ant Group, Xiao Xiao Ant Group, Qingkai Shi Nanjing University, Rongxin Wu School of Informatics, Xiamen University, Charles Zhang The Hong Kong University of Science and Technology DOI | ||
14:00 20mTalk | A Proof Recipe for Linearizability in Relaxed Memory Separation Logic PLDI Research Papers Sunho Park KAIST, Jaewoo Kim KAIST, Ike Mulder Radboud University Nijmegen, Jaehwang Jung KAIST, Janggun Lee KAIST, Robbert Krebbers Radboud University Nijmegen, Jeehoon Kang KAIST DOI | ||
14:20 20mTalk | Compositional Semantics for Shared-Variable Concurrency PLDI Research Papers Mikhail Svyatlovskiy Tel Aviv University, Shai Mermelstein Tel Aviv University, Ori Lahav Tel Aviv University DOI | ||
14:40 20mTalk | Input-Relational Verification of Deep Neural Networks PLDI Research Papers Debangshu Banerjee University of Illinois at Urbana-Champaign, Changming Xu University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research DOI | ||
15:00 20mTalk | Automated Verification of Fundamental Algebraic Laws PLDI Research Papers George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen DOI |
13:40 - 15:20 | Close to the HardwarePLDI Research Papers at Iceland / Denmark Chair(s): Steve Blackburn Google and Australian National University | ||
13:40 20mTalk | Allo: A Programming Model for Composable Accelerator Design PLDI Research Papers Hongzheng Chen Cornell University, Niansong Zhang Cornell University, Shaojie Xiang Cornell University, Zhichen Zeng University of Science and Technology of China, Mengjia Dai University of Science and Technology of China, Zhiru Zhang Cornell University, USA DOI | ||
14:00 20mTalk | VESTA: Power Modeling with Language Runtime Events PLDI Research Papers Joseph Raskind SUNY Binghamton, Timur Babakol SUNY Binghamton, USA, Khaled Mahmoud SUNY Binghamton, USA, Yu David Liu SUNY Binghamton DOI | ||
14:20 20mTalk | Modular Hardware Design of Pipelined Circuits with Hazards PLDI Research Papers Minseong Jang KAIST, Jungin Rhee KAIST, Woojin Lee KAIST, Shuangshuang Zhao KAIST, Jeehoon Kang KAIST DOI | ||
14:40 20mTalk | Jacdac: Service-Based Prototyping of Embedded Systems PLDI Research Papers Thomas Ball Microsoft Research, Peli de Halleux Microsoft Research, James Devine Microsoft, Steve Hodges Lancaster University, Michał Moskal Microsoft Research DOI | ||
15:00 20mTalk | Wavefront Threading Enables Effective High-Level Synthesis PLDI Research Papers Blake Pelton Microsoft, Adam Sapek Microsoft, Ken Eguro Microsoft, Daniel Lo Microsoft, Alessandro Forin Microsoft, Matt Humphrey Microsoft, Jinwen Xi Microsoft, David Cox Microsoft, Rajas Karandikar Microsoft, Johannes de Fine Licht NextSilicon, Evgeny Babin Microsoft, Adrian Caulfield Microsoft, Doug Burger Microsoft DOI Pre-print |
13:40 - 15:20 | |||
13:40 20mTalk | Scaling Type-Based Points-to Analysis with Saturation PLDI Research Papers Christian Wimmer Oracle Labs, Codrut Stancu Oracle Labs, David Kozak Brno University of Technology & Oracle Labs, Thomas Wuerthinger Oracle Labs DOI Pre-print | ||
14:00 20mTalk | Program Analysis for Adaptive Data Analysis PLDI Research Papers Jiawen Liu , Weihao Qu Monmouth University, Marco Gaboardi Boston University, Deepak Garg MPI-SWS, Jonathan Ullman Northeastern University DOI | ||
14:20 20mTalk | Robust Resource Bounds with Static Analysis and Bayesian Inference PLDI Research Papers Long Pham Carnegie Mellon University, Feras Saad Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University DOI | ||
14:40 20mTalk | Context-Free Language Reachability via Skewed Tabulation PLDI Research Papers Yuxiang Lei UNSW Sydney, Camille Bossut Georgia Institute of Technology, Yulei Sui UNSW Sydney, Qirun Zhang Georgia Institute of Technology DOI | ||
15:00 20mTalk | Static Analysis for Checking the Disambiguation Robustness of Regular Expressions PLDI Research Papers Konstantinos Mamouras Rice University, Alexis Le Glaunec Rice University, Wu Angela Li Rice University, Agnishom Chattopadhyay Rice University DOI |
Not scheduled yet
Not scheduled yet Talk | [OOPSLA 2023] Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network PLDI Research Papers Shangwen Wang National University of Defense Technology, Bo Lin , Zhensu Sun Singapore Management University, Ming Wen Huazhong University of Science and Technology, Yepang Liu Southern University of Science and Technology, Yan Lei Chongqing University, Xiaoguang Mao National University of Defense Technology DOI | ||
Not scheduled yet Talk | Symbolic Execution for Quantum Error Correction Programs PLDI Research Papers Wang Fang Institute of Software at Chinese Academy of Sciences and University of Chinese Academy of Sciences, Mingsheng Ying Institute of Software at Chinese Academy of Sciences; Tsinghua University DOI |
Accepted Papers
Call for Papers
Please note that the “Artifact Evaluation for Accepted Papers” section has been modified a bit from previous years’.
PACMPL Issue PLDI 2024 seeks contributions on all aspects of programming languages research, broadly construed, including design, implementation, theory, applications, and performance. Authors of papers published in PACMPL Issue PLDI 2024 will be invited – but not required – to present their work in the PLDI conference in June 2024, which is sponsored by ACM SIGPLAN.
Scope
PLDI is a premier forum for programming language research, broadly construed. Outstanding research that extends and/or applies programming-language concepts to advance the field of computing is welcome. Novel system designs, thorough empirical work, well-motivated theoretical results, and new application areas are all in scope for PLDI.
Evaluation Criteria and Process
Reviewers will evaluate submissions for accuracy, significance, originality, and clarity. Submissions should be organized to communicate clearly to a broad programming-language audience as well as experts on the paper’s topics. Papers should identify what has been accomplished and how it relates to previous work. Authors of empirical papers are encouraged to consider the seven categories of the SIGPLAN Empirical Evaluation Guidelines when preparing submissions.
The selection of papers will be made in two rounds of reviewing. In the first round, reviewers will assesses the papers according to the quality criteria listed above. Authors will be given several days to compose a written response to the reviews received in the first round – e.g., to correct errors and clarify technical concerns. At the end of the first round, the Review Committee will conditionally accept a subset of the submissions and all other submissions will be rejected. In the second round, authors of conditionally-accepted papers will be given an opportunity to improve specific aspects of the research and the paper, as identified by the reviewers. Authors will have sufficient time to perform the required revisions and re-submit the paper. The same reviewers as in the first round will then assess how the revision requests have been acted upon by the authors. Revisions that fail to adequately address the reviewers’ original concerns will result in rejection.
The Review Committee will make final decisions regarding (conditional) acceptance and rejection, although reviews for a given paper will typically be performed by a subset of the committee. During the review period, authors must not contact Review Committee members – all questions must be addressed to the Associate Editor (who is doing the job that we would have called “Program Chair” before PLDI joined PACMPL). Contacting Review Committee members about submitted paper(s) is an ethical violation and may be grounds for summary rejection.
Deadlines and formatting requirements, detailed below, will be strictly enforced, with extremely rare extenuating circumstances considered at the discretion of the Associate Editor.
Double-Blind Reviewing
Author names and affiliations must be omitted from submissions. If a submission refers to prior work done by the authors, that reference should be made in third person. Any supplementary material must also be anonymized. These are firm submission requirements. The Review Committee will only learn the identities of authors of accepted papers following the second round of reviewing.
The FAQ on Double-Blind Reviewing clarifies the policy for the most common scenarios. But there are many gray areas and trade-offs. If you have any doubts about how to interpret the double-blind rules, or any cases that are not fully covered by the FAQ, please contact the Associate Editor. In complex cases, it is better to get guidance from the Associate Editor than to risk summary rejection.
Submission Site Information
The submission site is https://pldi2024.hotcrp.com.
Authors can submit multiple times prior to the (firm!) deadline. Only the last submission will be reviewed. There is no deadline for submitting abstracts. The submission site requires entering author names and affiliations, relevant topics, and potential conflicts. Addition or removal of authors after the submission deadline will need to be approved by the Associate Editor (as this kind of change potentially undermines the goal of eliminating conflicts during paper assignment).
The submission deadline is 11:59PM on Thursday November 16, 2023 anywhere on earth: https://en.wikipedia.org/wiki/Anywhere_on_Earth
Declaring Conflicts
When submitting a paper, you will need to declare potential conflicts. Conflicts should be declared between an adviser and an advisee (e.g., Ph.D., 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: such incorrect conflicts are especially harmful if the aim is to subvert the normal peer-review process by excluding potential reviewers. Listing spurious conflicts can be grounds for rejection. If you are unsure about whether or not a given relationship constitutes a conflict, please consult the Associate Editor.
Formatting Requirements
Each paper should have no more than 20 pages of text, excluding bibliography, using the ACM Proceedings format. This format is chosen for compatibility with PACMPL. It is a single-column page layout with a 10 pt font, 12 pt line spacing, and wider margins than recent PLDI page layouts. In this format, the main text block is 5.478 in (13.91 cm) wide and 7.884 in (20.03 cm) tall. Use of a different format (e.g., smaller fonts or a larger text block) is grounds for summary rejection. PACMPL templates for Microsoft Word and LaTeX can be found at the SIGPLAN author information page. Authors using LaTeX should use the sample-acmsmall-conf.tex
file (found in the samples folder of the acmart package) with the acmsmall
option. We also strongly encourage use of the review
and screen
options as well, e.g.:
\documentclass[acmsmall,screen,review,anonymous,nonacm]{acmart}
Papers may be submmitted using numeric citations, but final versions of accepted papers must use author-year format for citations. Submissions should be in PDF and printable on both US Letter and A4 paper. Please take care to ensure that figures and tables are legible, even when the paper is printed in gray-scale. Papers that exceed the length requirement, deviate from the expected format, or are submitted late will be rejected.
Supplementary Material
Authors are welcome to provide supplementary material if that material supports the claims in the paper. Such material may include proofs, experimental results, and/or data sets. This material should be uploaded at the same time as the submission. Reviewers are not required to examine 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 and ACM Policy on Plagiarism. Concurrent submissions to other conferences, workshops, journals, or similar venues of publication are disallowed. Prior work must, as always, be cited and referred to in the third person even if it is the authors’ own work, so as to preserve author anonymity. If you have further questions, please contact the Associate Editor.
Artifact Evaluation for Accepted Papers
Authors of accepted papers will be invited to submit supporting materials to the Artifact Evaluation process. Artifact Evaluation is run by a separate committee whose task is to assess how well the artifacts support the work described in the papers. At artifact submission time, authors will be asked to provide an artifact availability statement that details the expected behavior of the artifact, and how it pertains to the results of the paper. Artifact submission is voluntary but encouraged and will not influence the final decision regarding the papers.
Papers that go through the Artifact Evaluation process successfully will receive a badge printed on the papers themselves, and include the artifact availability statement (which will not count agains the page limit). Authors of accepted papers are encouraged to make their artifacts publicly available upon publication of the proceedings, by including them as “source materials” in the ACM Digital Library.
Open Access and Copyright
As a Gold Open Access journal, PACMPL is committed to making peer-reviewed scientific research free of restrictions on both access and (re-)use. Authors are strongly encouraged to support liberal open access by licensing their work with the Creative Commons Attribution 4.0 International (CC BY) license, which grants readers (re-)use rights.
Authors of accepted papers will be required to provide an ORCID for each co-author and choose one of the following publication rights:
-
Author licenses the work with a Creative Commons license, retains copyright, and (implicitly) grants ACM non-exclusive permission to publish (suggested choice).
-
Author retains copyright of the work and grants ACM a non-exclusive permission to publish license.
-
Author retains copyright of the work and grants ACM an exclusive permission to publish license.
-
Author transfers copyright of the work to ACM.
These choices follow from ACM Copyright Policy and ACM Author Rights, corresponding to ACM’s “author pays” option. While PACMPL may ask authors who have funding for open-access fees to voluntarily cover the article processing charge (currently, US$400), payment is not required for publication. PACMPL and SIGPLAN continue to explore the best models for funding open access, focusing on approaches that are sustainable in the long-term while reducing short-term risk.
Publication Date
All papers will be archived by the ACM Digital Library. Authors will have the option of including supplementary material with their paper. The official publication date is the date the proceedings are made available in the ACM Digital Library or the first day of the conference, which ever is sooner. Note that the date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.
Presentations
Authors of accepted papers will be invited to present their work at PLDI. Authors who need financial assistance for travel to the conferences should apply for a grant from the SIGPLAN Professional Activities Committee (PAC) program. We welcome all authors, regardless of nationality. If authors are not able to obtain visas to travel to the conference despite making reasonable effort, we will make arrangements to facilitate remote participation or presentation by another attendee on behalf of the authors.
Distinguished Paper Awards
Up to 10% of the accepted papers may be designated as Distinguished Papers. This award highlights papers that the Review Committee believes should be read by a broad audience due to their relevance, originality, significance, and clarity. The set of distinguished papers will be chosen through a rigorous review process of the final papers, carried out by a subset of the Review Committee.
Acknowledgments
This call-for-papers is an adaptation and evolution of content from previous SIGPLAN conferences. We are grateful to prior organizers for their work, which is reused here.
Code of Conduct
PLDI follows the ACM Policy Against Harassment at ACM Activities. Please familiarize yourself with the policy and guide for reporting unacceptable behavior.
Attending
Presenter Instructions
In-Person Presenters
You should have received a Google Form entitled “PLDI’24 Presenter Questionnaire”.
If not, the URL is https://forms.gle/WCRJqQhEFNSybdrS8.
Please fill in the questionnaire once for each talk you will give.
If you are presenting in-person, here are some things to keep in mind:
-
Your conference registration is mandatory.
-
You should bring your own device to present your slides. Please ensure your slides are available offline / accessible from a different device in case of any technical issues.
-
Your presentation device should support HDMI output. If it does not, you are responsible for bringing the appropriate adapter.
-
You are free to choose between 4:3 aspect ratio and 16:9 aspect ratio, whichever makes more sense for the content of your slides. We will adapt the streaming/recording layout to your choice. Please indicate your choice in the questionnaire.
-
Ensure your device is working and your slides are accessible during the break before your session starts, to avoid last minute difficulties.
-
You should disable any kind of color adjustment on your computer while presenting (e.g., night shift, redshift, f.lux). If you are using a Macbook, please make sure to disable TrueTone in System Settings -> Displays.
-
Arrive at your session at least 10 minutes before it starts. Take time to familiarize yourself with the room setup, make your presence known to the session chair, test out slides and audio, and address all issues with the student volunteer in the room.
-
You should pace your talk carefully; time is of the essence and the program schedule will be strictly enforced.
-
You can find the length of your talk in the program.
-
Subtract at least 5 minutes from the allotted time to account for questions and set-up.
-
Talk slots for the main PLDI program are 20 minutes, so presenters should aim to give a 15 minute talk.
-
Talk slot lengths for workshops can be found on the respective workshop information pages.
-
If you do not want your talk to be either recorded or streamed, please indicate it in the questionnaire.
Remote Presenters
Remote presentations are a little more complicated. You should double-check with your conference/workshop organizers that they are allowed in your track.
Please read the following instructions as they are crucial for making sure your presentation goes as smoothly as possible!
Setting up Discord
- Make sure you have a Discord account that is older than 5 minutes, with a verified email address
- Join the PLDI 2024 Discord server (check your email for the invite link) After joining the server, you should be prompted with a Customisation Question prompt. Please do the following:
Select the Presenter
role.
Go to Channels and Roles.
Follow the Pre-Talk Sessions category.
Discord is now setup! If you have any technical issues or questions, please make sure to ask any questions in the #troubleshooting-chat
channel.
Pre-Session
On the day of your presentation, our remote volunteers will be performing several tests to make sure your presentation goes as smoothly as possible. Please join the Pre-Talk VC
channel up until 30 minutes before your scheduled presentation. There will be volunteers waiting in this channel 2 hours before the next scheduled remote presentation. This means that if your talk is at 9 AM (Copenhagen time), there will be a volunteer in the channel from 7 AM.
If you are only joining Discord for the Q&A portion of your talk (pre-recorded talks fall under this category), please join the Discord voice channel within the same timeline for the same tests.
Your Talk
Please join the Waiting Queue voice channel 30 minutes before your presentation. A volunteer will promptly let you know 5 minutes before it is your time to present through the Waiting Queue chat:
When it is your time to present, the volunteer will move you to another voice channel. Here, you should be able to hear the session chair through Discord, from which you should follow their instructions for when to start presenting. When you are moved to this LIVE voice channel, please make sure to turn on your camera and screen-share.
You can follow the livestream of current talks on the ACMSIGPLAN YouTube channel: https://youtube.com/@acmsigplan.
If you have a pre-recorded talk, you will still be moved to the voice channel during your talk (while your recording is playing). When your pre-recorded talk is done, you can conduct the Q&A segment by following your session chair’s instructions.
Troubleshooting
If at any point of the process there are technical issues (whether it is while presenting or during the pre-sessions) please join the Troubleshooting VC
channel under the Pre-Talk Sessions category. A volunteer will be there to assist you. If the volunteer assesses that the problem will take a considerable amount of time to solve, we will communicate with the session chair to move your talk to the next time-slot.
The communication between Speakers and Session Chairs will take place in the Troubleshooting VC
channel via the volunteers when technical difficulties occur.
Remote Presentations Summary
-
Please join the Discord voice channel titled
Pre-Talk VC
within 2 hours before your talk. -
30 minutes before your talk, join the
Waiting Queue
voice channel and wait for your time-slot to commence. A volunteer will let you know 5 minutes before it is your time to present. -
If there are any troubleshooting issues, join the
Troubleshooting VC
channel and a volunteer will assist you.
Live Streaming
Please find all the live streams in this YouTube playlist:
https://www.youtube.com/playlist?list=PLyrlk8Xaylp6XYPbTIscsn49yFEFlxUp-
Below are embedded players for today’s event.
June 24