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
8652002
The SwitchWare active network architecture
DS Alexander, WA Arbaugh, MW Hicks, P Kakkar, AD Keromytis, ...
4911998
Region-based memory management in Cyclone
D Grossman, G Morrisett, T Jim, M Hicks, Y Wang, J Cheney
ACM Sigplan Notices 37 (5), 282-293, 2002
4432002
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
4331998
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
4232007
Automated detection of persistent kernel control-flow attacks
NL Petroni Jr, M Hicks
Proceedings of the 14th ACM conference on Computer and communications …, 2007
3632007
Dynamic software updating
M Hicks, JT Moore, S Nettles
ACM SIGPLAN Notices 36 (5), 13-23, 2001
3412001
Practical dynamic software updating for C
I Neamtiu, M Hicks, G Stoyle, M Oriol
ACM SIGPLAN Notices 41 (6), 72-83, 2006
2892006
LOCKSMITH: context-sensitive correlation analysis for race detection
P Pratikakis, JS Foster, M Hicks
Acm Sigplan Notices 41 (6), 320-331, 2006
2652006
Dynamic software updating
M Hicks, S Nettles
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (6), 1049-1096, 2005
2392005
Understanding source code evolution using abstract syntax tree matching
I Neamtiu, JS Foster, M Hicks
ACM SIGSOFT Software Engineering Notes 30 (4), 1-5, 2005
2232005
Dynamic software updates: a VM-centric approach
S Subramanian, M Hicks, KS McKinley
ACM Sigplan Notices 44 (6), 1-12, 2009
1902009
Static type inference for Ruby
M Furr, JD An, JS Foster, M Hicks
Proceedings of the 2009 ACM symposium on Applied Computing, 1859-1866, 2009
1752009
Directed symbolic execution
KK Ma, KY Phang, JS Foster, M Hicks
International Static Analysis Symposium, 95-111, 2011
1652011
Practical programmable packets
JT Moore, M Hicks, S Nettles
Proceedings IEEE INFOCOM 2001. Conference on Computer Communications …, 2001
1622001
PLANet: An active internetwork
M Hicks, JT Moore, DS Alexander, CA Gunter, SM Nettles
IEEE INFOCOM'99. Conference on Computer Communications. Proceedings …, 1999
1571999
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
1542005
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
1352008
Safe and timely updates to multi-threaded programs
I Neamtiu, M Hicks
ACM Sigplan Notices 44 (6), 13-24, 2009
1302009
Formalizing dynamic software updating
G Bierman, M Hicks, P Sewell, G Stoyle
Proceedings of the Second International Workshop on Unanticipated Software …, 2003
1102003
The system can't perform the operation now. Try again later.
Articles 1–20