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	Concurrent deferred reference counting with constant-time overhead.	Daniel Anderson, Guy E. Blelloch, Yuanhao Wei
2021	Viaduct: an extensible, optimizing compiler for secure distributed programs.	Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi
2021	Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code.	Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
2021	JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace.	Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
2021	Demanded abstract interpretation.	Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
2021	Wire sorts: a language abstraction for safe hardware composition.	Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf
2021	Snapshot-free, transparent, and robust memory reclamation for lock-free data structures.	Ruslan Nikolaev, Binoy Ravindran
2021	Termination analysis without the tears.	Shaowei Zhu, Zachary Kincaid
2020	SympleGraph: distributed graph processing with precise loop-carried dependency guarantee.	Youwei Zhuo, Jingji Chen, Qinyi Luo, Yanzhi Wang, Hailong Yang, Depei Qian, Xuehai Qian
2020	On the principles of differentiable quantum programming languages.	Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu
2020	On the challenges in programming mixed-precision deep neural networks.	Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, Kuen Hung Tsoi
2020	Learning nonlinear loop invariants with gated continuous logic networks.	Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
2020	Improving program locality in the GC using hotness.	Albert Mingkun Yang, Erik sterlund, Tobias Wrigstad
2020	PMThreads: persistent memory threads harnessing versioned shadow copies.	Zhenwei Wu, Kai Lu, Andrew Nisbet, Wenzhe Zhang, Mikel Lujn
2020	Validating SMT solvers via semantic fusion.	Dominik Winterer, Chengyu Zhang, Zhendong Su
2020	Repairing and mechanising the JavaScript relaxed memory model.	Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo
2020	CacheQuery: learning replacement policies from hardware caches.	Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Kpf
2020	CARAT: a case for virtual memory through compiler- and runtime-based address translation.	Brian Suchy, Simone Campanoni, Nikos Hardavellas, Peter A. Dinda
2020	Detecting network load violations for distributed control planes.	Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, Aditya Akella
2020	Explaining bug provenance with trace witnesses.	Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis
2020	LLHD: a multi-level intermediate representation for hardware description languages.	Fabian Schuiki, Andreas Kurth, Tobias Grosser, Luca Benini
2020	Gillian, part i: a multi-language platform for symbolic execution.	Jos Fragoso Santos, Petar Maksimovic, Sacha-lie Ayoun, Philippa Gardner
2020	Generating correctness proofs with neural networks.	Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner
2020	Type error feedback via analytic program repair.	Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala
2020	SmartTrack: efficient predictive race detection.	Jake Roemer, Kaan Gen, Michael D. Bond

201–225 of 1,917← Previous Next →

Comparable venues

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