| 2015 | Understanding caller-sensitive method vulnerabilities: a class of access control vulnerabilities in the Java platform. | Cristina Cifuentes, Andrew Gross, Nathan Keynes |
| 2015 | Automatic induction proofs of data-structures in imperative programs. | Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh |
| 2015 | Compositional certified resource bounds. | Quentin Carbonneaux, Jan Hoffmann, Zhong Shao |
| 2015 | Compiling APL to accelerate through a typed array intermediate language. | Michael Budde, Martin Dybdal, Martin Elsman |
| 2015 | Profile-guided meta-programming. | William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig |
| 2015 | High-level accelerated array programming in the web browser. | Mathias Bourgoin, Emmanuel Chailloux |
| 2015 | Sound reasoning about integral data types with a reusable SMT solver interface. | Rgis Blanc, Viktor Kuncak |
| 2015 | Droidel: a general approach to Android framework modeling. | Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang |
| 2015 | Techniques for efficient MATLAB-to-C compilation. | Joo Bispo, Lus Reis, Joo M. P. Cardoso |
| 2015 | Abstract expressionism for parallel performance. | Robert Bernecky, Sven-Bodo Scholz |
| 2015 | FlashRelate: extracting relational data from semi-structured spreadsheets using examples. | Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjamin G. Zorn |
| 2015 | Using targeted symbolic execution for reducing false-positives in dataflow analysis. | Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric Bodden |
| 2015 | Verification of a cryptographic primitive: SHA-256 (abstract). | Andrew W. Appel |
| 2015 | Combining type-analysis with points-to analysis for analyzing Java library source-code. | Nicholas Allen, Padmanabhan Krishnan, Bernhard Scholz |
| 2015 | Light: replay via tightly bounded recording. | Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng |
| 2014 | Hybrid top-down and bottom-up interprocedural analysis. | Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang |
| 2014 | On abstraction refinement for program analyses in Datalog. | Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang |
| 2014 | Dynamic space limits for Haskell. | Edward Z. Yang, David Mazires |
| 2014 | Persistent pointer information. | Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang |
| 2014 | Doppio: breaking the browser language barrier. | John Vilk, Emery D. Berger |
| 2014 | On Predicting the Impact of Resource Redistributions in Streaming Applications. | Merijn Verstraaten, Sven-Bodo Scholz |
| 2014 | List-based Monadic Computations for Dynamically Typed Languages. | Wim Vanderbauwhede |
| 2014 | Dynamic slicing with soot. | Arian Treffer, Matthias Uflacker |
| 2014 | A lightweight symbolic virtual machine for solver-aided host languages. | Emina Torlak, Rastislav Bodk |
| 2014 | Compiler-assisted detection of transient memory errors. | Sanket Tavarageri, Sriram Krishnamoorthy, P. Sadayappan |