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
2013	A study of data structures with a deep heap shape.	Haggai Eran, Erez Petrank
2013	Scalable variable and data type detection in a binary rewriter.	Khaled Elwazeer, Kapil Anand, Aparna Kotha, Matthew Smithson, Rajeev Barua
2013	CONCURRIT: a domain specific language for reproducing concurrency bugs.	Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen
2013	Terra: a multi-stage language for high-performance computing.	Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek
2013	P: safe asynchronous event-driven programming.	Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey
2013	A low overhead method for recovering unused memory inside regions.	Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Sndergaard
2013	Asynchronous functional reactive programming for GUIs.	Evan Czaplicki, Stephen Chong
2013	Reasoning about nondeterminism in programs.	Byron Cook, Eric Koskinen
2013	Limitations of partial compaction: towards practical bounds.	Nachshon Cohen, Erez Petrank
2013	Optimizing database-backed applications with query synthesis.	Alvin Cheung, Armando Solar-Lezama, Samuel Madden
2013	Taming compiler fuzzers.	Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, John Regehr
2013	It's alive! continuous feedback in UI programming.	Sebastian Burckhardt, Manuel Fhndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato
2013	Invasive computing in HPC with X10.	Hans-Joachim Bungartz, Christoph Riesinger, Martin Schreiber, Gregor Snelting, Andreas Zwinkau
2013	Cache rationing for multicore.	Jacob Brock, Chen Ding
2013	SPL	Eric Bodden, Trsis Toldo, Mrcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini
2013	Program-centric cost models for locality.	Guy E. Blelloch, Jeremy T. Fineman, Phillip B. Gibbons, Harsha Vardhan Simhadri
2013	Almost-correct specifications: a modular semantic framework for assigning confidence to warnings.	Sam Blackshear, Shuvendu K. Lahiri
2013	Thresher: precise refutations for heap reachability.	Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
2013	Faceted execution of policy-agnostic programs.	Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama
2013	Joogie: from Java through Jimple to Boogie.	Stephan Arlt, Philipp Rmmer, Martin Schf
2013	How to combine widening and narrowing for non-monotonic systems of equations.	Kalmer Apinis, Helmut Seidl, Vesal Vojdani
2013	Numerical static analysis with Soot.	Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari
2013	Position paper: Sapper - a language for provable hardware policy enforcement.	Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
2012	Trace-driven simulation of memory system scheduling in multithread application.	Pengfei Zhu, Mingyu Chen, Yungang Bao, Licheng Chen, Yongbing Huang
2012	A study towards optimal data layout for GPU computing.	Eddy Z. Zhang, Han Li, Xipeng Shen

851–875 of 1,917← Previous Next →

Comparable venues

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