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
2021	Array languages make neural networks fast.	Artjoms Sinkarovs, Hans-Nikolai Viemann, Sven-Bodo Scholz
2021	Path-sensitive sparse analysis without path conditions.	Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
2021	Concolic program repair.	Ridwan Salihin Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
2021	Specification synthesis with constrained Horn clauses.	Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza
2021	Serialization-aware call graph construction.	Joanna C. S. Santos, Reese A. Jones, Chinomso Ashiogwu, Mehdi Mirakhorli
2021	RefinedC: automating the foundational verification of C code with refined ownership types.	Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg
2021	SPPL: probabilistic programming with fast exact symbolic inference.	Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka
2021	Bliss: auto-tuning complex applications using a pool of diverse lightweight learning models.	Rohan Basu Roy, Tirthak Patel, Vijay Gadepally, Devesh Tiwari
2021	Proof repair across type equivalences.	Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
2021	Scooter & Sidecar: a domain-specific approach to writing secure database migrations.	John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan
2021	Unleashing the hidden power of compiler optimization on binary code difference: an empirical study.	Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, Li Li
2021	Perceus: garbage free reference counting with reuse.	Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen
2021	Task parallel assembly language for uncompromising parallelism.	Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar
2021	Repairing serializability bugs in distributed database programs via automated schema refactoring.	Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
2021	Practical smart contract sharding with ownership and commutativity analysis.	George Prlea, Amrit Kumar, Ilya Sergey
2021	Acceleration of lattice models for pricing portfolios of fixed-income derivatives.	Wojciech Michal Pawlak, Marek Hlava, Martin Metaksov, Cosmin Eugen Oancea
2021	Predictive data locality optimization for higher-order tensor computations.	Tharindu Rusira Patabandi, Anand Venkat, Abhishek Kulkarni, Pushkar Ratnalikar, Mary W. Hall, Justin Gottschlich
2021	Unqomp: synthesizing uncomputation in Quantum circuits.	Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev
2021	Synthesizing data structure refinements from integrity constraints.	Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig
2021	Filling typed holes with live GUIs.	Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh
2021	IOOpt: automatic derivation of I/O complexity bounds for affine programs.	Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, Fabrice Rastello
2021	DNNFusion: accelerating deep neural networks execution with advanced operator fusion.	Wei Niu, Jiexiong Guan, Yanzhi Wang, Gagan Agrawal, Bin Ren
2021	Developer and user-transparent compiler optimization for interactive applications.	Paschalis Mpeis, Pavlos Petoumenos, Kim M. Hazelwood, Hugh Leather
2021	Reverse engineering for reduction parallelization via semiring polynomials.	Akimasa Morihata, Shigeyuki Sato
2021	Trace-based control-flow analysis.	Benot Montagu, Thomas P. Jensen

126–150 of 1,917← Previous Next →

Comparable venues

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