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 |
|---|---|---|
| 2013 | OCSEGen: open components and systems environment generator. | Oksana Tkachuk |
| 2013 | Harmonizing classes, functions, tuples, and type parameters in virgil iii. | Ben L. Titzer |
| 2013 | X10 at scale. | Olivier Tardieu |
| 2013 | Java interoperability in managed X10. | Mikio Takeuchi, David Cunningham, David Grove, Vijay A. Saraswat |
| 2013 | Verifying higher-order programs with the dijkstra monad. | Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits |
| 2013 | Automated feedback generation for introductory programming assignments. | Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama |
| 2013 | Translation validation for a verified OS kernel. | Thomas Arthur Leck Sewell, Magnus O. Myreen, Gerwin Klein |
| 2013 | Monadic abstract interpreters. | Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens |
| 2013 | Programming languages in security: keynote. | Fred B. Schneider |
| 2013 | Dynamic determinacy analysis. | Max Schfer, Manu Sridharan, Julian Dolby, Frank Tip |
| 2013 | DUA-forensics: a fine-grained dependence analysis and instrumentation framework based on Soot. | Ral A. Santelices, Yiji Zhang, Haipeng Cai, Siyuan Jiang |
| 2013 | Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. | Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani |
| 2013 | Fault-tolerant non-interference: invited talk abstract. | David Sands |
| 2013 | Knowledge inference for optimizing secure multi-party computation. | Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer |
| 2013 | Fast RMWs for TSO: semantics and implementation. | Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, Marco Elver |
| 2013 | Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines. | Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frdo Durand, Saman P. Amarasinghe |
| 2013 | Natural proofs for structure, data, and separation. | Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan |
| 2013 | Soot class loading in the rootbeer GPU compiler. | Philip C. Pratt-Szeliga, Marc-Andr Laverdire, Ettore Merlo, James W. Fawcett, Roy D. Welch |
| 2013 | Hybrid parallel task placement in X10. | Jeeva Paudel, Olivier Tardieu, Jos Nelson Amaral |
| 2013 | A coldness metric for cache optimization. | Raj Parihar, Chen Ding, Michael C. Huang |
| 2013 | Interprocedural data flow analysis in Soot using value contexts. | Rohan Padhye, Uday P. Khedker |
| 2013 | A general constraint-centric scheduling framework for spatial architectures. | Tony Nowatzki, Michael Sartin-Tarm, Lorenzo De Carli, Karthikeyan Sankaralingam, Cristian Estan, Behnam Robatmili |
| 2013 | Compiler testing via a theory of sound optimisations in the C11/C++11 memory model. | Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli |
| 2013 | SMAT: an input adaptive auto-tuner for sparse matrix-vector multiplication. | Jiajia Li, Guangming Tan, Mingyu Chen, Ninghui Sun |
| 2013 | Steal Tree: low-overhead tracing of work stealing schedulers. | Jonathan Lifflander, Sriram Krishnamoorthy, Laxmikant V. Kal |
801–825 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