| 2010 | A domain-specific approach to architecturing error handling in pervasive computing. Julien Mercadal, Quentin Enard, Charles Consel, Nicolas Loriant |
| 2010 | A dynamic evaluation of the precision of static heap abstractions. Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv |
| 2010 | A graph-based approach to API usage adaptation. Hoan Anh Nguyen, Tung Thanh Nguyen, Gary Wilson Jr., Anh Tuan Nguyen, Miryung Kim, Tien N. Nguyen |
| 2010 | A simple inductive synthesis methodology and its applications. Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv |
| 2010 | A study of Java's non-Java memory. Kazunori Ogata, Dai Mikurube, Kiyokuni Kawachiya, Scott Trent, Tamiya Onodera |
| 2010 | A time-aware type system for data-race protection and guaranteed initialization. Nicholas D. Matsakis, Thomas R. Gross |
| 2010 | Agility in context. Rashina Hoda, Philippe Kruchten, James Noble, Stuart Marshall |
| 2010 | An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time. Stefan Hanenberg |
| 2010 | An input-centric paradigm for program dynamic optimizations. Kai Tian, Yunlian Jiang, Eddy Z. Zhang, Xipeng Shen |
| 2010 | Art, science, and fear. Benjamin C. Pierce |
| 2010 | Automatic atomic region identification in shared memory SPMD programs. Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai |
| 2010 | Back to the futures: incremental parallelization of existing sequential runtime systems. James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt |
| 2010 | Better science through art. Richard P. Gabriel, Kevin J. Sullivan |
| 2010 | Component adaptation and assembly using interface relations. Stephen Kell |
| 2010 | Composable specifications for structured shared-memory communication. Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman |
| 2010 | Concurrency by modularity: design patterns, a case in point. Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe |
| 2010 | Concurrent programming with revisions and isolation types. Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen |
| 2010 | Cross-language, type-safe, and transparent object sharing for co-located managed runtimes. Michal Wegiel, Chandra Krintz |
| 2010 | Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs. Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen, Weimin Zheng |
| 2010 | Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator. Charlotte Herzeel, Pascal Costanza |
| 2010 | Efficient modular glass box software model checking. Michael Roberson, Chandrasekhar Boyapati |
| 2010 | Faith, hope, and love: an essay on software science's neglect of human factors. Stefan Hanenberg |
| 2010 | Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges. Harold Ossher, Rachel K. E. Bellamy, Ian Simmonds, David Amid, Ateret Anaby-Tavor, Matthew Callery, Michael Desmond, Jacqueline de Vries, Amit Fisher, Sophia Krasikov |
| 2010 | From OO to FPGA: fitting round objects into square hardware? Stephen Kou, Jens Palsberg |
| 2010 | G-Finder: routing programming questions closer to the experts. Wei Li, Charles Zhang, Songlin Hu |
| 2010 | Hera-JVM: a runtime system for heterogeneous multi-core architectures. Ross McIlroy, Joe Sventek |
| 2010 | Homogeneous family sharing. Xin Qi, Andrew C. Myers |
| 2010 | Instrumentation and sampling strategies for cooperative concurrency bug isolation. Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu |
| 2010 | Language virtualization for heterogeneous parallel computing. Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun |
| 2010 | Lime: a Java-compatible and synthesizable language for heterogeneous architectures. Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah |
| 2010 | Managing ambiguity in programming by finding unambiguous examples. Kenneth C. Arnold, Henry Lieberman |
| 2010 | MetaFJig: a meta-circular composition language for Java-like classes. Marco Servetto, Elena Zucca |
| 2010 | Modular logic metaprogramming. Karl Klose, Klaus Ostermann |
| 2010 | Monitor optimization via stutter-equivalent loop transformation. Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2010 | Mostly modular compilation of crosscutting concerns by contextual predicate dispatch. Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov |
| 2010 | Ownership and immutability in generic Java. Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst |
| 2010 | Parallel inclusion-based points-to analysis. Mario Méndez-Lojo, Augustine Mathew, Keshav Pingali |
| 2010 | Patterns and statistical analysis for understanding reduced resource computing. Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou |
| 2010 | Performance analysis of idle programs. Erik R. Altman, Matthew Arnold, Stephen Fink, Nick Mitchell |
| 2010 | Pinocchio: bringing reflection to life with first-class interpreters. Toon Verwaest, Camillo Bruni, David Gurtner, Adrian Lienhard, Oscar Nierstrasz |
| 2010 | Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA William R. Cook, Siobhán Clarke, Martin C. Rinard |
| 2010 | Programming with time: cyber-physical programming with impromptu. Andrew Sorensen, Henry J. Gardner |
| 2010 | Pure and declarative syntax definition: paradise lost and regained. Lennart C. L. Kats, Eelco Visser, Guido Wachsmuth |
| 2010 | Random testing for higher-order, stateful programs. Casey Klein, Matthew Flatt, Robert Bruce Findler |
| 2010 | Reasoning about multiple related abstractions with MultiStar. Stephan van Staden, Cristiano Calcagno |
| 2010 | Refactoring references for library migration. Puneet Kapur, Bradley Cossette, Robert J. Walker |
| 2010 | Registration-based language abstractions. Samuel Davis, Gregor Kiczales |
| 2010 | Rubber ducks, nightmares, and unsaturated predicates: proto-scientific schemata are good for agile. Jenny Quillien, Dave West |
| 2010 | SPUR: a trace-based JIT compiler for CIL. Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter |
| 2010 | Scalable and systematic detection of buggy inconsistencies in source code. Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su |
| 2010 | Specifying and implementing refactorings. Max Schäfer, Oege de Moor |
| 2010 | Supporting dynamic, third-party code customizations in JavaScript using aspects. Benjamin S. Lerner, Herman Venter, Dan Grossman |
| 2010 | Symbolic heap abstraction with demand-driven axiomatization of memory invariants. Isil Dillig, Thomas Dillig, Alex Aiken |
| 2010 | Task types for pervasive atomicity. Aditya Kulkarni, Yu David Liu, Scott F. Smith |
| 2010 | The Tower of Babel did not fail. Paul Adamczyk, Munawar Hafiz |
| 2010 | The case for evolvable software. Stephanie Forrest |
| 2010 | The spoofax language workbench: rules for declarative specification of languages and IDEs. Lennart C. L. Kats, Eelco Visser |
| 2010 | The two-state solution: native and serializable continuations accord. Jay A. McCarthy |
| 2010 | To achieve our highest goals, we must be willing to abandon them. Kenneth O. Stanley |
| 2010 | To upgrade or not to upgrade: impact of online upgrades across multiple administrative domains. Tudor Dumitras, Priya Narasimhan, Eli Tilevich |
| 2010 | Tribal ownership. Nicholas Cameron, James Noble, Tobias Wrigstad |
| 2010 | Type classes as objects and implicits. Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky |
| 2010 | What can the GC compute efficiently?: a language for heap assertions at GC time. Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer |