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	Data representation synthesis.	Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2011	Spreadsheet table transformations from examples.	William R. Harris, Sumit Gulwani
2011	Synthesizing geometry constructions.	Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
2011	Synthesis of loop-free programs.	Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
2011	Minor memory references matter in collaborative caching.	Xiaoming Gu
2011	The potential of sampling for dynamic analysis.	Joseph L. Greathouse, Todd M. Austin
2011	Higher-order test generation.	Patrice Godefroid
2011	Kremlin: rethinking and rebooting gprof for the multicore age.	Saturnino Garcia, Donghwan Jeon, Christopher M. Louie, Michael Bedford Taylor
2011	Extended sequential reasoning for data-race-free programs.	Laura Effinger-Dean, Hans-Juergen Boehm, Dhruva R. Chakrabarti, Pramod G. Joisha
2011	Precise and compact modular procedure summaries for heap manipulating programs.	Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv
2011	Mining hot calling contexts in small space.	Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
2011	Mostly-automated verification of low-level programs in computational separation logic.	Adam Chlipala
2011	NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.	Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
2011	Untitled record	Aditya Budi, David Lo, Lingxiao Jiang, Lucia
2011	On inter-procedural analysis of programs with lists and data.	Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
2011	Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator.	Igor Bhm, Tobias J. K. Edler von Koch, Stephen C. Kyle, Bjrn Franke, Nigel P. Topham
2011	Performance implications of fence-based memory models.	Hans-Juergen Boehm
2011	Capabilities for information flow.	Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld
2011	Differential privacy with information flow control.	Arnar Birgisson, Frank McSherry, Martn Abadi
2011	Synchronization via scheduling: techniques for efficiently managing shared state.	Micah J. Best, Shane Mottishaw, Craig Mustard, Mark Roth, Alexandra Fedorova, Andrew Brownsword
2011	Let there be light!: the future of memory systems is photonics and 3D stacking.	Keren Bergman, Gilbert Hendry, Paul Hargrove, John Shalf, Bruce L. Jacob, K. Scott Hemmert, Arun Rodrigues, David R. Resnick
2011	Probabilistic, modular and scalable inference of typestate specifications.	Nels E. Beckman, Aditya V. Nori
2011	Epistemic temporal logic for information flow security.	Musard Balliu, Mads Dam, Gurvan Le Guernic
2011	Garbage collection for multicore NUMA machines.	Sven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy
2011	Language-independent sandboxing of just-in-time compilation and self-modifying code.	Jason Ansel, Petr Marchenko, lfar Erlingsson, Elijah Taylor, Brad Chen, Derek L. Schuff, David Sehr, Cliff Biffle, Bennet Yee

1,001–1,025 of 1,917← Previous Next →

Comparable venues

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