ACM-SIGPLAN Conference on Programming Language Design and Implementation
PLDI
A*
CORE rank
CORE rank (raw)
A*
Acceptance rate
23.0% (2024)
Fields of research
Software Engineering
Papers indexed
1,917
1979–2023
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 |
|---|---|---|
| 2003 | The nesC language: A holistic approach to networked embedded systems. | David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler |
| 2003 | A type and effect system for atomicity. | Cormac Flanagan, Shaz Qadeer |
| 2003 | Optimizing indirect branch prediction accuracy in virtual machine interpreters. | M. Anton Ertl, David Gregg |
| 2003 | CSSV: towards a realistic tool for statically detecting all buffer overflows in C. | Nurit Dor, Michael Rodeh, Shmuel Sagiv |
| 2003 | Predicting whole-program locality through reuse distance analysis. | Chen Ding, Yutao Zhong |
| 2003 | CCured in the real world. | Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer |
| 2003 | Region-based hierarchical operation partitioning for multicluster processors. | Michael L. Chu, Kevin Fan, Scott A. Mahlke |
| 2003 | A provably sound TAL for back-end optimization. | Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang |
| 2003 | Ownership types for safe region-based memory management in real-time Java. | Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard |
| 2003 | A static analyzer for large safety-critical software. | Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 2003 | Points-to analysis using BDDs. | Marc Berndl, Ondrej Lhotk, Feng Qian, Laurie J. Hendren, Navindra Umanee |
| 2003 | Debugging temporal specifications with concept analysis. | Glenn Ammons, David Mandelin, Rastislav Bodk, James R. Larus |
| 2003 | Checking and inferring local non-aliasing. | Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi |
| 2002 | Efficient Discovery of Regular Stride Patterns in Irregular Programs. | Youfeng Wu |
| 2002 | A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems. | Byoungro So, Mary W. Hall, Pedro C. Diniz |
| 2002 | Deriving Specialized Program Analyses for Certifying Component-Client Conformance. | G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv |
| 2002 | Profile-Directed Optimization of Event-Based Programs. | Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting |
| 2002 | A Parallel, Incremental and Concurrent GC for Servers. | Yoav Ossia, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Avi Owshanko |
| 2002 | Post-Pass Binary Adaptation for Software-Based Speculative Precomputation. | Shih-Wei Liao, Perry H. Wang, Hong Wang, John Paul Shen, Gerolf Hoflehner, Daniel M. Lavery |
| 2002 | Using Data Groups to Specify and Check Side Effects. | K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou |
| 2002 | Preference-Directed Graph Coloring. | Akira Koseki, Hideaki Komatsu, Toshio Nakatani |
| 2002 | Effective Sign Extension Elimination. | Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani |
| 2002 | Denali: A Goal-directed Superoptimizer. | Rajeev Joshi, Greg Nelson, Keith H. Randall |
| 2002 | The Embedded Machine: Predictable, Portable Real-Time Code. | Thomas A. Henzinger, Christoph M. Kirsch |
| 2002 | Combining Region Inference and Garbage Collection. | Niels Hallenberg, Martin Elsman, Mads Tofte |
1,351–1,375 of 1,917← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems