☰

Michael Hicks

Affiliations: 
Computer Science University of Maryland, College Park, College Park, MD 
Area:
Programming Languages,Computer Systems
Google:
"Michael Hicks"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Scott M. Nettles grad student 2001 Penn (E-Tree)
 (Dynamic software updating.)

Children

Sign in to add trainee
Iulian G. Neamtiu grad student 2008 University of Maryland
Pavlos Papageorgiou grad student 2008 University of Maryland
Nick L. Petroni grad student 2008 University of Maryland
Nikhil Swamy grad student 2008 University of Maryland
Polyvios Pratikakis grad student 2002-2008
Justin N. McCann grad student 2012 University of Maryland
Robert Rand post-doc 2018-2020 University of Maryland

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Peng Y, Hietala K, Tao R, et al. (2023) A formally certified end-to-end implementation of Shor's factorization algorithm. Proceedings of the National Academy of Sciences of the United States of America. 120: e2218775120
Saur K, Hicks M, Foster JS. (2015) C-strider: Type-aware heap traversal for C Software - Practice and Experience
Hayden CM, Saur K, Smith EK, et al. (2014) Kitsune: Efficient, general-purpose dynamic software updating for C Acm Transactions On Programming Languages and Systems. 36
Mardziel P, Magill S, Hicks M, et al. (2013) Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation Journal of Computer Security. 21: 463-532
Hicks M. (2012) POPL'12 program chair's report: (or, how to run a medium-sized conference) Sigplan Notices. 47: 19-27
Hayden CM, Smith EK, Hardisty EA, et al. (2012) Evaluating dynamic software update safety using systematic testing Ieee Transactions On Software Engineering. 38: 1340-1354
Pratikakis P, Foster JS, Hicks M. (2011) LOCKSMITH: Practical static race detection for C Acm Transactions On Programming Languages and Systems. 33
Srivastava S, Hicks M, Foster JS, et al. (2008) Modular Information Hiding and Type-Safe Linking for C Ieee Transactions On Software Engineering. 34: 357-376
Sewell P, Stoyle G, Hicks M, et al. (2008) Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction Journal of Functional Programming. 18: 437-502
Stoyle G, Hicks M, Bierman G, et al. (2007) Mutatis Mutandis : Safe and predictable dynamic software updating Acm Transactions On Programming Languages and Systems. 29: 22
See more...