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	Polynomial invariant generation for non-deterministic recursive programs.	Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
2020	Learned garbage collection.	Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, Tim Kraska
2020	Constant-time foundations for the new spectre era.	Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe
2020	Towards a verified range analysis for JavaScript JITs.	Fraser Brown, John Renner, Andres Ntzli, Sorin Lerner, Hovav Shacham, Deian Stefan
2020	Ethainter: a smart contract security analyzer for composite vulnerabilities.	Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis
2020	Templates and recurrences: better together.	Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps
2020	The essence of Bluespec: a core language for rule-based hardware design.	Thomas Bourgeat, Clment Pit-Claudel, Adam Chlipala, Arvind
2020	Towards an API for the real numbers.	Hans-Juergen Boehm
2020	Silq: a high-level quantum language with safe uncomputation and intuitive semantics.	Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev
2020	HipHop.js: (A)Synchronous reactive web programming.	Grard Berry, Manuel Serrano
2020	Behavioral simulation for smart contracts.	Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea
2020	Reactive probabilistic programming.	Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
2020	SCAF: a speculation-aware collaborative dependence analysis framework.	Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, David I. August
2020	Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room.	Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, Yannis Smaragdakis
2020	Typilus: neural type hints.	Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao
2020	Efficient handling of string-number conversion.	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Luks Holk, Wei-Cheng Wu
2020	A study of the learnability of relational properties: model counting meets machine learning (MCML).	Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid
2020	Blended, precise semantic program embeddings.	Ke Wang, Zhendong Su
2020	PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization.	Fabian Ritter, Sebastian Hack
2019	An inductive synthesis framework for verifiable reinforcement learning.	He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan
2019	An applied quantum Hoare logic.	Li Zhou, Nengkun Yu, Mingsheng Ying
2019	Incremental precision-preserving symbolic inference for probabilistic programs.	Jieyuan Zhang, Jingling Xue
2019	Parallelism-centric what-if and differential analyses.	Adarsh Yoga, Santosh Nagarakatte
2019	Program analysis for process migration.	Buse Yilmaz, Ilyas Turimbetov, Didem Unat
2019	Abstract interpretation under speculative execution.	Meng Wu, Chao Wang

276–300 of 1,917← Previous Next →

Comparable venues

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