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
2004	Min-cut program decomposition for thread-level speculation.	Troy A. Johnson, Rudolf Eigenmann, T. N. Vijaykumar
2004	Race checking by context inference.	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2004	Kill-safe synchronization abstractions.	Matthew Flatt, Robert Bruce Findler
2004	Vectorization for SIMD architectures with alignment constraints.	Alexandre E. Eichenberger, Peng Wu, Kevin O'Brien
2004	A cost-driven compilation framework for speculative parallelization of sequential programs.	Zhao-Hui Du, Chu-Cheow Lim, Xiao-Feng Li, Chen Yang, Qingyu Zhao, Tin-Fook Ngai
2004	Dynamic path-based software watermarking.	Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp
2004	Region inference for an object-oriented language.	Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard
2004	Inducing heuristics to decide whether to schedule.	John Cavazos, J. Eliot B. Moss
2004	Social processes and proofs of theorems and programs, revisited.	Andrew W. Appel
2004	Prefetch inection based on hardware monitoring and object metadata.	Ali-Reza Adl-Tabatabai, Richard L. Hudson, Mauricio J. Serrano, Sreenivas Subramoney
2003	A comparison of empirical and model-driven optimization.	Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibulskis, Gerald DeJong, Mara Jess Garzarn, David A. Padua, Keshav Pingali, Paul Stodghill, Peng Wu
2003	Compile-time dynamic voltage scaling settings: opportunities and limits.	Fen Xie, Margaret Martonosi, Sharad Malik
2003	A region-based compilation technique for a Java just-in-time compiler.	Toshio Suganuma, Toshiaki Yasue, Toshio Nakatani
2003	Compile-time composition of run-time data and iteration reorderings.	Michelle Mills Strout, Larry Carter, Jeanne Ferrante
2003	Meta optimization: improving compiler heuristics with machine learning.	Mark Stephenson, Saman P. Amarasinghe, Martin C. Martin, Una-May O'Reilly
2003	Static conflict analysis for multi-threaded object-oriented programs.	Christoph von Praun, Thomas R. Gross
2003	A compiler framework for speculative analysis and optimizations.	Jin Lin, Tong Chen, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai, Sun Chan
2003	Bug isolation via remote program sampling.	Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan
2003	Automatically proving the correctness of compiler optimizations.	Sorin Lerner, Todd D. Millstein, Craig Chambers
2003	Linear analysis and optimization of stream programs.	Andrew A. Lamb, William Thies, Saman P. Amarasinghe
2003	Static array storage optimization in MATLAB.	Pramod G. Joisha, Prithviraj Banerjee
2003	Stride prefetching by dynamically inspecting objects.	Tatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani
2003	The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction.	Chung-Hsing Hsu, Ulrich Kremer
2003	A practical flow-sensitive and context-sensitive C and C++ memory leak detector.	David L. Heine, Monica S. Lam
2003	Taming the IXP network processor.	Lal George, Matthias Blume

1,326–1,350 of 1,917← Previous Next →

Comparable venues

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