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
2011	Commutative set: a language extension for implicit parallel programming.	Prakash Prabhu, Soumyadeep Ghosh, Yun Zhang, Nick P. Johnson, David I. August
2011	The tao of parallelism in algorithms.	Keshav Pingali, Donald Nguyen, Milind Kulkarni, Martin Burtscher, Muhammad Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Mndez-Lojo, Dimitrios Prountzos, Xin Sui
2011	Directed incremental symbolic execution.	Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid
2011	Separation logic + superposition calculus = heap theorem prover.	Juan Antonio Navarro Prez, Andrey Rybalchenko
2011	LL(*): the foundation of the ANTLR parser generator.	Terence Parr, Kathleen Fisher
2011	Approximating inclusion-based points-to analysis.	Rupesh Nasre
2011	Steno: automatic optimization of declarative queries.	Derek Gordon Murray, Michael Isard, Yuan Yu
2011	Calculating bounds on information leakage using two-bit patterns.	Ziyuan Meng, Geoffrey Smith
2011	Systematic editing: generating program transformations from an example.	Na Meng, Miryung Kim, Kathryn S. McKinley
2011	A case for an SC-preserving compiler.	Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
2011	Privacy-aware proof-carrying authorization.	Matteo Maffei, Kim Pecina
2011	Isolating and understanding concurrency errors using reconstructed execution fragments.	Brandon Lucia, Benjamin P. Wood, Luis Ceze
2011	Caisson: a hardware description language for secure information flow.	Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf
2011	Scaling abstraction refinement via pruning.	Percy Liang, Mayur Naik
2011	Toward generating reducible replay logs.	Kyu Hyung Lee, Yunhui Zheng, Nick Sumner, Xiangyu Zhang
2011	Partial-coherence abstractions for relaxed memory models.	Michael Kuperstein, Martin T. Vechev, Eran Yahav
2011	Exploiting the commutativity lattice.	Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali
2011	Predicate abstraction and CEGAR for higher-order model checking.	Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
2011	Verification of semantic commutativity conditions and inverse operations on linked data structures.	Deokhwan Kim, Martin C. Rinard
2011	Brainy: effective selection of data structures.	Changhee Jung, Silvius Rus, Brian P. Railing, Nathan Clark, Santosh Pande
2011	Cause clue clauses: error localization using maximum satisfiability.	Manu Jose, Rupak Majumdar
2011	Automated atomicity-violation fixing.	Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
2011	Garbage collection for monitoring parametric properties.	Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu
2011	Deferred gratification: engineering for high performance garbage collection from the get go.	Ivan Jibaja, Stephen M. Blackburn, Mohammad R. Haghighat, Kathryn S. McKinley
2011	Automatic CPU-GPU communication management and optimization.	Thomas B. Jablin, Prakash Prabhu, James A. Jablin, Nick P. Johnson, Stephen R. Beard, David I. August

976–1,000 of 1,917← Previous Next →

Comparable venues

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