| 2013 | Ball-Larus path profiling across multiple loop iterations. Daniele Cono D'Elia, Camil Demetrescu |
| 2013 | Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer |
| 2013 | Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications. Kristof Du Bois, Jennifer B. Sartor, Stijn Eyerman, Lieven Eeckhout |
| 2013 | Bounded partial-order reduction. Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley |
| 2013 | CDSchecker: checking concurrent data structures written with C/C++ atomics. Brian Norris, Brian Demsky |
| 2013 | Class hierarchy complementation: soundly completing a partial type graph. George Balatsouras, Yannis Smaragdakis |
| 2013 | Code optimizations using formally verified properties. Yao Shi, Bernard Blackham, Gernot Heiser |
| 2013 | Combining concern input with program analysis for bloat detection. Suparna Bhattacharya, Kanchi Gopinath, Mangala Gowri Nanda |
| 2013 | Data-driven equivalence checking. Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken |
| 2013 | Detecting API documentation errors. Hao Zhong, Zhendong Su |
| 2013 | Do developers benefit from generic types?: an empirical comparison of generic and raw types in java. Michael Hoppe, Stefan Hanenberg |
| 2013 | Effective race detection for event-driven programs. Veselin Raychev, Martin T. Vechev, Manu Sridharan |
| 2013 | Efficient concurrency-bug detection across inputs. Dongdong Deng, Wei Zhang, Shan Lu |
| 2013 | Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management. Jipeng Huang, Michael D. Bond |
| 2013 | Empirical analysis of programming language adoption. Leo A. Meyerovich, Ariel S. Rabkin |
| 2013 | Flexible access control for javascript. Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek |
| 2013 | Forsaking inheritance: supercharged delegation in DelphJ. Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis |
| 2013 | Fully concurrent garbage collection of actors on many-core machines. Sylvan Clebsch, Sophia Drossopoulou |
| 2013 | Guided GUI testing of android apps with minimal restart and approximate learning. Wontae Choi, George C. Necula, Koushik Sen |
| 2013 | Inductive invariant generation via abductive inference. Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan |
| 2013 | Injecting mechanical faults to localize developer faults for evolving software. Lingming Zhang, Lu Zhang, Sarfraz Khurshid |
| 2013 | Input-covering schedules for multithreaded programs. Tom Bergan, Luis Ceze, Dan Grossman |
| 2013 | Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky |
| 2013 | Interacting with dead objects. Robin Salkeld, Gregor Kiczales |
| 2013 | Ironclad C++: a library-augmented type-safe subset of c++. Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic |
| 2013 | Isolation for nested task parallelism. Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar |
| 2013 | Language support for dynamic, hierarchical data partitioning. Sean Treichler, Michael Bauer, Alex Aiken |
| 2013 | Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations. Vlad Ureche, Cristian Talau, Martin Odersky |
| 2013 | MrCrypt: static analysis for secure cloud computations. Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein |
| 2013 | Multiverse: efficiently supporting distributed high-level speculation. Kaushik Ravichandran, Santosh Pande |
| 2013 | OCTET: capturing and controlling cross-thread dependences efficiently. Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang |
| 2013 | On-the-fly capacity planning. Nick Mitchell, Peter F. Sweeney |
| 2013 | On-the-fly detection of instability problems in floating-point program execution. Tao Bao, Xiangyu Zhang |
| 2013 | Online feedback-directed optimizations for parallel Java code. Albert Noll, Thomas R. Gross |
| 2013 | Option contracts. Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen |
| 2013 | Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013 Antony L. Hosking, Patrick Th. Eugster, Cristina V. Lopes |
| 2013 | Python: the full monty. Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi |
| 2013 | Refactoring with synthesis. Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev |
| 2013 | Relaxed separation logic: a program logic for C11 concurrency. Viktor Vafeiadis, Chinmay Narayan |
| 2013 | Resurrector: a tunable object lifetime profiling technique for optimizing real-world programs. Guoqing Xu |
| 2013 | River trail: a path to parallelism in JavaScript. Stephan Herhut, Richard L. Hudson, Tatiana Shpeisman, Jaswanth Sreeram |
| 2013 | Semi-automatic rename refactoring for JavaScript. Asger Feldthaus, Anders Møller |
| 2013 | Set-based pre-processing for points-to analysis. Yannis Smaragdakis, George Balatsouras, George Kastrinis |
| 2013 | Steering symbolic execution to less traveled paths. You Li, Zhendong Su, Linzhang Wang, Xuandong Li |
| 2013 | Storage strategies for collections in dynamically typed languages. Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt |
| 2013 | Synthesis modulo recursive functions. Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter |
| 2013 | Taking off the gloves with reference counting Immix. Rifat Shahriyar, Stephen M. Blackburn, Xi Yang, Kathryn S. McKinley |
| 2013 | Targeted and depth-first exploration for systematic testing of android apps. Tanzirul Azim, Iulian Neamtiu |
| 2013 | The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing. Aman Kansal, T. Scott Saponas, A. J. Bernheim Brush, Kathryn S. McKinley, Todd Mytkowicz, Ryder Ziola |
| 2013 | Turning nondeterminism into parallelism. Omer Tripp, Eric Koskinen, Mooly Sagiv |
| 2013 | Verifying quantitative reliability for programs that execute on unreliable hardware. Michael Carbin, Sasa Misailovic, Martin C. Rinard |