Mike Hicks

Professor Emeritus

5246 Iribe Center

(301) 405-2710

Academic Web Page

Research Group(s):

Maryland Cybersecurity Center

Education:

Ph.D. University of Pensylvania (Computer and Information Science)

Special Awards/Honors:

National Science Foundation (NSF) Career Award, ACM SIGPLAN Doctoral Dissertation Award in 2001

Biography:

Michael Hicks is a professor emeritus of computer science in the University of Maryland Institute for Advanced Computer Studies.

His research focuses on enhancing software security, reliability, and availability through programming languages and analysis tools. Hicks’s work includes developing tools for safe software updates, discovering and fixing flaws and vulnerabilities, and exploring distributed systems with an emphasis on adaptivity and security.

Go here to view Hicks's academic publications on Google Scholar.

Publications

2002

Hicks MW, Keromytis AD, Smith JM. 2002. A secure PLAN (extended version). DARPA Active NEtworks Conference and Exposition, 2002. Proceedings. :224-237.

Grossman D, Morrisett G, Jim T, Hicks MW, Wang Y, Cheney J. 2002. Region-based memory management in cyclone. SIGPLAN Not.. 37(5):282-293.

Jim T, Morrisett G, Grossman D, Hicks MW, Cheney J, Wang Y. 2002. Cyclone: A safe dialect of C. USENIX Annual Technical Conference. :275-288.

Seong-Kyu S, Shannon S, Hicks MW, Nettles S. 2002. Evolution in Action: Using Active Networking to Evolve Network Support for Mobility. Active NetworksActive Networks. 2546:146-161.

2001

Hicks MW, Weirich S. 2001. A Calculus for Dynamic Loading. Technical Reports (CIS).

Hicks MW, Moore J, Nettles S. 2001. Compiling PLAN to SNAP. Active NetworksActive Networks. 2207:134-151.

Hicks MW, Moore JT, Nettles S. 2001. Dynamic software updating. Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation. :13-23.

Moore JT, Hicks MW, Nettles S. 2001. Practical programmable packets. IEEE INFOCOM 2001. Twentieth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. 1:41-50vol.1-41-50vol.1.

Grossman D, Morrisett G, Jim T, Hicks MW, Wang Y, Cheney J. 2001. Cyclone User's Manual, Version 0.1. 3. Computer Science Technical Reports.

2000

Hicks MW, Nettles S. 2000. Active Networking Means Evolution (or Enhanced Extensibility Required). Active NetworksActive Networks. 1942:16-32.

Anagnostakis K, Hicks MW, Ioannidis S, Keromytis A, Smith J. 2000. Scalable Resource Control in Active Networks. Active NetworksActive Networks. 1942:343-357.

Ertugay O, Hicks MW, Smith J, Kornblum J. 2000. Agents in Network Management. Technical Reports (CIS).

Royer EM, Toh CK, Hicks MW, Kakkar P, Moore JT, Hicks MW, Moore JT, Alexander DS, Gunter CA, Nettles S et al.. 2000. A Review of Current Routing Protocols for Ad Hoc. IEEE Personal Communications. 29:156-71.

1999

Hicks MW, Kakkar P, Moore J, Gunter C, Nettles S. 1999. Network Programming Using PLAN. Internet Programming LanguagesInternet Programming Languages. 1686:127-143.

Kakkar P, Hicks MW, Moore J, Gunter CA. 1999. Specifying the PLAN Network Programming Langauge. Electronic Notes in Theoretical Computer Science. 26:87-104.

Moore JT, Hicks MW, Nettles S. 1999. Chunks in PLAN: Language support for programs as packets. PROCEEDINGS OF THE ANNUAL ALLERTON CONFERENCE ON COMMUNICATION CONTROL AND COMPUTING. 37:PROCEEDINGSOFTHEANNUALALLERTONCONFERENCEONCOMMUNICATIONCONTROLANDCOMPUTING-PROCEEDINGSOFTHEANNUALALLERTONCONFER.

Hicks MW. 1999. PLAN Service Programmer's Guide for PLAN version 3.2. University of Pennsylvania.

Hicks MW, Kakkar P, Moore JT, Gunter CA, Nettles S. 1999. PLAN: A programming language for active networks. ACM SIGPLAN NOTICES. 34:86-93.

Hicks MW, Moore JT, Alexander DS, Gunter CA, Nettles SM. 1999. PLANet: an active internetwork. IEEE INFOCOM '99. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. 3:1124-1133vol.3-1124-1133vol.3.

Hicks MW, Jagannathan S, Kelsey R, Moore JT, Ungureanu C. 1999. Transparent communication for distributed objects in Java. Proceedings of the ACM 1999 conference on Java Grande. :160-170.

1998

Alexander DS, Arbaugh WA, Hicks MW, Kakkar P, Keromytis AD, Moore JT, Gunter CA, Nettles SM, Smith JM. 1998. The SwitchWare active network architecture. IEEE Network. 12(3):29-36.

Hicks MW. 1998. PLAN Service Programmer's Guide. University of Pennsylvania.

Hicks MW, Kakkar P, Moore JT, Gunter CA, Nettles S. 1998. PLAN: a packet language for active networks. SIGPLAN Not.. 34(1):86-93.

Hicks MW, Kakkar P, Moore JT, Gunter CA, Alexander DS, Nettles S. 1998. The PLAN system for building Active Networks. University of Pennsylvania (February 27, 1998).

Alexander DS, Hicks MW, Kakkar P, Keromytis AD, Shaw M, Moore JT, Gunter CA, Jim T, Nettles SM, Smith JM. 1998. The switchware active network implementation. The ML Workshop, International Conference on Functional Programming (ICFP).

Hicks MW, Hornof L, Moore JT, Nettles SM. 1998. A study of large object spaces. Proceedings of the 1st international symposium on Memory management. :138-145.

Hicks MW. 1998. Types and intermediate representations. Technical Reports (CIS). :796-796.

1997

Hicks MW, Moore JT, Nettles SM. 1997. The measured cost of copying garbage collection mechanisms. SIGPLAN Not.. 32(8):292-305.

Moore JT, Hicks MW. 1997. A Service Layer Routing Protocol for PLAN. PLAN documentation, September.