Michael Hicks

Cited by

	All	Since 2016
Citations	10633	3432
h-index	50	31
i10-index	116	73

740

370

185

555

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202178 144 184 216 341 338 339 367 354 406 412 515 491 562 528 535 532 602 721 624 638 633 643 169

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at cs.tufts.edu
Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com
Dan GrossmanComputer Science, University of WashingtonVerified email at cs.washington.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
Piotr MardzielScientist, TrueraVerified email at cmu.edu
Iulian NeamtiuProfessor of Computer Science, New Jersey Institute of TechnologyVerified email at njit.edu
Andrew RuefVerified email at mimisbrunnr.net
Polyvios PratikakisUniversity 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
Gavin BiermanOracleVerified email at oracle.com
Scott AlexanderChief Scientist, Perspecta LabsVerified email at dsalex.org
Chris HaydenAmazon AWSVerified email at cs.umd.edu
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Elaine ShiCarnegie Mellon University, CornellVerified email at cs.cmu.edu
James CheneyReader, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Stephen MagillGalois, Inc.Verified email at galois.com
Jonathan KatzProfessor of Computer Science, University of MarylandVerified email at cs.umd.edu
Shiyi WeiAssistant Professor of Computer Science, University of Texas at DallasVerified email at utdallas.edu

Michael Hicks

Professor of Computer Science, University of Maryland

Verified email at cs.umd.edu - Homepage

Programming Languages Security Networking


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	966	2002
The SwitchWare active network architecture DS Alexander, WA Arbaugh, MW Hicks, P Kakkar, AD Keromytis, ... IEEE network 12 (3), 29-36, 1998	508	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	478	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	457	2007
PLAN: A packet language for active networks M Hicks, P Kakkar, JT Moore, CA Gunter, S Nettles Proceedings of the ACM International Conference on Functional Programming, 86-93, 1998	452	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	413	2007
Dynamic software updating M Hicks, JT Moore, S Nettles Proceedings of the ACM Conference Programming Language Design and …, 2001	350	2001
Practical dynamic software updating for C I Neamtiu, M Hicks, G Stoyle, M Oriol Proceedings of the ACM Conference Programming Language Design and …, 2006	321	2006
LOCKSMITH: context-sensitive correlation analysis for race detection P Pratikakis, JS Foster, M Hicks Proceedings of the ACM Conference Programming Language Design and …, 2006	292	2006
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	273	2005
Dynamic software updating M Hicks, S Nettles ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (6), 1049-1096, 2005	269	2005
Directed symbolic execution KK Ma, KY Phang, JS Foster, M Hicks International Static Analysis Symposium, 95-111, 2011	217	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	212	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	202	2009
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	197	2018
Practical programmable packets JT Moore, M Hicks, S Nettles Proceedings IEEE INFOCOM 2001. Conference on Computer Communications …, 2001	165	2001
PLANet: An active internetwork M Hicks, JT Moore, DS Alexander, CA Gunter, SM Nettles IEEE INFOCOM'99. Conference on Computer Communications. Proceedings …, 1999	162	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	150	2008
Ghostrider: A hardware-software system for memory trace oblivious computation C Liu, A Harris, M Maas, M Hicks, M Tiwari, E Shi Proceedings of the ACM International Conference on Architectural Support for …, 2015	145	2015
Safe and timely updates to multi-threaded programs I Neamtiu, M Hicks Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009	144	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

Upload PDF

Follow this author

Cited by

Co-authors