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
2014	Just-in-time Length Specialization of Dynamic Vector Code.	Justin Talbot, Zachary DeVito, Pat Hanrahan
2014	Test-driven repair of data races in structured parallel programs.	Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John M. Mellor-Crummey, Vivek Sarkar
2014	Software in reproducible research: advice and best practice collected from experiences at the collaborations workshop.	Shoaib Sufi, Neil P. Chue Hong, Simon Hettrick, Mario Antonioletti, Stephen Crouch, Alexander Hay, Devasena Inupakutika, Mike Jackson, Aleksandra Pawlik, Giacomo Peru, John Robinson, Les Carr, David De Roure, Carole A. Goble, Mark Parsons
2014	minium: a permission based concurrent-by-default programming language approach.	Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
2014	Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters.	Alen Stojanov, Georg Ofenbeck, Tiark Rompf, Markus Pschel
2014	A framework for enhancing data reuse via associative reordering.	Kevin Stock, Martin Kong, Tobias Grosser, Louis-Nol Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan
2014	Adaptive, efficient, parallel execution of parallel programs.	Srinath Sridharan, Gagan Gupta, Gurindar S. Sohi
2014	Consolidation of queries with user-defined functions.	Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis
2014	Introspective analysis: context-sensitivity, across the board.	Yannis Smaragdakis, George Kastrinis, George Balatsouras
2014	Optimal inference of fields in row-polymorphic records.	Axel Simon
2014	Trash in cache: detecting eternally silent stores.	Jonathan A. Shidal, Zachary Gottlieb, Ron K. Cytron, Krishna M. Kavi
2014	Debugging at Full Speed.	Chris Seaton, Michael L. Van de Vanter, Michael Haupt
2014	Stochastic optimization of floating-point programs with tunable precision.	Eric Schkufza, Rahul Sharma, Alex Aiken
2014	Expressing and verifying probabilistic assertions.	Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze
2014	Surgical precision JIT compilers.	Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun
2014	Automating formal proofs for reactive systems.	Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner
2014	Code completion with statistical language models.	Veselin Raychev, Martin T. Vechev, Eran Yahav
2014	Nonvolatile memory is a broken time machine.	Benjamin Ransford, Brandon Lucia
2014	Academia 2.0: removing the publisher middle-man while retaining impact.	Raphael Poss, Sebastian Altmeyer, Mark Thompson, Rob Jelier
2014	Resugaring: lifting evaluation sequences through syntactic sugar.	Justin Pombrio, Shriram Krishnamurthi
2014	Chlorophyll: synthesis-aided compiler for low-power spatial architectures.	Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah E. Chasins, Rastislav Bodk
2014	Test-driven synthesis.	Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
2014	Natural proofs for data structure manipulation in C using separation logic.	Edgar Pek, Xiaokang Qiu, P. Madhusudan
2014	Explicit and symbolic techniques for fast and scalable points-to analysis.	Edgar Pek, P. Madhusudan
2014	What exactly is inexact computation good for?	Krishna V. Palem

701–725 of 1,917← Previous Next →

Comparable venues

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