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	Modernizing parsing tools: parsing and analysis with object-oriented programming.	Steven O'Hara, Rocky Slavin
2019	Fixpoint reuse for incremental JavaScript analysis.	Lawton Nichols, Mehmet Emre, Ben Hardekopf
2019	Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs.	Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
2019	Toward generalized tensor algebra for ab initio quantum chemistry methods.	Erdal Mutlu, Karol Kowalski, Sriram Krishnamoorthy
2019	Sparse computation data dependence simplification for efficient compiler-generated inspectors.	Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary W. Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, Michelle Mills Strout
2019	Usuba: high-throughput and constant-time ciphers, by construction.	Darius Mercadier, Pierre-variste Dagand
2019	Parser-directed fuzzing.	Bjrn Mathis, Rahul Gopinath, Michal Mera, Alexander Kampmann, Matthias Hschele, Andreas Zeller
2019	Data-trace types for distributed stream processing systems.	Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen
2019	Supporting peripherals in intermittent systems with just-in-time checkpoints.	Kiwan Maeng, Brandon Lucia
2019	Sound regular expression semantics for dynamic symbolic execution of JavaScript.	Blake Loring, Duncan Mitchell, Johannes Kinder
2019	Verified compilation on a verified processor.	Andreas Lw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox
2019	Accelerating sequential consistency for Java with speculative compilation.	Lun Liu, Todd D. Millstein, Madanlal Musuvathi
2019	Neural query expansion for code search.	Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra
2019	DFix: automatically fixing timing bugs in distributed systems.	Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu
2019	Sparse record and replay with controlled scheduling.	Christopher Lidbury, Alastair F. Donaldson
2019	ILC: a calculus for composable, computational cryptography.	Kevin Liao, Matthew A. Hammer, Andrew Miller
2019	SLING: using dynamic analysis to infer program invariants in separation logic.	Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen
2019	Programming support for autonomizing software.	Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, Xiangyu Zhang
2019	Robustness against release/acquire semantics.	Ori Lahav, Roy David Margalit
2019	Toward efficient gradual typing for structural types via coercions.	Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek
2019	High-level synthesis of functional patterns with Lift.	Martin Kristien, Bruno Bodin, Michel Steuwer, Christophe Dubach
2019	A typed, algebraic approach to parsing.	Neelakantan R. Krishnaswami, Jeremy Yallop
2019	Commit-time incremental analysis.	Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, Yi Lu
2019	Model-driven transformations for multi- and many-core CPUs.	Martin Kong, Louis-Nol Pouchet
2019	Model checking for weakly consistent libraries.	Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis

326–350 of 1,917← Previous Next →

Comparable venues

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