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
2019	Gen: a general-purpose probabilistic programming system with programmable inference.	Marco F. Cusumano-Towner, Feras A. Saad, Alexander K. Lew, Vikash K. Mansinghka
2019	Bidirectional type checking for relational properties.	Ezgi iek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
2019	Semantic program alignment for equivalence checking.	Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken
2019	Reusable inline caching for JavaScript performance.	Jiho Choi, Thomas Shull, Josep Torrellas
2019	Scalable taint specification inference with big code.	Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev
2019	Finite difference methods fengshui: alignment through a mathematics of arrays.	Benjamin Chetioui, Lenore Mullin, Ole Abusdal, Magne Haveraaen, Jaakko Jrvi, Sandra Maci
2019	Argosy: verifying layered storage systems with recovery refinement.	Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
2019	FaCT: a DSL for timing-sensitive computation.	Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grgoire, Gilles Barthe, Ranjit Jhala, Deian Stefan
2019	Genie: a generator of natural language semantic parsers for virtual assistant commands.	Giovanni Campagna, Silei Xu, Mehrad Moradshahi, Richard Socher, Monica S. Lam
2019	Array processing on steroids for the SKA radio-telescope (keynote).	Peter J. Braam
2019	Machine learning in Python with no strings attached.	Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
2019	Generating piecewise-regular code from irregular structures.	Travis Augustine, Janarthanan Sarma, Louis-Nol Pouchet, Gabriel Rodrguez
2019	Learning stateful preconditions modulo a test generator.	Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie
2019	Optimization and abstraction: a synergistic approach for analyzing neural network robustness.	Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
2019	HackPPL: a universal probabilistic programming language.	Jessica Ai, Nimar S. Arora, Ning Dong, Beliz Gokkaya, Thomas Jiang, Anitha Kubendran, Arun Kumar, Michael Tingley, Narjes Torabi
2019	Verification of programs under the release-acquire semantics.	Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna
2019	Using active learning to synthesize models of applications that access databases.	Jiasi Shen, Martin C. Rinard
2019	Synthesizing database programs for schema refactoring.	Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig
2018	A data-driven CHC solver.	He Zhu, Stephen Magill, Suresh Jagannathan
2018	Clone-hunter: accelerated bound checks elimination via binary code clone detection.	Hongfa Xue, Guru Venkataramani, Tian Lan
2018	Search, align, and repair: data-driven feedback generation for introductory programming exercises.	Ke Wang, Rishabh Singh, Zhendong Su
2018	PMAF: an algebraic framework for static analysis of probabilistic programs.	Di Wang, Jan Hoffmann, Thomas W. Reps
2018	BLeak: automatically debugging memory leaks in web applications.	John Vilk, Emery D. Berger
2018	SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores.	Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Sjlander, Stefanos Kaxiras
2018	Modularity for decidability of deductive verification with applications to distributed systems.	Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos

376–400 of 1,917← Previous Next →

Comparable venues

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