Michael W. Hicks

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