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
2019	Resource-guided program synthesis.	Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann
2019	Huron: hybrid false sharing detection and repair.	Tanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, Baris Kasikci
2019	Type-level computations for Ruby libraries.	Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn
2019	Computing summaries of string loops in C for better testing and refactoring.	Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar
2019	Towards certified separate compilation for concurrent programs.	Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng
2019	ALPyNA: acceleration of loops in Python for novel architectures.	Dejice Jacob, Jeremy Singer
2019	Synthesis and machine learning for heterogeneous extraction.	Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani
2019	Continuously reasoning about programs using differential Bayesian inference.	Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik
2019	Lazy counterfactual symbolic execution.	William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac
2019	A fast analytical model of fully associative caches.	Tobias Gysi, Tobias Grosser, Laurin Brandner, Torsten Hoefler
2019	Wootz: a compiler-based framework for fast CNN pruning via composability.	Hui Guan, Xipeng Shen, Seung-Hwan Lim
2019	Compiling KB-sized machine learning models to tiny IoT devices.	Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
2019	Adventures in commercial-grade static analysis (keynote).	Simon Goldsmith
2019	A case study on machine learning for synthesizing benchmarks.	Andrs Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jernimo Castrilln
2019	Simple and precise static analysis of untrusted Linux kernel extensions.	Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv
2019	Effective floating-point analysis via weak-distance minimization.	Zhoulai Fu, Zhendong Su
2019	Scenic: a language for scenario specification and scene generation.	Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2019	Modular divide-and-conquer parallelization of nested loops.	Azadeh Farzan, Victor Nicolet
2019	Data-parallel flattening by expansion.	Martin Elsman, Troels Henriksen, Niels Gustav Westphal Serup
2019	Unsupervised learning of API aliasing specifications.	Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin T. Vechev
2019	MetaDL: analysing Datalog in Datalog.	Alexandru Dura, Hampus Balldin, Christoph Reichenbach
2019	Low-latency graph streaming using compressed purely-functional trees.	Laxman Dhulipala, Guy E. Blelloch, Julian Shun
2019	CHET: an optimizing compiler for fully-homomorphic neural-network inferencing.	Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
2019	A complete formal semantics of x86-64 user-level instruction set architecture.	Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu
2019	SootDiff: bytecode comparison across different Java compilers.	Andreas Dann, Ben Hermann, Eric Bodden

351–375 of 1,917← Previous Next →

Comparable venues

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