Michael Hicks
Michael Hicks
Professor of Computer Science, University of Maryland
Verified email at cs.umd.edu - Homepage
TitleCited byYear
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
The SwitchWare active network architecture
DS Alexander, WA Arbaugh, MW Hicks, P Kakkar, AD Keromytis, ...
IEEE network 12 (3), 29-36, 1998
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
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
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
Automated detection of persistent kernel control-flow attacks
NL Petroni Jr, M Hicks
Proceedings of the 14th ACM conference on Computer and communications …, 2007
Dynamic software updating
M Hicks, JT Moore, S Nettles
ACM SIGPLAN Notices 36 (5), 13-23, 2001
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
Dynamic software updating
M Hicks, S Nettles
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (6), 1049-1096, 2005
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
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
Directed symbolic execution
KK Ma, KY Phang, JS Foster, M Hicks
International Static Analysis Symposium, 95-111, 2011
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
Mutatis mutandis: safe and predictable dynamic software updating
G Stoyle, M Hicks, G Bierman, P Sewell, I Neamtiu
ACM SIGPLAN Notices 40 (1), 183-194, 2005
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 and timely updates to multi-threaded programs
I Neamtiu, M Hicks
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 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
The system can't perform the operation now. Try again later.
Articles 1–20