| 2013 | An Incremental Points-to Analysis with CFL-Reachability. Yi Lu, Lei Shang, Xinwei Xie, Jingling Xue |
| 2013 | Architecture-Independent Dynamic Information Flow Tracking. Ryan Whelan, Tim Leek, David R. Kaeli |
| 2013 | Automatic Generation of Program Affinity Policies Using Machine Learning. Ryan W. Moore, Bruce R. Childers |
| 2013 | Compiler Construction - 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings Ranjit Jhala, Koen De Bosschere |
| 2013 | Compiler-Guided Identification of Critical Sections in Parallel Code. Stefan Kempf, Ronald Veldema, Michael Philippsen |
| 2013 | Efficient and Effective Handling of Exceptions in Java Points-to Analysis. George Kastrinis, Yannis Smaragdakis |
| 2013 | FESA: Fold- and Expand-Based Shape Analysis. Holger Siegel, Axel Simon |
| 2013 | On LR Parsing with Selective Delays. Eberhard Bertsch, Mark-Jan Nederhof, Sylvain Schmitz |
| 2013 | On the Determination of Inlining Vectors for Program Optimization. Rosario Cammarota, Alexandru Nicolau, Alexander V. Veidenbaum, Arun Kejariwal, Debora Donato, Mukund Madhugiri |
| 2013 | Optimal Register Allocation in Polynomial Time. Philipp Klaus Krause |
| 2013 | Optimal and Heuristic Global Code Motion for Minimal Spilling. Gergö Barany, Andreas Krall |
| 2013 | PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language. Somashekaracharya G. Bhaskaracharya, Uday Bondhugula |
| 2013 | Refactoring MATLAB. Soroush Radpour, Laurie J. Hendren, Max Schäfer |
| 2013 | Simple and Efficient Construction of Static Single Assignment Form. Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon, Andreas Zwinkau |