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
2007	Towards locating execution omission errors.	Xiangyu Zhang, Sriraman Tallam, Neelam Gupta, Rajiv Gupta
2007	Sound and precise analysis of web applications for injection vulnerabilities.	Gary Wassermann, Zhendong Su
2007	EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system.	Perry H. Wang, Jamison D. Collins, Gautham N. Chinya, Hong Jiang, Xinmin Tian, Milind Girkar, Nick Y. Yang, Guei-Yuan Lueh, Hong Wang
2007	CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.	Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky
2007	The ExoVM system for automatic VM and application reduction.	Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg
2007	Thin slicing.	Manu Sridharan, Stephen J. Fink, Rastislav Bodk
2007	Sketching stencils.	Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodk, Vijay A. Saraswat, Sanjit A. Seshia
2007	Improving usability of information flow security in java.	Scott F. Smith, Mark Thober
2007	Fast probabilistic simulation, nontermination, and secure information flow.	Geoffrey Smith, Rafael Alpzar
2007	Enforcing isolation and ordering in STM.	Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha
2007	DITTO: automatic incrementalization of data structure invariant checks (in Java).	Ajeet Shankar, Rastislav Bodk
2007	Online optimizations driven by hardware performance monitoring.	Florian T. Schneider, Mathias Payer, Thomas R. Gross
2007	Automatic inference of optimizer flow functions from semantic meanings.	Erika Rice Scherpelz, Sorin Lerner, Craig Chambers
2007	Guarded models for intrusion detection.	Hassen Sadi
2007	Parameterized tiled loops for free.	Lakshminarayanan Renganarayanan, DaeGon Kim, Sanjay V. Rajopadhye, Michelle Mills Strout
2007	Static specification inference using predicate mining.	Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan
2007	Fault-tolerant typed assembly language.	Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker
2007	Exterminator: automatically correcting memory errors with high probability.	Gene Novark, Emery D. Berger, Benjamin G. Zorn
2007	A domain-specific programming language for secure multiparty computation.	Janus Dam Nielsen, Michael I. Schwartzbach
2007	Valgrind: a framework for heavyweight dynamic binary instrumentation.	Nicholas Nethercote, Julian Seward
2007	Automatically classifying benign and harmful data racesallusing replay analysis.	Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder
2007	Iterative context bounding for systematic testing of multithreaded programs.	Madanlal Musuvathi, Shaz Qadeer
2007	Automatic inversion generates divide-and-conquer parallel programs.	Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2007	A general framework for certifying garbage collectors and their mutators.	Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li
2007	A simulation-based proof technique for dynamic information flow.	Stephen McCamant, Michael D. Ernst

1,176–1,200 of 1,917← Previous Next →

Comparable venues

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