| 2011 | A simple abstraction for complex concurrent indexes. Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse |
| 2011 | A step towards transparent integration of input-consciousness into dynamic program optimizations. Kai Tian, Eddy Z. Zhang, Xipeng Shen |
| 2011 | A syntactic type system for recursive modules. Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park |
| 2011 | A theory of substructural types and control. Jesse A. Tov, Riccardo Pucella |
| 2011 | AC: composable asynchronous IO for native languages. Tim Harris, Martín Abadi, Rebecca Isaacs, Ross McIlroy |
| 2011 | Accentuating the positive: atomicity inference and enforcement using correct executions. Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan |
| 2011 | Asynchronous assertions. Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav |
| 2011 | Automated construction of JavaScript benchmarks. Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek |
| 2011 | Automatic fine-grain locking using shape properties. Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 2011 | Backstage Java: making a difference in metaprogramming. Zachary Palmer, Scott F. Smith |
| 2011 | Benefits and barriers of user evaluation in software engineering research. Raymond P. L. Buse, Caitlin Sadowski, Westley Weimer |
| 2011 | Catch me if you can: performance bug detection in the wild. Milan Jovic, Andrea Adamoli, Matthias Hauswirth |
| 2011 | Cedalion: a language for language oriented programming. David H. Lorenz, Boaz Rosenan |
| 2011 | Composable, nestable, pessimistic atomic statements. Zachary R. Anderson, David Gay |
| 2011 | Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine. Andreas Sewe, Mira Mezini, Aibek Sarimbekov, Walter Binder |
| 2011 | Data-driven synthesis for object-oriented frameworks. Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama |
| 2011 | Declaratively programming the mobile web with Mobl. Zef Hemel, Eelco Visser |
| 2011 | Delegated isolation. Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar |
| 2011 | Efficiently speeding up sequential computation through the n-way programming model. Romain Cledat, Tushar Kumar, Santosh Pande |
| 2011 | Enhancing locality for recursive traversals of recursive structures. Youngjoon Jo, Milind Kulkarni |
| 2011 | Exploiting coarse-grain speculative parallelism. Hari K. Pyla, Calvin J. Ribbens, Srinidhi Varadarajan |
| 2011 | F4F: taint analysis of framework-based web applications. Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg |
| 2011 | First-class state change in plaid. Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter |
| 2011 | Flexible object layouts: enabling lightweight language extensions by intercepting slot access. Toon Verwaest, Camillo Bruni, Mircea Lungu, Oscar Nierstrasz |
| 2011 | Flow-sensitive type recovery in linear-log time. Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig |
| 2011 | Freedom before commitment: a lightweight type system for object initialisation. Alexander J. Summers, Peter Müller |
| 2011 | Gradual typing for generics. Lintaro Ina, Atsushi Igarashi |
| 2011 | HAWKEYE: effective discovery of dataflow impediments to parallelization. Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv |
| 2011 | Hybrid partial evaluation. Amin Shali, William R. Cook |
| 2011 | Immutable specifications for more concise and precise verification. Cristina David, Wei-Ngan Chin |
| 2011 | Integrated language definition testing: enabling test-driven language development. Lennart C. L. Kats, Rob Vermaas, Eelco Visser |
| 2011 | JET: exception checking in the Java native interface. Siliang Li, Gang Tan |
| 2011 | JIT compilation policy for modern machines. Prasad A. Kulkarni |
| 2011 | Kind analysis for MATLAB. Jesse Doherty, Laurie J. Hendren, Soroush Radpour |
| 2011 | Kismet: parallel speedup estimates for serial programs. Donghwan Jeon, Saturnino Garcia, Christopher M. Louie, Michael Bedford Taylor |
| 2011 | Null dereference verification via over-approximated weakest pre-conditions analysis. Ravichandhran Madhavan, Raghavan Komondoor |
| 2011 | Oracle scheduling: controlling granularity in implicitly parallel languages. Umut A. Acar, Arthur Charguéraud, Mike Rainey |
| 2011 | PREFAIL: a programmable tool for multiple-failure injection. Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen |
| 2011 | Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011 Cristina Videira Lopes, Kathleen Fisher |
| 2011 | Product lines of theorems. Benjamin Delaware, William R. Cook, Don S. Batory |
| 2011 | Reactive imperative programming with dataflow constraints. Camil Demetrescu, Irene Finocchi, Andrea Ribichini |
| 2011 | Reducing trace selection footprint for large-scale Java applications without performance loss. Peng Wu, Hiroshige Hayashizaki, Hiroshi Inoue, Toshio Nakatani |
| 2011 | Ribbons: a partially shared memory programming model. Kevin J. Hoffman, Harrison Metzger, Patrick Eugster |
| 2011 | RoleCast: finding missing security checks when you do not know what checks are. Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov |
| 2011 | SHERIFF: precise detection and automatic mitigation of false sharing. Tongping Liu, Emery D. Berger |
| 2011 | SOS: saving time in dynamic race detection with stationary analysis. Du Li, Witawas Srisa-an, Matthew B. Dwyer |
| 2011 | Safe and atomic run-time code evolution for Java and its application to dynamic AOP. Thomas Würthinger, Danilo Ansaloni, Walter Binder, Christian Wimmer, Hanspeter Mössenböck |
| 2011 | Safe parallel programming using dynamic dependence hints. Chuanle Ke, Lei Liu, Chao Zhang, Tongxin Bai, Bryan Jacobs, Chen Ding |
| 2011 | Scalable join patterns. Aaron Joseph Turon, Claudio V. Russo |
| 2011 | Self-adjusting stack machines. Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar |
| 2011 | Sprint: speculative prefetching of remote data. Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav |
| 2011 | SugarJ: library-based syntactic language extensibility. Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann |
| 2011 | Synthesis of first-order dynamic programming algorithms. Yewen Pu, Rastislav Bodík, Saurabh Srivastava |
| 2011 | Synthesizing method sequences for high-coverage testing. Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su |
| 2011 | Testing atomicity of composed concurrent operations. Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav |
| 2011 | The sequential prison. Ivan E. Sutherland |
| 2011 | Tool-supported refactoring for JavaScript. Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip |
| 2011 | Trustworthy numerical computation in Scala. Eva Darulova, Viktor Kuncak |
| 2011 | Two for the price of one: a model for parallel and incremental computation. Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball |
| 2011 | Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance. Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr. |
| 2011 | Variability-aware parsing in the presence of lexical macros and conditional compilation. Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger |
| 2011 | Virtual values for language extension. Thomas H. Austin, Tim Disney, Cormac Flanagan |
| 2011 | Why nothing matters: the impact of zeroing. Xi Yang, Stephen M. Blackburn, Daniel Frampton, Jennifer B. Sartor, Kathryn S. McKinley |