| 2007 | Quantitative analysis of leakage for multi-threaded programs. | Han Chen, Pasquale Malacaria |
| 2007 | Cautious virus detection in the extreme. | John Case, Samuel E. Moelius |
| 2007 | Certified self-modifying code. | Hongxu Cai, Zhong Shao, Alexander Vaynberg |
| 2007 | CheckFence: checking consistency of concurrent data types on relaxed memory models. | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
| 2007 | Path invariants. | Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
| 2007 | Towards a logical account of declassification. | Anindya Banerjee, David A. Naumann, Stan Rosenberg |
| 2007 | Informal presentation: a trust management perspective on managing policy updates in security-typed languages. | Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett |
| 2007 | Localized delimited release: combining the what and where dimensions of information release. | Aslan Askarov, Andrei Sabelfeld |
| 2006 | Accurate, efficient, and adaptive calling context profiling. | Xiaotong Zhuang, Mauricio J. Serrano, Harold W. Cain, Jong-Deok Choi |
| 2006 | Pruning dynamic slices with confidence. | Xiangyu Zhang, Neelam Gupta, Rajiv Gupta |
| 2006 | Object capabilities for security. | David A. Wagner |
| 2006 | Correctness-preserving derivation of concurrent garbage collection algorithms. | Martin T. Vechev, Eran Yahav, David F. Bacon |
| 2006 | Combining type-based analysis and model checking for finding counterexamples against non-interference. | Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa |
| 2006 | A framework for unrestricted whole-program optimization. | Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August |
| 2006 | Refinement-based context-sensitive points-to analysis for Java. | Manu Sridharan, Rastislav Bodk |
| 2006 | Eventrons: a safe programming construct for high-frequency hard real-time applications. | Daniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove |
| 2006 | Refactoring programs to secure information flows. | Scott F. Smith, Mark Thober |
| 2006 | Continuations and transducer composition. | Olin Shivers, Matthew Might |
| 2006 | Optimizing data permutations for SIMD devices. | Gang Ren, Peng Wu, David A. Padua |
| 2006 | LOCKSMITH: context-sensitive correlation analysis for race detection. | Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks |
| 2006 | Specifying distributed trust management in LolliMon. | Jeff Polakow, Christian Skalka |
| 2006 | Auto-vectorization of interleaved data for SIMD. | Dorit Nuzman, Ira Rosen, Ayal Zaks |
| 2006 | Practical dynamic software updating for C. | Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol |
| 2006 | Profile-based global live-range splitting. | Takuya Nakaike, Tatsushi Inagaki, Hideaki Komatsu, Toshio Nakatani |
| 2006 | Effective static race detection for Java. | Mayur Naik, Alex Aiken, John Whaley |