| 2013 | Technical debt: from source to mitigation. | Steven Fraser, Dennis Mancl, Bill Opdyke, Judith Bishop, Pradeep Kathail, Junilu Lacar, Ipek Ozkaya, Alexandra Szynkarski |
| 2013 | Using refactoring techniques for visual editing of hybrid languages. | Niklas Fors, Grel Hedin |
| 2013 | Semi-automatic rename refactoring for JavaScript. | Asger Feldthaus, Anders Mller |
| 2013 | Effective use of non-blocking data structures in a deduplication application. | Steven D. Feldman, Akshatha Bhat, Pierre LaBorde, Qing Yi, Damian Dechev |
| 2013 | The poor man's proof assistant: using prolog to develop formal language theoretic proofs. | Joey Eremondi |
| 2013 | The poor man's proof assistant: using prolog to develop formal language theoretic proofs. | Joey Eremondi |
| 2013 | Task fusion: improving utilization of multi-user clusters. | Robert Dyer |
| 2013 | An intermediate representation for speculative optimizations in a dynamic compiler. | Gilles Duboscq, Thomas Wrthinger, Lukas Stadler, Christian Wimmer, Doug Simon, Hanspeter Mssenbck |
| 2013 | Option contracts. | Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen |
| 2013 | Inductive invariant generation via abductive inference. | Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan |
| 2013 | Efficient concurrency-bug detection across inputs. | Dongdong Deng, Wei Zhang, Shan Lu |
| 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 | Ball-Larus path profiling across multiple loop iterations. | Daniele Cono D'Elia, Camil Demetrescu |
| 2013 | DevOps patterns to scale web applications using cloud services. | Daniel Cukier |
| 2013 | Development of automatically verifiable systems using data representation synthesis. | Bryce W. Cronkite-Ratcliff |
| 2013 | Documenting software using adaptive software artifacts. | Filipe Figueiredo Correia |
| 2013 | Bounded partial-order reduction. | Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley |
| 2013 | Fully concurrent garbage collection of actors on many-core machines. | Sylvan Clebsch, Sophia Drossopoulou |
| 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 | Guided GUI testing of android apps with minimal restart and approximate learning. | Wontae Choi, George C. Necula, Koushik Sen |
| 2013 | Verifying quantitative reliability for programs that execute on unreliable hardware. | Michael Carbin, Sasa Misailovic, Martin C. Rinard |
| 2013 | Model-driven performance estimation, deployment, and resource management for cloud-hosted services. | Faruk Caglar, Kyoungho An, Shashank Shekhar, Aniruddha S. Gokhale |
| 2013 | Objektgraph: why code when MVC applications can be generated with UML-based diagrams? | Duane Buck, Ira Diethelm, Stephen Sheneman |
| 2013 | Does thought crime pay? | Gilad Bracha |
| 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 |