ACM-SIGPLAN Conference on Programming Language Design and Implementation
PLDI
A*
CORE rank
CORE rank (raw)
A*
Acceptance rate
23.0% (2024)
Fields of research
Software Engineering
Papers indexed
1,917
1979–2023
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 |
|---|---|---|
| 2012 | Typing illegal information flows as program effects. | Ana Almeida Matos, Jos Fragoso Santos |
| 2012 | Knowledge-oriented secure multiparty computation. | Piotr Mardziel, Michael Hicks, Jonathan Katz, Mudhakar Srivatsa |
| 2012 | Soot-based implementation of a demand-driven reaching definitions analysis. | Longwen Lu, Cheng Zhang, Jianjun Zhao |
| 2012 | A compiler framework for extracting superword level parallelism. | Jun Liu, Yuanrui Zhang, Ohyoung Jang, Wei Ding, Mahmut T. Kandemir |
| 2012 | Dynamic synthesis for relaxed memory models. | Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav |
| 2012 | Design space exploration of memory model for heterogeneous computing. | Jieun Lim, Hyesoon Kim |
| 2012 | Hash-flow taint analysis of higher-order programs. | Shuying Liang, Matthew Might |
| 2012 | Verifying GPU kernels by test amplification. | Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner |
| 2012 | Chimera: hybrid program analysis for determinism. | Dongyoon Lee, Peter M. Chen, Jason Flinn, Satish Narayanasamy |
| 2012 | Efficient state merging in symbolic execution. | Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea |
| 2012 | Static analysis and compiler design for idempotent processing. | Marc de Kruijf, Karthikeyan Sankaralingam, Somesh Jha |
| 2012 | Supporting virtual memory in GPGPU without supporting precise exceptions. | Hyesoon Kim |
| 2012 | Deterministic parallelism via liquid effects. | Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala |
| 2012 | Speculative separation for privatization and reductions. | Nick P. Johnson, Hanjun Kim, Prakash Prabhu, Ayal Zaks, David I. August |
| 2012 | Understanding and detecting real-world performance bugs. | Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu |
| 2012 | Security-policy monitoring and enforcement with JavaMOP. | Soha Hussein, Patrick O'Neil Meredith, Grigore Rosu |
| 2012 | Dynamic trace-based analysis of vectorization potential of applications. | Justin Holewinski, Ragavendar Ramamurthi, Mahesh Ravishankar, Naznin Fauzia, Louis-Nol Pouchet, Atanas Rountev, P. Sadayappan |
| 2012 | A generic approach for security policies composition: position paper. | Alejandro Mario Hernandez, Flemming Nielson |
| 2012 | Concurrent data representation synthesis. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2012 | Fast and precise hybrid type inference for JavaScript. | Brian Hackett, Shu-yu Guo |
| 2012 | Speculative linearizability. | Rachid Guerraoui, Viktor Kuncak, Giuliano Losa |
| 2012 | Synthesizing software verifiers from proof rules. | Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
| 2012 | Automated synthesis of symbolic instruction encodings from I/O samples. | Patrice Godefroid, Ankur Taly |
| 2012 | SuperC: parsing all of C by taming the preprocessor. | Paul Gazzillo, Robert Grimm |
| 2012 | Engage: a deployment management system. | Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali |
901–925 of 1,917← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems