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
2016	Occurrence typing modulo theories.	Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt
2016	Verified lifting of stencil computations.	Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama
2016	Assessing the limits of program-specific garbage collection performance.	Nicholas Jacek, Meng-Chieh Chiu, Benjamin M. Marlin, Eliot Moss
2016	The key to a data parallel compiler.	Aaron W. Hsu
2016	Effective padding of multidimensional arrays to avoid cache conflict misses.	Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Nol Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan
2016	Stratified synthesis: automatically learning the x86-64 instruction set.	Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken
2016	Design and GPGPU performance of Futhark's redomap construct.	Troels Henriksen, Ken Friis Larsen, Cosmin E. Oancea
2016	Resilient X10 over MPI user level failure mitigation.	Sara S. Hamouda, Benjamin Herta, Josh Milthorpe, David Grove, Olivier Tardieu
2016	Cardinalities and universal quantifiers for verifying parameterized systems.	Klaus von Gleissenthall, Nikolaj S. Bjrner, Andrey Rybalchenko
2016	Lightweight computation tree tracing for lazy functional languages.	Maarten Faddegon, Olaf Chitil
2016	SDNRacer: concurrency analysis for software-defined networks.	Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev
2016	Remix: online detection and repair of cache contention for the JVM.	Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti
2016	Toward an automated benchmark management system.	Lisa Nguyen Quang Do, Michael Eichberg, Eric Bodden
2016	Idle time garbage collection scheduling.	Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer
2016	Statistical similarity of binaries.	Yaniv David, Nimrod Partush, Eran Yahav
2016	End-to-end verification of information-flow security for C and assembly programs.	David Costanzo, Zhong Shao, Ronghui Gu
2016	Programmatic and direct manipulation, together at last.	Ravi Chugh, Brian Hempel, Mitchell Spradlin, Jacob Albers
2016	Toward compositional verification of interruptible OS kernels and device drivers.	Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu
2016	Coverage-directed differential testing of JVM implementations.	Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao
2016	Living on the edge: rapid-toggling probes with cross-modification on x86.	Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton
2016	Temporal NetKAT.	Ryan Beckett, Michael Greenberg, David Walker
2016	Data-race detection: the missing piece for an end-to-end semantic equivalence checker for parallelizing transformations of array-intensive programs.	Kunal Banerjee, Soumyadip Banerjee, Santonu Sarkar
2016	FlexVec: auto-vectorization for irregular loops.	Sara S. Baghsorkhi, Nalini Vasudevan, Youfeng Wu
2016	Towards cross-platform cross-language analysis with soot.	Steven Arzt, Tobias Kussmaul, Eric Bodden
2016	Configuration synthesis for programmable analog devices with Arco.	Sara Achour, Rahul Sarpeshkar, Martin C. Rinard

576–600 of 1,917← Previous Next →

Comparable venues

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