| 2014 | A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation. | Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann |
| 2014 | GPGPU Composition with OCaml. | Mathias Bourgoin, Emmanuel Chailloux |
| 2014 | Compositional solution space quantification for probabilistic software analysis. | Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser |
| 2014 | Outlawing ghosts: avoiding out-of-thin-air results. | Hans-Juergen Boehm, Brian Demsky |
| 2014 | How to build the perfect Swiss army knife, and keep it sharp?: Challenges for the soot program-analysis framework in the light of past, current and future demands. | Eric Bodden |
| 2014 | TS4J: a fluent interface for defining and computing typestate analyses. | Eric Bodden |
| 2014 | DoubleChecker: efficient sound and precise atomicity checking. | Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond |
| 2014 | Multi-Target C Code Generation from MATLAB. | Joo Bispo, Lus Reis, Joo M. P. Cardoso |
| 2014 | Array Operators Using Multiple Dispatch: A design methodology for array implementations in dynamic languages. | Jeff Bezanson, Jiahao Chen, Stefan Karpinski, Viral B. Shah, Alan Edelman |
| 2014 | Python Interpreter Performance Deconstructed. | Gerg Barany |
| 2014 | VeriCon: towards verifying controller programs in software-defined networks. | Thomas Ball, Nikolaj S. Bjrner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky |
| 2014 | Specialization slicing. | Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps |
| 2014 | FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. | Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick D. McDaniel |
| 2014 | A study of connected object locality in NUMA heaps. | Khaled Alnowaiser |
| 2014 | Herding cats: modelling, simulation, testing, and data-mining for weak memory. | Jade Alglave, Luc Maranget, Michael Tautschnig |
| 2014 | Improving JavaScript performance by deconstructing the type system. | Wonsun Ahn, Jiho Choi, Thomas Shull, Mara Jess Garzarn, Josep Torrellas |
| 2013 | Formal verification of SSA-based optimizations for LLVM. | Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
| 2013 | Finding optimum abstractions in parametric dataflow analysis. | Xin Zhang, Mayur Naik, Hongseok Yang |
| 2013 | Fast algorithms for Dyck-CFL-reachability with applications to alias analysis. | Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su |
| 2013 | A new perspective on processing-in-memory architecture design. | Dong Ping Zhang, Nuwan Jayasena, Alexander Lyashevsky, Joseph L. Greathouse, Mitesh R. Meswani, Mark Nutter, Mike Ignatowski |
| 2013 | General data structure expansion for multi-threading. | Hongtao Yu, Hou-Jen Ko, Zhiyuan Li |
| 2013 | Software-level scheduling to exploit non-uniformly shared data cache on GPGPU. | Bo Wu, Weilin Wang, Xipeng Shen |
| 2013 | APE: accelerator processor extensions to optimize data-compute co-location. | Ganesh Venkatesh |
| 2013 | Introducing kernel-level page reuse for high performance computing. | Sbastien Valat, Marc Prache, William Jalby |
| 2013 | TRANSIT: specifying protocols with concolic snippets. | Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur |