Michael Hicks
Michael Hicks
Professor of Computer Science, University of Maryland
Verifierad e-postadress på cs.umd.edu - Startsida
TitelCiteras avÅr
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
8762002
The SwitchWare active network architecture
DS Alexander, WA Arbaugh, MW Hicks, P Kakkar, AD Keromytis, ...
4971998
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
4462002
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
4351998
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
4302007
Automated detection of persistent kernel control-flow attacks
NL Petroni Jr, M Hicks
Proceedings of the 14th ACM conference on Computer and communications …, 2007
3712007
Dynamic software updating
M Hicks, JT Moore, S Nettles
ACM SIGPLAN Notices 36 (5), 13-23, 2001
3432001
Practical dynamic software updating for C
I Neamtiu, M Hicks, G Stoyle, M Oriol
ACM SIGPLAN Notices 41 (6), 72-83, 2006
2952006
LOCKSMITH: context-sensitive correlation analysis for race detection
P Pratikakis, JS Foster, M Hicks
Acm Sigplan Notices 41 (6), 320-331, 2006
2712006
Dynamic software updating
M Hicks, S Nettles
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (6), 1049-1096, 2005
2422005
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
2312005
Dynamic software updates: a VM-centric approach
S Subramanian, M Hicks, KS McKinley
ACM Sigplan Notices 44 (6), 1-12, 2009
1962009
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
1762009
Directed symbolic execution
KK Ma, KY Phang, JS Foster, M Hicks
International Static Analysis Symposium, 95-111, 2011
1682011
Practical programmable packets
JT Moore, M Hicks, S Nettles
Proceedings IEEE INFOCOM 2001. Conference on Computer Communications …, 2001
1642001
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
1552005
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
1392008
Safe and timely updates to multi-threaded programs
I Neamtiu, M Hicks
ACM Sigplan Notices 44 (6), 13-24, 2009
1332009
Formalizing dynamic software updating
G Bierman, M Hicks, P Sewell, G Stoyle
Proceedings of the Second International Workshop on Unanticipated Software …, 2003
1122003
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20