Michael W. Hicks
Michael W. Hicks
Senior Principal Scientist, AWS, and Professor Emeritus, UMD
Verified email at - Homepage
Cited by
Cited by
Cyclone: a safe dialect of C.
T Jim, JG Morrisett, D Grossman, MW Hicks, J Cheney, Y Wang
USENIX Annual Technical Conference, General Track, 275-288, 2002
Dynamic software updating
M Hicks, S Nettles
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (6), 1049-1096, 2005
Evaluating fuzz testing
G Klees, A Ruef, B Cooper, S Wei, M Hicks
Proceedings of the 2018 ACM SIGSAC conference on computer and communications …, 2018
Region-based memory management in Cyclone
D Grossman, G Morrisett, T Jim, M Hicks, Y Wang, J Cheney
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
Defeating script injection attacks with browser-enforced embedded policies
T Jim, N Swamy, M Hicks
Proceedings of the 16th international conference on World Wide Web, 601-610, 2007
PLAN: A packet language for active networks
M Hicks, P Kakkar, JT Moore, CA Gunter, S Nettles
ACM SIGPLAN Notices 34 (1), 86-93, 1998
The SwitchWare active network architecture
DS Alexander, WA Arbaugh, MW Hicks, P Kakkar, AD Keromytis, ...
IEEE network 12 (3), 29-36, 1998
Automated detection of persistent kernel control-flow attacks
NL Petroni Jr, M Hicks
Proceedings of the 14th ACM conference on Computer and communications …, 2007
Understanding source code evolution using abstract syntax tree matching
I Neamtiu, JS Foster, M Hicks
Proceedings of the 2005 international workshop on Mining software …, 2005
Practical dynamic software updating for C
I Neamtiu, M Hicks, G Stoyle, M Oriol
ACM SIGPLAN Notices 41 (6), 72-83, 2006
Locksmith: context-sensitive correlation analysis for race detection
P Pratikakis, JS Foster, M Hicks
Acm Sigplan Notices 41 (6), 320-331, 2006
Directed symbolic execution
KK Ma, K Yit Phang, JS Foster, M Hicks
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011
Dynamic software updates: a VM-centric approach
S Subramanian, M Hicks, KS McKinley
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
Static type inference for Ruby
M Furr, J An, JS Foster, M Hicks
Proceedings of the 2009 ACM symposium on Applied Computing, 1859-1866, 2009
Ghostrider: A hardware-software system for memory trace oblivious computation
C Liu, A Harris, M Maas, M Hicks, M Tiwari, E Shi
ACM SIGPLAN Notices 50 (4), 87-101, 2015
Wysteria: A programming language for generic, mixed-mode multiparty computations
A Rastogi, MA Hammer, M Hicks
2014 IEEE Symposium on Security and Privacy, 655-670, 2014
Practical programmable packets
JT Moore, M Hicks, S Nettles
Proceedings IEEE INFOCOM 2001. Conference on Computer Communications …, 2001
PLANet: An active internetwork
M Hicks, JT Moore, DS Alexander, CA Gunter, SM Nettles
IEEE INFOCOM'99. Conference on Computer Communications. Proceedings …, 1999
Fable: A language for enforcing user-defined security policies
N Swamy, BJ Corcoran, M Hicks
2008 IEEE Symposium on Security and Privacy (sp 2008), 369-383, 2008
Safe manual memory management in Cyclone
N Swamy, M Hicks, G Morrisett, D Grossman, T Jim
Science of Computer Programming 62 (2), 122-144, 2006
The system can't perform the operation now. Try again later.
Articles 1–20