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	Replication-aware linearizability.	Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri
2019	Proving differential privacy with shadow execution.	Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, Danfeng Zhang
2019	Panthera: holistic memory management for big data processing over hybrid memories.	Chenxi Wang, Huimin Cui, Ting Cao, John N. Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, Guoqing Harry Xu
2019	Cost analysis of nondeterministic probabilistic programs.	Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi
2019	LoCal: a language for programs operating on serialized data.	Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton
2019	Ignis: scaling distribution-oblivious systems with light-touch distribution.	Nikos Vasilakis, Ben Karel, Yash Palkhiwala, John Sonchack, Andr DeHon, Jonathan M. Smith
2019	Lightweight multi-language syntax transformation with parser parser combinators.	Rijnard van Tonder, Claire Le Goues
2019	Triton: an intermediate language and compiler for tiled neural network computations.	Philippe Tillet, Hsiang-Tsung Kung, David D. Cox
2019	Co-optimizing memory-level parallelism and cache-level parallelism.	Xulong Tang, Mahmut Taylan Kandemir, Mustafa Karaky, Meenakshi Arunachalam
2019	Composable, sound transformations of nested recursion and loops.	Kirshanthan Sundararajah, Milind Kulkarni
2019	Linear algebraic depth-first search.	Daniele G. Spampinato, Upasana Sridhar, Tze Meng Low
2019	Scalable verification of probabilistic networks.	Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2019	Records with rank polymorphism.	Justin Slepak, Olin Shivers, Panagiotis Manolios
2019	Convolutional neural networks in APL.	Artjoms Sinkarovs, Robert Bernecky, Sven-Bodo Scholz
2019	AutoPersist: an easy-to-use Java NVM framework based on reachability.	Thomas Shull, Jian Huang, Josep Torrellas
2019	Know your analysis: how instrumentation aids understanding static analysis.	Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden
2019	Verifying message-passing programs with dependent behavioural types.	Alceste Scalas, Nobuko Yoshida, Elias Benussi
2019	Sound, fine-grained traversal fusion for heterogeneous trees.	Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni
2019	Transactional concurrency control for intermittent, energy-harvesting computing systems.	Emily Ruppel, Brandon Lucia
2019	Characterising renaming within OCaml's module system: theory and implementation.	Reuben N. S. Rowe, Hugo Fre, Simon J. Thompson, Scott Owens
2019	TeIL: a type-safe imperative tensor intermediate language.	Norman A. Rink, Jernimo Castrilln
2019	Promising-ARM/RISC-V: a simpler and faster operational concurrency model.	Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur
2019	Renaissance: benchmarking suite for parallel applications on the JVM.	Aleksandar Prokopec, Andrea Ros, David Leopoldseder, Gilles Duboscq, Petr Tuma, Martin Studener, Lubomr Bulej, Yudi Zheng, Alex Villazn, Doug Simon, Thomas Wrthinger, Walter Binder
2019	Mesh: compacting memory management for C/C++ applications.	Bobby Powers, David Tench, Emery D. Berger, Andrew McGregor
2019	SemCluster: clustering of imperative programming assignments based on quantitative semantic features.	David Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu Zhang

301–325 of 1,917← Previous Next →

Comparable venues

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