Michael W. Hicks

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 9

Top Topics

Top Venues

IEEE Symposium on Security and Privacy

Tiny Trans. Comput. Sci.

Publications

Finn Voichick, Robert Rand, Michael W. Hicks
Qunity: A Unified Language for Quantum and Classical Computing. CoRR (2022)
Mário S. Alvim, Piotr Mardziel, Michael W. Hicks
Quantifying vulnerability of secret generation using hyper-distributions (extended version). CoRR (2017)
Rock Stevens, Octavian Suciu, Andrew Ruef, Sanghyun Hong, Michael W. Hicks, Tudor Dumitras
Summoning Demons: The Pursuit of Exploitable Bugs in Machine Learning. CoRR (2017)
Mário S. Alvim, Piotr Mardziel, Michael W. Hicks
Quantifying Vulnerability of Secret Generation Using Hyper-Distributions. POST (2017)
Andrew Ruef, Michael W. Hicks, James Parker, Dave Levin, Michelle L. Mazurek, Piotr Mardziel
Build It, Break It, Fix It: Contesting Secure Development. CoRR (2016)
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks
Safe and Flexible Controller Upgrades for SDNs. SOSR (2016)
Andrew Ruef, Michael W. Hicks, James Parker, Dave Levin, Michelle L. Mazurek, Piotr Mardziel
Build It, Break It, Fix It: Contesting Secure Development. CCS (2016)
Karla Saur, Tudor Dumitras, Michael W. Hicks
Evolving NoSQL Databases without Downtime. ICSME (2016)
Karla Saur, Michael W. Hicks, Jeffrey S. Foster
C-strider: type-aware heap traversal for C. Softw. Pract. Exp. 46 (6) (2016)
Karla Saur, Tudor Dumitras, Michael W. Hicks
Evolving NoSQL Databases Without Downtime. CoRR (2015)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn
Incremental computation with names. OOPSLA (2015)
Chang Liu, Austin Harris, Martin Maas, Michael W. Hicks, Mohit Tiwari, Elaine Shi
GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation. ASPLOS (2015)
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks
Morpheus: Safe and Flexible Dynamic Updates for SDNs. CoRR (2015)
Andrew Miller, Michael W. Hicks, Jonathan Katz, Elaine Shi
How to Authenticate any Data Structure. Tiny Trans. Comput. Sci. 3 (2015)
Christopher M. Hayden, Karla Saur, Edward K. Smith, Michael W. Hicks, Jeffrey S. Foster
Kitsune: Efficient, General-Purpose Dynamic Software Updating for C. ACM Trans. Program. Lang. Syst. 36 (4) (2014)
Chang Liu, Yan Huang, Elaine Shi, Jonathan Katz, Michael W. Hicks
Automating Efficient RAM-Model Secure Computation. IEEE Symposium on Security and Privacy (2014)
Luís Pina, Luís Veiga, Michael W. Hicks
Rubah: DSU for Java on a stock JVM. OOPSLA (2014)
Piotr Mardziel, Mário S. Alvim, Michael W. Hicks, Michael R. Clarkson
Quantifying Information Flow for Dynamic Secrets. IEEE Symposium on Security and Privacy (2014)
Michael W. Hicks, Jeffrey S. Foster
SCORE: agile research group management. Commun. ACM 53 (10) (2010)
Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman
A theory of typed coercions and its applications. ICFP (2009)
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks
Static type inference for Ruby. SAC (2009)
Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster
Efficient Systematic Testing for Dynamically Updatable Software. HotSWUp (2009)
Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks
Cross-tier, label-based security enforcement for web applications. SIGMOD Conference (2009)
Iulian Neamtiu, Michael W. Hicks
Safe and timely updates to multi-threaded programs. PLDI (2009)
Suriya Subramanian, Michael W. Hicks, Kathryn S. McKinley
Dynamic software updates: a VM-centric approach. PLDI (2009)
Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu
: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst. 29 (4) (2007)
Jeffrey S. Foster, Michael W. Hicks, William Pugh
Improving software quality with static analysis. PASTE (2007)
Nick L. Petroni Jr., Michael W. Hicks
Automated detection of persistent kernel control-flow attacks. CCS (2007)
Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks
LOCKSMITH: context-sensitive correlation analysis for race detection. PLDI (2006)
Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
Safe manual memory management in Cyclone. Sci. Comput. Program. 62 (2) (2006)
Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol
Practical dynamic software updating for C. PLDI (2006)
Manuel Oriol, Michael W. Hicks
Tagged Sets: A Secure and Transparent Coordination Medium. COORDINATION (2005)
Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu
Mutatis mutandis: safe and predictable dynamic software updating. POPL (2005)
Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks
Understanding source code evolution using abstract syntax tree matching. MSR (2005)
Michael W. Hicks, Scott Nettles
Dynamic software updating. ACM Trans. Program. Lang. Syst. 27 (6) (2005)
Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim
Experience with safe manual memory-management in cyclone. ISMM (2004)
Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks
Transparent proxies for java futures. OOPSLA (2004)
Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough
Dynamic rebinding for marshalling and update, with destruct-time? ICFP (2003)
Michael W. Hicks, Angelos D. Keromytis, Jonathan M. Smith
A secure PLAN. IEEE Trans. Syst. Man Cybern. Part C 33 (3) (2003)
Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney
Region-Based Memory Management in Cyclone. PLDI (2002)
Michael W. Hicks, Angelos D. Keromytis, Jonathan M. Smith
A Secure PLAN. DANCE (2002)
Michael W. Hicks, Jonathan T. Moore, David Wetherall, Scott Nettles
Experiences with Capsule-Based Active Networking. DANCE (2002)
Seong-Kyu Song, Stephen Shannon, Michael W. Hicks, Scott Nettles
Evolution in Action: Using Active Networking to Evolve Network Support for Mobility. IWAN (2002)
Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang
Cyclone: A Safe Dialect of C. USENIX Annual Technical Conference, General Track (2002)
Michael W. Hicks, Jonathan T. Moore, Scott Nettles
Compiling PLAN to SNAP. IWAN (2001)
Jonathan T. Moore, Michael W. Hicks, Scott Nettles
Practical Programmable Packets. INFOCOM (2001)
Michael W. Hicks, Jonathan T. Moore, Scott Nettles
Dynamic Software Updating. PLDI (2001)
Michael W. Hicks, Stephanie Weirich, Karl Crary
Safe and Flexible Dynamic Linking of Native Code. Types in Compilation (2000)
Kostas G. Anagnostakis, Michael W. Hicks, Sotiris Ioannidis, Angelos D. Keromytis, Jonathan M. Smith
Scalable Resource Control in Active Networks. IWAN (2000)
Michael W. Hicks, Scott Nettles
Active Networking Means Evolution (or Enhanced Extensibility Required). IWAN (2000)
Michael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles
PLANet: An Active Internetwork. INFOCOM (1999)
Michael W. Hicks, Angelos D. Keromytis
A Secure Plan. IWAN (1999)
Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter
Specifying the PLAN Network Programming Langauge. Electron. Notes Theor. Comput. Sci. 26 (1999)
Michael W. Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu
Transparent Communication for Distributed Objects in Java. Java Grande (1999)
Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles
PLAN: A Packet Language for Active Networks. ICFP (1998)
Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles
Network Programming Using PLAN. ICCL Workshop: Internet Programming Languages (1998)
Michael W. Hicks, Luke Hornof, Jonathan T. Moore, Scott Nettles
A Study of Large Object Spaces. ISMM (1998)
Michael W. Hicks, Jonathan T. Moore, Scott Nettles
The Measured Cost of Copying Garbage Collection Mechanisms. ICFP (1997)