| 2010 | 2010 Athena lecture. Susan J. Eggers |
| 2010 | A GPGPU compiler for memory optimization and parallelism management. Yi Yang, Ping Xiang, Jingfei Kong, Huiyang Zhou |
| 2010 | A context-free markup language for semi-structured text. Qian Xi, David Walker |
| 2010 | Adversarial memory for detecting destructive races. Cormac Flanagan, Stephen N. Freund |
| 2010 | An analysis of the dynamic behavior of JavaScript programs. Gregor Richards, Sylvain Lebresne, Brian Burg, Jan Vitek |
| 2010 | Bamboo: a data-centric, object-oriented approach to many-core software. Jin Zhou, Brian Demsky |
| 2010 | Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer |
| 2010 | Bringing extensibility to verified compilers. Zachary Tatlock, Sorin Lerner |
| 2010 | Cache topology aware computation mapping for multicores. Mahmut T. Kandemir, Taylan Yemliha, Sai Prashanth Muralidhara, Shekhar Srikantaiah, Mary Jane Irwin, Yuanrui Zhang |
| 2010 | Complete functional synthesis. Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter |
| 2010 | Composing parallel software efficiently with lithe. Heidi Pan, Benjamin Hindman, Krste Asanovic |
| 2010 | DRFX: a simple and efficient memory model for concurrent programming languages. Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
| 2010 | Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools. Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry |
| 2010 | Detecting inefficiently-used containers to avoid bloat. Guoqing Xu, Atanas Rountev |
| 2010 | Evaluating iterative optimization across 1000 datasets. Yang Chen, Yuanjie Huang, Lieven Eeckhout, Grigori Fursin, Liang Peng, Olivier Temam, Chengyong Wu |
| 2010 | Evaluating the accuracy of Java profilers. Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney |
| 2010 | Finding low-utility data structures. Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky |
| 2010 | FlumeJava: easy, efficient data-parallel pipelines. Craig Chambers, Ashish Raniwala, Frances Perry, Stephen Adams, Robert R. Henry, Robert Bradshaw, Nathan Weizenbaum |
| 2010 | GUESSTIMATE: a programming model for collaborative distributed systems. Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi |
| 2010 | Green: a framework for supporting energy-conscious programming using controlled approximation. Woongki Baek, Trishul M. Chilimbi |
| 2010 | Inferable object-oriented typed assembly language. Ross Tate, Juan Chen, Chris Hawblitzel |
| 2010 | Jinn: synthesizing dynamic bug detectors for foreign language interfaces. ByeongCheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley |
| 2010 | Line-up: a complete and automatic linearizability checker. Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan |
| 2010 | Lock elision for read-only critical sections in Java. Takuya Nakaike, Maged M. Michael |
| 2010 | MemSAT: checking axiomatic specifications of memory models. Emina Torlak, Mandana Vaziri, Julian Dolby |
| 2010 | Mint: Java multi-stage programming using weak separability. Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha |
| 2010 | Mixing type checking and symbolic execution. Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster |
| 2010 | PACER: proportional detection of data races. Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley |
| 2010 | Parameterized verification of transactional memories. Michael Emmi, Rupak Majumdar, Roman Manevich |
| 2010 | Printing floating-point numbers quickly and accurately with integers. Florian Loitsch |
| 2010 | Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010 Benjamin G. Zorn, Alex Aiken |
| 2010 | Resolving and exploiting the Matthew Might, Yannis Smaragdakis, David Van Horn |
| 2010 | Safe programmable speculative parallelism. Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani |
| 2010 | Safe to the last instruction: automated verification of a type-safe operating system. Jean Yang, Chris Hawblitzel |
| 2010 | Schism: fragmentation-tolerant real-time garbage collection. Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek |
| 2010 | Smooth interpretation. Swarat Chaudhuri, Armando Solar-Lezama |
| 2010 | Software data spreading: leveraging distributed caches to improve single thread performance. Md. Kamruzzaman, Steven Swanson, Dean M. Tullsen |
| 2010 | Supporting speculative parallelization in the presence of dynamic data structures. Chen Tian, Min Feng, Rajiv Gupta |
| 2010 | The reachability-bound problem. Sumit Gulwani, Florian Zuleger |
| 2010 | Traceable data types for self-adjusting computation. Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu |
| 2010 | Type-preserving compilation of end-to-end verification of security enforcement. Juan Chen, Ravi Chugh, Nikhil Swamy |
| 2010 | Ur: statically-typed metaprogramming with type-level record computation. Adam Chlipala |
| 2010 | Z-rays: divide arrays and conquer speed and flexibility. Jennifer B. Sartor, Stephen M. Blackburn, Daniel Frampton, Martin Hirzel, Kathryn S. McKinley |