| 2013 | A general constraint-centric scheduling framework for spatial architectures. Tony Nowatzki, Michael Sartin-Tarm, Lorenzo De Carli, Karthikeyan Sankaralingam, Cristian Estan, Behnam Robatmili |
| 2013 | ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013 Hans-Juergen Boehm, Cormac Flanagan |
| 2013 | Almost-correct specifications: a modular semantic framework for assigning confidence to warnings. Sam Blackshear, Shuvendu K. Lahiri |
| 2013 | Asynchronous functional reactive programming for GUIs. Evan Czaplicki, Stephen Chong |
| 2013 | AutoSynch: an automatic-signal monitor based on predicate tagging. Wei-Lun Hung, Vijay K. Garg |
| 2013 | Automated feedback generation for introductory programming assignments. Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama |
| 2013 | CLAP: recording local executions to reproduce concurrency failures. Jeff Huang, Charles Zhang, Julian Dolby |
| 2013 | CONCURRIT: a domain specific language for reproducing concurrency bugs. Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen |
| 2013 | Compiler testing via a theory of sound optimisations in the C11/C++11 memory model. Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli |
| 2013 | Complete completion using types and weights. Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac |
| 2013 | Concurrent libraries with foresight. Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 2013 | Dynamic determinacy analysis. Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip |
| 2013 | Fast RMWs for TSO: semantics and implementation. Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, Marco Elver |
| 2013 | Fast algorithms for Dyck-CFL-reachability with applications to alias analysis. Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su |
| 2013 | Fast condensation of the program dependence graph. Nick P. Johnson, Taewook Oh, Ayal Zaks, David I. August |
| 2013 | Finding optimum abstractions in parametric dataflow analysis. Xin Zhang, Mayur Naik, Hongseok Yang |
| 2013 | Formal verification of SSA-based optimizations for LLVM. Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
| 2013 | General data structure expansion for multi-threading. Hongtao Yu, Hou-Jen Ko, Zhiyuan Li |
| 2013 | Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines. Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frédo Durand, Saman P. Amarasinghe |
| 2013 | Harmonizing classes, functions, tuples, and type parameters in virgil iii. Ben L. Titzer |
| 2013 | How to combine widening and narrowing for non-monotonic systems of equations. Kalmer Apinis, Helmut Seidl, Vesal Vojdani |
| 2013 | Hybrid context-sensitivity for points-to analysis. George Kastrinis, Yannis Smaragdakis |
| 2013 | It's alive! continuous feedback in UI programming. Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato |
| 2013 | Limitations of partial compaction: towards practical bounds. Nachshon Cohen, Erez Petrank |
| 2013 | Look up!: your future is in the cloud. James R. Larus |
| 2013 | Machine-verified network controllers. Arjun Guha, Mark Reitblatt, Nate Foster |
| 2013 | Modular verification of linearizability with non-fixed linearization points. Hongjin Liang, Xinyu Feng |
| 2013 | Monadic abstract interpreters. Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens |
| 2013 | Natural proofs for structure, data, and separation. Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan |
| 2013 | Optimizing database-backed applications with query synthesis. Alvin Cheung, Armando Solar-Lezama, Samuel Madden |
| 2013 | P: safe asynchronous event-driven programming. Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey |
| 2013 | Programming languages in security: keynote. Fred B. Schneider |
| 2013 | Quipper: a scalable quantum programming language. Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron |
| 2013 | Reasoning about nondeterminism in programs. Byron Cook, Eric Koskinen |
| 2013 | Reconciling exhaustive pattern matching with objects. Chinawat Isradisaikul, Andrew C. Myers |
| 2013 | Rely-guarantee references for refinement types over aliased mutable data. Colin S. Gordon, Michael D. Ernst, Dan Grossman |
| 2013 | SMAT: an input adaptive auto-tuner for sparse matrix-vector multiplication. Jiajia Li, Guangming Tan, Mingyu Chen, Ninghui Sun |
| 2013 | SPL Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini |
| 2013 | Scalable variable and data type detection in a binary rewriter. Khaled ElWazeer, Kapil Anand, Aparna Kotha, Matthew Smithson, Rajeev Barua |
| 2013 | Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani |
| 2013 | Steal Tree: low-overhead tracing of work stealing schedulers. Jonathan Lifflander, Sriram Krishnamoorthy, Laxmikant V. Kalé |
| 2013 | TRANSIT: specifying protocols with concolic snippets. Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur |
| 2013 | Taming compiler fuzzers. Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, John Regehr |
| 2013 | Terra: a multi-stage language for high-performance computing. Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek |
| 2013 | Thresher: precise refutations for heap reachability. Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan |
| 2013 | Translation validation for a verified OS kernel. Thomas Arthur Leck Sewell, Magnus O. Myreen, Gerwin Klein |
| 2013 | Using managed runtime systems to tolerate holes in wearable memories. Tiejun Gao, Karin Strauss, Stephen M. Blackburn, Kathryn S. McKinley, Doug Burger, James R. Larus |
| 2013 | Verifying higher-order programs with the dijkstra monad. Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits |
| 2013 | When polyhedral transformations meet SIMD code generation. Martin Kong, Richard Veras, Kevin Stock, Franz Franchetti, Louis-Noël Pouchet, P. Sadayappan |