| 2013 | All-window data liveness. | Pengcheng Li, Chen Ding |
| 2013 | Modular verification of linearizability with non-fixed linearization points. | Hongjin Liang, Xinyu Feng |
| 2013 | Position paper: the science of boxing. | Martin Mariusz Lester |
| 2013 | Software-controlled transparent management of heterogeneous memory resources in virtualized systems. | Min Lee, Vishal Gupta, Karsten Schwan |
| 2013 | Look up!: your future is in the cloud. | James R. Larus |
| 2013 | First steps to compiling Matlab to X10. | Vineet Kumar, Laurie J. Hendren |
| 2013 | When polyhedral transformations meet SIMD code generation. | Martin Kong, Richard Veras, Kevin Stock, Franz Franchetti, Louis-Nol Pouchet, P. Sadayappan |
| 2013 | Achieving load-balancing in power system parallel contingency analysis using X10 programming language. | Siddhartha Kumar Khaitan, James D. McCalley |
| 2013 | Type-based dependency analysis for javascript. | Matthias Keil, Peter Thiemann |
| 2013 | Hybrid context-sensitivity for points-to analysis. | George Kastrinis, Yannis Smaragdakis |
| 2013 | Fast condensation of the program dependence graph. | Nick P. Johnson, Taewook Oh, Ayal Zaks, David I. August |
| 2013 | Reconciling exhaustive pattern matching with objects. | Chinawat Isradisaikul, Andrew C. Myers |
| 2013 | AutoSynch: an automatic-signal monitor based on predicate tagging. | Wei-Lun Hung, Vijay K. Garg |
| 2013 | CLAP: recording local executions to reproduce concurrency failures. | Jeff Huang, Charles Zhang, Julian Dolby |
| 2013 | WEBLOG: a declarative language for secure web development. | Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck |
| 2013 | GlassTube: a lightweight approach to web application integrity. | Per A. Hallgren, Daniel T. Mauritzson, Andrei Sabelfeld |
| 2013 | Complete completion using types and weights. | Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac |
| 2013 | Analyzing locality of memory references in GPU architectures. | Saurabh Gupta, Ping Xiang, Huiyang Zhou |
| 2013 | Machine-verified network controllers. | Arjun Guha, Mark Reitblatt, Nate Foster |
| 2013 | A tutorial on X10 and its implementation. | David Grove |
| 2013 | Quipper: a scalable quantum programming language. | Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benot Valiron |
| 2013 | Rely-guarantee references for refinement types over aliased mutable data. | Colin S. Gordon, Michael D. Ernst, Dan Grossman |
| 2013 | Concurrent libraries with foresight. | Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 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 | Security completeness: towards noninterference in composed languages. | Andreas Gampe, Jeffery von Ronne |