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 |
|---|---|---|
| 2010 | Secure information flow analysis for hardware design: using the right abstraction for the job. | Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, Frederic T. Chong |
| 2009 | An integrated proof language for imperative programs. | Karen Zee, Viktor Kuncak, Martin C. Rinard |
| 2009 | Go with the flow: profiling copies to find runtime bloat. | Guoqing Xu, Matthew Arnold, Nick Mitchell, Atanas Rountev, Gary Sevitsky |
| 2009 | On PDG-based noninterference and its modular proof. | Daniel Wasserrab, Denis Lohner, Gregor Snelting |
| 2009 | Verified validation of lazy code motion. | Jean-Baptiste Tristan, Xavier Leroy |
| 2009 | TAJ: effective taint analysis of web applications. | Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman |
| 2009 | Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping. | Georgios Tournavitis, Zheng Wang, Bjrn Franke, Michael F. P. O'Boyle |
| 2009 | Analyzing recursive programs using a fixed-point calculus. | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
| 2009 | Binary analysis for measurement and attribution of program performance. | Nathan R. Tallent, John M. Mellor-Crummey, Michael W. Fagan |
| 2009 | Dynamic software updates: a VM-centric approach. | Suriya Subramanian, Michael W. Hicks, Kathryn S. McKinley |
| 2009 | Program verification using templates over predicate abstraction. | Saurabh Srivastava, Sumit Gulwani |
| 2009 | A language for information flow: dynamic tracking in multiple interdependent dimensions. | Avraham Shinnar, Marco Pistoia, Anindya Banerjee |
| 2009 | Chameleon: adaptive selection of collections. | Ohad Shacham, Martin T. Vechev, Eran Yahav |
| 2009 | Verifiable composition of deterministic grammars. | August Schwerdfeger, Eric Van Wyk |
| 2009 | Programming model for a heterogeneous x86 platform. | Bratin Saha, Xiaocheng Zhou, Hu Chen, Ying Gao, Shoumeng Yan, Mohan Rajagopalan, Jesse Fang, Peinan Zhang, Ronny Ronen, Avi Mendelson |
| 2009 | Error propagation analysis for file systems. | Cindy Rubio-Gonzlez, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau |
| 2009 | Laminar: practical fine-grained decentralized information flow control. | Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel |
| 2009 | Typed self-representation. | Tillmann Rendel, Klaus Ostermann, Christian Hofer |
| 2009 | Automatic generation of library bindings using static analysis. | Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit |
| 2009 | Sharing classes between families. | Xin Qi, Andrew C. Myers |
| 2009 | Progress guarantee for parallel programs via bounded lock-freedom. | Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard |
| 2009 | Implementation of the memory-safe full ANSI-C compiler. | Yutaka Oiwa |
| 2009 | Efficiently and precisely locating memory leaks and bloat. | Gene Novark, Emery D. Berger, Benjamin G. Zorn |
| 2009 | Measuring channel capacity to distinguish undue influence. | James Newsome, Stephen McCamant, Dawn Song |
| 2009 | Safe and timely updates to multi-threaded programs. | Iulian Neamtiu, Michael W. Hicks |
1,076–1,100 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