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 |
|---|---|---|
| 2017 | Fusing effectful comprehensions. | Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi |
| 2017 | BigFoot: static check placement for dynamic race detection. | Dustin Rhodes, Cormac Flanagan, Stephen N. Freund |
| 2017 | Hermes: assessment and creation of effective test corpora. | Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini |
| 2017 | Portable vectorization and parallelization of C++ multi-dimensional array computations. | Laurent Plagne, Kavoos Bojnourdi |
| 2017 | Miniphases: compilation using modular and efficient tree transformations. | Dmitry Petrashko, Ondrej Lhotk, Martin Odersky |
| 2017 | Array programming in Whiley. | David J. Pearce |
| 2017 | FunTAL: reasonably mixing a functional language with assembly. | Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed |
| 2017 | Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction. | Jihyeok Park, Xavier Rival, Sukyoung Ryu |
| 2017 | Flexible data views: design and implementation. | Leo Osvald, Tiark Rompf |
| 2017 | Control-flow recovery from partial failure reports. | Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit |
| 2017 | Debugging probabilistic programs. | Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley |
| 2017 | Verified perceptron convergence theorem. | Charlie Murphy, Patrick Gray, Gordon Stewart |
| 2017 | Responsive parallel computation: bridging competitive and cooperative threading. | Stefan K. Muller, Umut A. Acar, Robert Harper |
| 2017 | Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. | David Menendez, Santosh Nagarakatte |
| 2017 | Compiling without continuations. | Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones |
| 2017 | StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. | Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna |
| 2017 | Cache locality optimization for recursive programs. | Jonathan Lifflander, Sriram Krishnamoorthy |
| 2017 | Taming undefined behavior in LLVM. | Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes |
| 2017 | Repairing sequential consistency in C/C++11. | Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer |
| 2017 | SootKeeper: runtime reusability for modular static analysis. | Florian Kbler, Patrick Mller, Ben Hermann |
| 2017 | Learning a classifier for false positive error reports emitted by static code analysis tools. | Ugur Koc, Parsa Saadatpanah, Jeffrey S. Foster, Adam A. Porter |
| 2017 | Dynamic race prediction in linear time. | Dileep Kini, Umang Mathur, Mahesh Viswanathan |
| 2017 | Compositional recurrence analysis revisited. | Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps |
| 2017 | Simple, fast, and safe manual memory management. | Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein |
| 2017 | Automatic program inversion using symbolic transducers. | Qinheping Hu, Loris D'Antoni |
476–500 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