ACM-SIGPLAN Conference on Programming Language Design and Implementation

PLDI

CORE rank

CORE rank (raw)

Acceptance rate

23.0% (2024)

Fields of research

Software Engineering

Papers indexed

1,917

1979–2023

Best Software Engineering conferences

Papers per year

1979104 peak2023

Most published authors

PLDI papers

1,917 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2021	Mirror: making lock-free data structures persistent.	Michal Friedman, Erez Petrank, Pedro Ramalhete
2021	DIY assistant: a multi-modal end-user programmable virtual assistant.	Michael H. Fischer, Giovanni Campagna, Euirim Choi, Monica S. Lam
2021	Static analysis for dummies: experiencing LiSA.	Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi
2021	Phased synthesis of divide and conquer programs.	Azadeh Farzan, Victor Nicolet
2021	Concise, type-safe, and efficient structural diffing.	Sebastian Erdweg, Tams Szab, Andr Pacak
2021	Integration verification across software and hardware for a simple embedded system.	Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala
2021	DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning.	Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sabl-Meyer, Lucas Morales, Luke B. Hewitt, Luc Cary, Armando Solar-Lezama, Joshua B. Tenenbaum
2021	Generating bug-fixes using pretrained transformers.	Dawn Drain, Chen Wu, Alexey Svyatkovskiy, Neel Sundaresan
2021	Test-case reduction and deduplication almost for free with transformation-based compiler testing.	Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, Andr Perez Maselco, Antoni Karpinski
2021	Program analysis for reversible languages.	Niklas Deworetzki, Uwe Meyer
2021	Porcupine: a synthesizing compiler for vectorized homomorphic encryption.	Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, Brandon Reagen
2021	Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8.	Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang
2021	Modular data-race-freedom guarantees in the promising semantics.	Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav
2021	Padding in the mathematics of arrays.	Benjamin Chetioui, Ole Abusdal, Magne Haveraaen, Jaakko Jrvi, Lenore Mullin
2021	Web question answering with neurosymbolic program synthesis.	Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
2021	Proving non-termination by program reversal.	Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Dorde Zikelic
2021	Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.	David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
2021	Canary: practical static detection of inter-thread value-flow bugs.	Yuandao Cai, Peisen Yao, Charles Zhang
2021	Compiler-assisted object inlining with value fields.	Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, Gustavo Alonso
2021	Fast and precise certification of transformers.	Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin T. Vechev
2021	On probabilistic termination of functional programs with continuous distributions.	Raven Beutner, Luke Ong
2021	Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming.	Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar
2021	Frequent background polling on a shared thread, using light-weight compiler interrupts.	Nilanjana Basu, Claudio Montanari, Jakob Eriksson
2021	Polynomial reachability witnesses via Stellenstze.	Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
2021	Security and quality: two sides of the same coin?	Steven Arzt

176–200 of 1,917← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.