☰

Michael Hicks - Publications

Affiliations: 
Computer Science University of Maryland, College Park, College Park, MD 
Area:
Programming Languages,Computer Systems
Tree Info Similar researchers PubMed Report error

13 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2023 Peng Y, Hietala K, Tao R, Li L, Rand R, Hicks M, Wu X. 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. PMID 37186832 DOI: 10.1073/pnas.2218775120  0.606
2015 Saur K, Hicks M, Foster JS. C-strider: Type-aware heap traversal for C Software - Practice and Experience. DOI: 10.1002/Spe.2332  0.445
2014 Hayden CM, Saur K, Smith EK, Hicks M, Foster JS. Kitsune: Efficient, general-purpose dynamic software updating for C Acm Transactions On Programming Languages and Systems. 36. DOI: 10.1145/2629460  0.556
2013 Mardziel P, Magill S, Hicks M, Srivatsa M. Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation Journal of Computer Security. 21: 463-532. DOI: 10.3233/Jcs-130469  0.337
2012 Hicks M. POPL'12 program chair's report: (or, how to run a medium-sized conference) Sigplan Notices. 47: 19-27. DOI: 10.1145/2442776.2442779  0.405
2012 Hayden CM, Smith EK, Hardisty EA, Hicks M, Foster JS. Evaluating dynamic software update safety using systematic testing Ieee Transactions On Software Engineering. 38: 1340-1354. DOI: 10.1109/Tse.2011.101  0.449
2011 Pratikakis P, Foster JS, Hicks M. LOCKSMITH: Practical static race detection for C Acm Transactions On Programming Languages and Systems. 33. DOI: 10.1145/1889997.1890000  0.665
2008 Srivastava S, Hicks M, Foster JS, Jenkins P. Modular Information Hiding and Type-Safe Linking for C Ieee Transactions On Software Engineering. 34: 357-376. DOI: 10.1109/Tse.2008.25  0.507
2008 Sewell P, Stoyle G, Hicks M, Bierman G, Wansbrough K. Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction Journal of Functional Programming. 18: 437-502. DOI: 10.1017/S0956796807006600  0.462
2007 Stoyle G, Hicks M, Bierman G, Sewell P, Neamtiu I. Mutatis Mutandis : Safe and predictable dynamic software updating Acm Transactions On Programming Languages and Systems. 29: 22. DOI: 10.1145/1255450.1255455  0.73
2006 Swamy N, Hicks M, Morrisett G, Grossman D, Jim T. Safe manual memory management in Cyclone Science of Computer Programming. 62: 122-144. DOI: 10.1016/J.Scico.2006.02.003  0.655
2005 Hicks M, Nettles S. Dynamic software updating Acm Transactions On Programming Languages and Systems. 27: 1049-1096. DOI: 10.1145/1108970.1108971  0.664
2005 Rose J, Swamy N, Hicks M. Dynamic inference of polymorphic lock types Science of Computer Programming. 58: 366-383. DOI: 10.1016/J.Scico.2005.03.003  0.692
Show low-probability matches.