Michael W. Hicks

Cited by

	All	Since 2018
Citations	12202	3662
h-index	53	33
i10-index	117	73

740

370

185

555

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202367 131 174 217 354 339 326 352 353 421 416 528 484 544 522 545 537 623 728 619 654 646 670 701 713 277

Public access

View all

26 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at tufts.edu
Scott NettlesTexas AustinVerified email at ece.utexas.edu
Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com
Dan GrossmanComputer Science, University of WashingtonVerified email at cs.washington.edu
Andrew RuefVerified email at mimisbrunnr.net
Piotr MardzielScientist, TrueraVerified email at cmu.edu
Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Iulian NeamtiuProfessor of Computer Science, New Jersey Institute of TechnologyVerified email at njit.edu
Polyvios PratikakisComputer Science Department, University of Crete, FORTHVerified email at csd.uoc.gr
Angelos D. KeromytisGeorgia Institute of TechnologyVerified email at gatech.edu
Yit Phang KhooThe MathWorks, Inc.Verified email at mathworks.com
Shiyi WeiAssistant Professor of Computer Science, University of Texas at DallasVerified email at utdallas.edu
Chris HaydenAmazon AWSVerified email at cs.umd.edu
Scott AlexanderChief Scientist, Perspecta LabsVerified email at dsalex.org
Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Gavin BiermanOracleVerified email at oracle.com
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Elaine ShiCarnegie Mellon UniversityVerified email at cs.cmu.edu
Stephen MagillSonatype, Inc.Verified email at sonatype.com

Michael W. Hicks

Senior Principal Scientist, AWS, and Professor Emeritus, UMD

Verified email at umd.edu - Homepage

programming languages software security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	1069	2002
Dynamic software updating M Hicks, S Nettles ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (6), 1049-1096, 2005	698*	2005
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	514	2002
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	483	2018
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	479	1998
The SwitchWare active network architecture DS Alexander, WA Arbaugh, MW Hicks, P Kakkar, AD Keromytis, ... IEEE network 12 (3), 29-36, 1998	479	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	477	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	445	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	346	2005
Practical dynamic software updating for C I Neamtiu, M Hicks, G Stoyle, M Oriol ACM SIGPLAN Notices 41 (6), 72-83, 2006	345	2006
Locksmith: context-sensitive correlation analysis for race detection P Pratikakis, JS Foster, M Hicks Acm Sigplan Notices 41 (6), 320-331, 2006	322	2006
Directed symbolic execution KK Ma, K Yit Phang, JS Foster, M Hicks Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011	279	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	236	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	221	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	185	2015
Practical programmable packets JT Moore, M Hicks, S Nettles Proceedings IEEE INFOCOM 2001. Conference on Computer Communications …, 2001	178	2001
PLANet: An active internetwork M Hicks, JT Moore, DS Alexander, CA Gunter, SM Nettles IEEE INFOCOM'99. Conference on Computer Communications. Proceedings …, 1999	167	1999
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	165	2014
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	156	2008
Safe and timely updates to multi-threaded programs I Neamtiu, M Hicks Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009	150	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors