ACM-SIGPLAN Conference on Programming Language Design and Implementation

PLDI

CORE rank

CORE rank (raw)

Acceptance rate

23.0% (2024)

Fields of research

Software Engineering

Papers indexed

1,917

1979–2023

Best Software Engineering conferences

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
2020	Effective function merging in the SSA form.	Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, Hugh Leather
2020	TACAI: an intermediate representation based on abstract interpretation.	Michael Reif, Florian Kbler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini
2020	Understanding memory and thread safety practices and issues in real-world Rust programs.	Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, Yiying Zhang
2020	Semantic code search via equational reasoning.	Varot Premtoon, James Koppel, Armando Solar-Lezama
2020	BlankIt library debloating: getting what you want instead of cutting what you don't.	Chris Porter, Girish Mururu, Prithayan Barua, Santosh Pande
2020	OOElala: order-of-evaluation based alias analysis for compiler optimization.	Ankush Phulia, Vaibhav Bhagee, Sorav Bansal
2020	Learning quantitative representation synthesis.	Mayur Patil, Farzin Houshmand, Mohsen Lesani
2020	Automated derivation of parametric data movement lower bounds for affine programs.	Auguste Olivry, Julien Langou, Louis-Nol Pouchet, P. Sadayappan, Fabrice Rastello
2020	Formal reasoning and the hacker way (keynote).	Peter W. O'Hearn
2020	Predictable accelerator design with time-sensitive affine types.	Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, Zhiru Zhang
2020	Synthesizing structured CAD models with equality saturation and inverse transformations.	Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
2020	Responsive parallelism with futures and state.	Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee
2020	Value and allocation sensitivity in static Python analyses.	Raphal Monat, Abdelraouf Ouadjaout, Antoine Min
2020	Data-driven inference of representation invariants.	Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
2020	Adaptive low-overhead scheduling for periodic and reactive intermittent execution.	Kiwan Maeng, Brandon Lucia
2020	Armada: low-effort verification of high-performance concurrent programs.	Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
2020	Fast graph simplification for interleaved Dyck-reachability.	Yuanbo Li, Qirun Zhang, Thomas W. Reps
2020	Debug information validation for optimized code.	Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano
2020	Securing smart contract with runtime validation.	Ao Li, Jemin Andrew Choi, Fan Long
2020	Optimizing homomorphic evaluation circuits by program synthesis and term rewriting.	DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
2020	Promising 2.0: global optimizations in relaxed memory concurrency.	Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis
2020	Decidable verification under a causally consistent shared memory.	Ori Lahav, Udi Boker
2020	Verifying concurrent search structure templates.	Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies
2020	Inductive sequentialization of asynchronous programs.	Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer
2020	First-order quantified separators.	Jason R. Koenig, Oded Padon, Neil Immerman, Alex Aiken

226–250 of 1,917← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.