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 | Bind the gap: compiling real software to hardware FFT accelerators. | Jackson Woodruff, Jordi Armengol-Estap, Sam Ainsworth, Michael F. P. O'Boyle |
| 2022 | Odin: on-demand instrumentation with on-the-fly recompilation. | Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, Yu Jiang |
| 2022 | Formally verified lifting of C-compiled x86-64 binaries. | Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran |
| 2022 | Giallar: push-button verification for the qiskit Quantum compiler. | Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu |
| 2022 | FreeTensor: a free-form DSL with holistic optimizations for irregular tensor programs. | Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng, Zhenhao Yuan, Chen Zhang |
| 2022 | From perception to programs: regularize, overparameterize, and amortize. | Hao Tang, Kevin Ellis |
| 2022 | Hardening attack surfaces with formally proven binary format parsers. | Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta |
| 2022 | Statically detecting data leakages in data science code. | Pavle Subotic, Uros Bojanic, Milan Stojic |
| 2022 | Certified mergeable replicated data types. | Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan |
| 2022 | Towards an implementation of differential dynamic logic in PVS. | J. Tanner Slagel, Csar A. Muoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren M. White |
| 2022 | Parallel scan as a multidimensional array problem. | Artjoms Sinkarovs, Sven-Bodo Scholz |
| 2022 | A graph neural network-based performance model for deep learning applications. | Shikhar Singh, James Hegarty, Hugh Leather, Benoit Steiner |
| 2022 | A typed continuation-passing translation for lexical effect handlers. | Philipp Schuster, Jonathan Immanuel Brachthuser, Marius Mller, Klaus Ostermann |
| 2022 | Islaris: verification of machine code against authoritative ISA semantics. | Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, Peter Sewell |
| 2022 | Lasagne: a static binary translator for weak memory model architectures. | Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia |
| 2022 | Syntax-guided program reduction for understanding neural code intelligence models. | Md. Rafiqul Islam Rabin, Aftab Hussain, Mohammad Amin Alipour |
| 2022 | Interpreter-guided differential JIT compiler unit testing. | Guillermo Polito, Stphane Ducasse, Pablo Tesone |
| 2022 | Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code. | Clment Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala |
| 2022 | Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. | Yuxiang Peng, Mingsheng Ying, Xiaodi Wu |
| 2022 | Landmarks and regions: a robust approach to data extraction. | Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza |
| 2022 | Computing correctly with inductive relations. | Zoe Paraskevopoulou, Aaron Eline, Leonidas Lampropoulos |
| 2022 | Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. | Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin |
| 2022 | Using q-learning to select the best among functionally equivalent implementations. | Meggie van den Oever, Lauren E. Grimley, Richard Michael Veras |
| 2022 | Quickstrom: property-based acceptance testing with LTL specifications. | Liam O'Connor, Oskar Wickstrm |
| 2022 | Predictive synthesis of API-centric code. | Daye Nam, Baishakhi Ray, Seohyun Kim, Xianshan Qu, Satish Chandra |
26–50 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