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 |
|---|---|---|
| 2021 | Robustness certification with generative models. | Matthew Mirman, Alexander Hgele, Pavol Bielik, Timon Gehr, Martin T. Vechev |
| 2021 | Hashing modulo alpha-equivalence. | Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones |
| 2021 | Learning to make compiler optimizations more effective. | Rahim Mammadli, Marija Selakovic, Felix Wolf, Michael Pradel |
| 2021 | Vectorized secure evaluation of decision forests. | Raghav Malik, Vidush Singhal, Benjamin Gottfried, Milind Kulkarni |
| 2021 | Alive2: bounded translation validation for LLVM. | Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr |
| 2021 | When threads meet events: efficient and precise static race detection with origins. | Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, Jeff Huang |
| 2021 | High performance correctly rounded math libraries for 32-bit floating point representations. | Jay P. Lim, Santosh Nagarakatte |
| 2021 | Abstraction for conflict-free replicated data types. | Hongjin Liang, Xinyu Feng |
| 2021 | CoStar: a verified ALL(*) parser. | Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux |
| 2021 | Beyond the elementary representations of program invariants over algebraic data types. | Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich |
| 2021 | CompCertO: compiling certified open C components. | Jrmie Koenig, Zhong Shao |
| 2021 | Adaptive restarts for stochastic synthesis. | Jason R. Koenig, Oded Padon, Alex Aiken |
| 2021 | Distance-in-time versus distance-in-space. | Mahmut Taylan Kandemir, Xulong Tang, Hui Zhao, Jihyun Ryoo, Mustafa Karaky |
| 2021 | Logical bytecode reduction. | Christian Gram Kalhauge, Jens Palsberg |
| 2021 | DeepCuts: a deep learning optimization framework for versatile GPU workloads. | Wookeun Jung, Thanh Tuan Dao, Jaejin Lee |
| 2021 | Fluid: a framework for approximate concurrency via controlled dependency relaxation. | Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, Danfeng Zhang |
| 2021 | Cyclic program synthesis. | Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey |
| 2021 | An efficient interpreter for Datalog by de-specializing relations. | Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard Scholz |
| 2021 | Satisfiability modulo ordering consistency theory for multi-threaded program verification. | Fei He, Zhihang Sun, Hongyu Fan |
| 2021 | Towards size-dependent types for array programming. | Troels Henriksen, Martin Elsman |
| 2021 | Learning to find naming issues with big code and small supervision. | Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev |
| 2021 | Weldr: fusing binaries for simplified analysis. | Alexander Heinricher, Ryan Williams, Ava Klingbeil, Alex Jordan |
| 2021 | ControlFlag: a self-supervised idiosyncratic pattern detection system for software control structures. | Niranjan Hasabnis, Justin Gottschlich |
| 2021 | RbSyn: type- and effect-guided program synthesis. | Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn |
| 2021 | PerfLens: a data-driven performance bug detection and fix platform. | Spandan Garg, Roshanak Zilouchian Moghaddam, Neel Sundaresan, Chen Wu |
151–175 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