Michael W. Hicks
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
13
Active years
1997–2016
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CCS | Build It, Break It, Fix It: Contesting Secure Development. | Andrew Ruef, Michael W. Hicks, James Parker, Dave Levin, Michelle L. Mazurek, Piotr Mardziel |
| 2015 | ASPLOS | GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation. | Chang Liu, Austin Harris, Martin Maas, Michael W. Hicks, Mohit Tiwari, Elaine Shi |
| 2015 | OOPSLA | Incremental computation with names. | Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn |
| 2014 | OOPSLA | Rubah: DSU for Java on a stock JVM. | Lus Pina, Lus Veiga, Michael W. Hicks |
| 2014 | SP | Automating Efficient RAM-Model Secure Computation. | Chang Liu, Yan Huang, Elaine Shi, Jonathan Katz, Michael W. Hicks |
| 2014 | SP | Quantifying Information Flow for Dynamic Secrets. | Piotr Mardziel, Mrio S. Alvim, Michael W. Hicks, Michael R. Clarkson |
| 2009 | ICFP | A theory of typed coercions and its applications. | Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman |
| 2009 | PLDI | Safe and timely updates to multi-threaded programs. | Iulian Neamtiu, Michael W. Hicks |
| 2009 | PLDI | Dynamic software updates: a VM-centric approach. | Suriya Subramanian, Michael W. Hicks, Kathryn S. McKinley |
| 2009 | SAC | Static type inference for Ruby. | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks |
| 2009 | SIGMOD | Cross-tier, label-based security enforcement for web applications. | Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks |
| 2007 | CCS | Automated detection of persistent kernel control-flow attacks. | Nick L. Petroni Jr., Michael W. Hicks |
| 2006 | PLDI | Practical dynamic software updating for C. | Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol |
| 2006 | PLDI | LOCKSMITH: context-sensitive correlation analysis for race detection. | Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks |
| 2005 | Coordination | Tagged Sets: A Secure and Transparent Coordination Medium. | Manuel Oriol, Michael W. Hicks |
| 2005 | MSR | Understanding source code evolution using abstract syntax tree matching. | Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks |
| 2005 | POPL | Mutatis mutandis: safe and predictable dynamic software updating. | Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu |
| 2004 | OOPSLA | Transparent proxies for java futures. | Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks |
| 2003 | ICFP | Dynamic rebinding for marshalling and update, with destruct-time? | Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough |
| 2002 | PLDI | Region-Based Memory Management in Cyclone. | Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney |
| 2002 | USENIX | Cyclone: A Safe Dialect of C. | Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang |
| 2001 | INFOCOM | Practical Programmable Packets. | Jonathan T. Moore, Michael W. Hicks, Scott Nettles |
| 2001 | PLDI | Dynamic Software Updating. | Michael W. Hicks, Jonathan T. Moore, Scott Nettles |
| 1999 | INFOCOM | PLANet: An Active Internetwork. | Michael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles |
| 1998 | ICFP | PLAN: A Packet Language for Active Networks. | Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles |
| 1997 | ICFP | The Measured Cost of Copying Garbage Collection Mechanisms. | Michael W. Hicks, Jonathan T. Moore, Scott Nettles |