- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c10 |      | Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley: Automating object transformations for dynamic software updating. OOPSLA 2012: 265-280 |
| c9 | | Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster: Specifying and Verifying the Correctness of Dynamic Software Updates. VSTTE 2012: 278-293 |
| 2011 | ||
| c8 | | Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa: Dynamic Enforcement of Knowledge-Based Security Policies. CSF 2011: 114-128 |
| 2010 | ||
| c7 | | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay: Automatic numeric abstractions for heap-manipulating programs. POPL 2010: 211-222 |
| 2009 | ||
| c6 | | Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis: Finding heap-bounds for hardware synthesis. FMCAD 2009: 205-212 |
| 2008 | ||
| c5 | | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay: THOR: A Tool for Reasoning about Shape and Arithmetic. CAV 2008: 428-432 |
| 2007 | ||
| c4 | | Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook: Arithmetic Strengthening for Shape Analysis. SAS 2007: 419-436 |
| 2004 | ||
| c3 | | Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park: The Inverse Method for the Logic of Bunched Implications. LPAR 2004: 466-480 |
| 2002 | ||
| c2 |  | Stephen Magill, Bradley Skaggs, Mauricio Papa, John Hale: Implementation and Verification of Programmable Security. DBSec 2002: 285-299 |
| 2000 | ||
| c1 | | Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi: Simulation and Analysis of Cryptographic Protocols. DBSec 2000: 89-100 |
Colors in the list of coauthors
Last update Mon May 20 09:24:03 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page