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 |
|---|---|---|
| 2022 | Kleene algebra modulo theories: a framework for concrete KATs. | Michael Greenberg, Ryan Beckett, Eric Hayden Campbell |
| 2022 | PyLSE: a pulse-transfer level language for superconductor electronics. | Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf |
| 2022 | Semantic soundness for language interoperability. | Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed |
| 2022 | Productivity assessment of neural code completion. | Albert Ziegler, Eirini Kalliamvakou, X. Alice Li, Andrew Rice, Devon Rifkin, Shawn Simister, Ganesh Sittampalam, Edward Aftandilian |
| 2021 | Execution reconstruction: harnessing failure reoccurrences for failure reproduction. | Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci |
| 2021 | AKG: automatic kernel generation for neural processing units using polyhedral transformations. | Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, Xuefeng Jin |
| 2021 | Quantum abstract interpretation. | Nengkun Yu, Jens Palsberg |
| 2021 | Automated conformance testing for JavaScript engines via deep compiler fuzzing. | Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, Zheng Wang |
| 2021 | Boosting SMT solver performance on mixed-bitwise-arithmetic expressions. | Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, Qiaoyan Yu |
| 2021 | Quantitative analysis of assertion violations in probabilistic programs. | Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
| 2021 | Sound probabilistic inference via guide types. | Di Wang, Jan Hoffmann, Thomas W. Reps |
| 2021 | Central moment analysis for cost accumulators in probabilistic programs. | Di Wang, Jan Hoffmann, Thomas W. Reps |
| 2021 | Scalable string analysis: an experience report. | Kostyantyn Vorobyov, Yang Zhao, Padmanabhan Krishnan |
| 2021 | Reticle: a virtual machine for programming modern FPGAs. | Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, Luis Ceze |
| 2021 | Example-guided synthesis of relational queries. | Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman |
| 2021 | Multi-language static code analysis on the LARA framework. | Gil Teixeira, Joo Bispo, Filipe F. Correia |
| 2021 | Gleipnir: toward practical error analysis for Quantum programs. | Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu |
| 2021 | SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. | Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu |
| 2021 | Incremental whole-program analysis in Datalog with lattices. | Tams Szab, Sebastian Erdweg, Gbor Bergmann |
| 2021 | Automatically enforcing fresh and consistent inputs in intermittent systems. | Milijana Surbatovich, Limin Jia, Brandon Lucia |
| 2021 | Symbolic Boolean derivatives for efficiently solving extended regular expression constraints. | Caleb Stanford, Margus Veanes, Nikolaj S. Bjrner |
| 2021 | Transfinite Iris: resolving an existential dilemma of step-indexed separation logic. | Simon Spies, Lennard Gher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, Lars Birkedal |
| 2021 | Provable repair of deep neural networks. | Matthew Sotoudeh, Aditya V. Thakur |
| 2021 | Pure tensor program rewriting via access patterns (representation pearl). | Gus Henry Smith, Andrew Liu, Steven Lyubomirsky, Scott Davidson, Joseph McMahan, Michael B. Taylor, Luis Ceze, Zachary Tatlock |
| 2021 | Retrofitting effect handlers onto OCaml. | K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy |
101–125 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