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 |
|---|---|---|
| 2010 | Printing floating-point numbers quickly and accurately with integers. | Florian Loitsch |
| 2010 | Jinn: synthesizing dynamic bug detectors for foreign language interfaces. | Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley |
| 2010 | Complete functional synthesis. | Viktor Kuncak, Mikal Mayer, Ruzica Piskac, Philippe Suter |
| 2010 | Mixing type checking and symbolic execution. | Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster |
| 2010 | Cache topology aware computation mapping for multicores. | Mahmut T. Kandemir, Taylan Yemliha, Sai Prashanth Muralidhara, Shekhar Srikantaiah, Mary Jane Irwin, Yuanrui Zhang |
| 2010 | Software data spreading: leveraging distributed caches to improve single thread performance. | Md. Kamruzzaman, Steven Swanson, Dean M. Tullsen |
| 2010 | Restricted delegation and revocation in language-based security: (position paper). | D. Hassan, Mohammad Reza Mousavi, Michel A. Reniers |
| 2010 | The reachability-bound problem. | Sumit Gulwani, Florian Zuleger |
| 2010 | Adversarial memory for detecting destructive races. | Cormac Flanagan, Stephen N. Freund |
| 2010 | Parameterized verification of transactional memories. | Michael Emmi, Rupak Majumdar, Roman Manevich |
| 2010 | 2010 Athena lecture. | Susan J. Eggers |
| 2010 | The case for JavaScript transactions: position paper. | Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy |
| 2010 | Ur: statically-typed metaprogramming with type-level record computation. | Adam Chlipala |
| 2010 | Evaluating iterative optimization across 1000 datasets. | Yang Chen, Yuanjie Huang, Lieven Eeckhout, Grigori Fursin, Liang Peng, Olivier Temam, Chengyong Wu |
| 2010 | Type-preserving compilation of end-to-end verification of security enforcement. | Juan Chen, Ravi Chugh, Nikhil Swamy |
| 2010 | Smooth interpretation. | Swarat Chaudhuri, Armando Solar-Lezama |
| 2010 | FlumeJava: easy, efficient data-parallel pipelines. | Craig Chambers, Ashish Raniwala, Frances Perry, Stephen Adams, Robert R. Henry, Robert Bradshaw, Nathan Weizenbaum |
| 2010 | Line-up: a complete and automatic linearizability checker. | Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan |
| 2010 | Efficient, context-sensitive detection of real-world semantic attacks. | Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, Vitaly Shmatikov |
| 2010 | PACER: proportional detection of data races. | Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley |
| 2010 | Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. | Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer |
| 2010 | Attack model for verification of interval security properties for smart card C codes. | Pascal Berthom, Karine Heydemann, Xavier Kauffmann-Tourkestansky, Jean-Franois Lalande |
| 2010 | Green: a framework for supporting energy-conscious programming using controlled approximation. | Woongki Baek, Trishul M. Chilimbi |
| 2010 | Permissive dynamic information flow analysis. | Thomas H. Austin, Cormac Flanagan |
| 2010 | Traceable data types for self-adjusting computation. | Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Trkoglu |
1,051–1,075 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