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 |
|---|---|---|
| 2016 | On the complexity and performance of parsing with derivatives. | Michael D. Adams, Celeste Hollenbeck, Matthew Might |
| 2016 | A design and verification methodology for secure isolated regions. | Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani |
| 2015 | Composing concurrency control. | Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv |
| 2015 | Diagnosing type errors with class. | Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2015 | Lightweight, flexible object-oriented generics. | Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers |
| 2015 | Dynamic partial order reduction for relaxed memory models. | Naling Zhang, Markus Kusano, Chao Wang |
| 2015 | Revisiting loop transformations with x10 clocks. | Tomofumi Yuki |
| 2015 | Verdi: a framework for implementing and formally verifying distributed systems. | James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson |
| 2015 | Tree dependence analysis. | Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu, Milind Kulkarni |
| 2015 | Counter-example complete verification for higher-order functions. | Nicolas Voirol, Etienne Kneuss, Viktor Kuncak |
| 2015 | Loop and data transformations for sparse matrix code. | Anand Venkat, Mary W. Hall, Michelle Strout |
| 2015 | Verifying read-copy-update in a logic for weak memory. | Joseph Tassarotti, Derek Dreyer, Viktor Vafeiadis |
| 2015 | The APGAS library: resilient parallel and distributed programming in Java 8. | Olivier Tardieu |
| 2015 | Distributed programming in Scala with APGAS. | Philippe Suter, Olivier Tardieu, Josh Milthorpe |
| 2015 | Synthesis of machine code from semantics. | Venkatesh Srinivasan, Thomas W. Reps |
| 2015 | Declarative programming over eventually consistent data stores. | K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan |
| 2015 | Making numerical program analysis fast. | Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2015 | Blame and coercion: together again for the first time. | Jeremy G. Siek, Peter Thiemann, Philip Wadler |
| 2015 | Automatic error elimination by horizontal code transfer across multiple applications. | Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin C. Rinard |
| 2015 | Verification of producer-consumer synchronization in GPU programs. | Rahul Sharma, Michael Bauer, Alex Aiken |
| 2015 | Mechanized verification of fine-grained concurrent programs. | Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee |
| 2015 | Synthesizing racy tests. | Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan |
| 2015 | Efficient execution of recursive programs on commodity vector hardware. | Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni |
| 2015 | Fusing convolution kernels through tiling. | Mahesh Ravishankar, Paulius Micikevicius, Vinod Grover |
| 2015 | Synthesizing parallel graph programs via automated planning. | Dimitrios Prountzos, Roman Manevich, Keshav Pingali |
601–625 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