| 2014 | Selective context-sensitivity guided by impact pre-analysis. | Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi |
| 2014 | Modular control-flow integrity. | Ben Niu, Gang Tan |
| 2014 | Large-scale configurable static analysis. | Mayur Naik |
| 2014 | I Know It When I See It: Observable Races in JavaScript Applications. | Erdal Mutlu, Serdar Tasiran, Benjamin Livshits |
| 2014 | Main memory and cache performance of intel sandy bridge and AMD bulldozer. | Daniel Molka, Daniel Hackenberg, Robert Schne |
| 2014 | Accurate application progress analysis for large-scale parallel debugging. | Subrata Mitra, Ignacio Laguna, Dong H. Ahn, Saurabh Bagchi, Martin Schulz, Todd Gamblin |
| 2014 | A personal perspective on concurrency. | Jayadev Misra |
| 2014 | Race detection for Android applications. | Pallavi Maiya, Aditya Kanade, Rupak Majumdar |
| 2014 | Typed Lua: An Optional Type System for Lua. | Andr Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy |
| 2014 | A model counter for constraints over unbounded strings. | Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky |
| 2014 | Dynamic enforcement of determinism in a parallel scripting language. | Li Lu, Weixing Ji, Michael L. Scott |
| 2014 | Automatic runtime error repair and containment via recovery shepherding. | Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard |
| 2014 | Verification modulo versions: towards usable verification. | Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fhndrich, Sam Blackshear |
| 2014 | Extract and Extend Parallelism using C/C++ Extension for Array Notation on Multicore and Many-core Platforms: An Empirical Investigation with Quantitative Finance Examples. | Shuo Li, Robert Geva |
| 2014 | FlashExtract: a framework for data extraction by examples. | Vu Le, Sumit Gulwani |
| 2014 | Feedback directed optimization of TCMalloc. | Sangho Lee, Teresa Johnson, Easwaran Raman |
| 2014 | Compiler validation via equivalence modulo inputs. | Vu Le, Mehrdad Afshari, Zhendong Su |
| 2014 | Taming the parallel effect zoo: extensible deterministic parallelism with LVish. | Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton |
| 2014 | Loo.py: transformation-based code generation for GPUs and CPUs. | Andreas Klckner |
| 2014 | Android taint flow analysis for app sets. | William Klieber, Lori Flynn, Amar Bhosale, Limin Jia, Lujo Bauer |
| 2014 | A Local-View Array Library for Partitioned Global Address Space C++ Programs. | Amir Kamil, Yili Zheng, Katherine A. Yelick |
| 2014 | CARE, the comprehensive archiver for reproducible execution. | Yves Janin, Cdric Vincent, Rmi Duraffort |
| 2014 | Atomicity refinement for verified compilation. | Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte |
| 2014 | Exploiting Implicit Parallelism in Dynamic Array Programming Languages. | Shams Mahmood Imam, Vivek Sarkar, David Leibs, Peter B. Kessler |
| 2014 | Slicing probabilistic programs. | Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel |