World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
55
Citations
13005
World Ranking
4289
National Ranking
2020

Overview

Michael Hicks is affiliated with Amazon in the United States. Their research contributions are primarily situated in the field of Computer Science, with a focus on subfields such as Artificial Intelligence, Information Systems, Computational Theory and Mathematics, Software, and Electrical and Electronic Engineering.

Their main research topics include:

  • Quantum Computing Algorithms and Architecture
  • Quantum Information and Cryptography
  • Computability, Logic, AI Algorithms
  • Parallel Computing and Optimization Techniques
  • Software Engineering Research
  • Security and Verification in Computing
  • Software Testing and Debugging Techniques

Michael Hicks has published extensively, with their recent papers appearing in notable venues such as:

  • Proceedings of the ACM on Programming Languages (6 publications)
  • ACM Transactions on Software Engineering and Methodology (2 publications)
  • arXiv (Cornell University) (2 publications)
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl) (1 publication)
  • ACM Transactions on Privacy and Security (1 publication)

Some of the recent publications include:

  • A verified optimizer for Quantum circuits, 2021, Proceedings of the ACM on Programming Languages
  • Verifying replicated data types with typeclass refinements in Liquid Haskell, 2020, Proceedings of the ACM on Programming Languages
  • Proving Quantum Programs Correct, 2020, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Build It, Break It, Fix It, 2020, ACM Transactions on Privacy and Security
  • C to checked C by 3c, 2022, Proceedings of the ACM on Programming Languages

Michael Hicks has collaborated frequently with several researchers, including:

  • Kesha Hietala
  • Xiaodi Wu
  • Robert W. Rand
  • Liyi Li
  • Aaron Eline

Their work incorporates topics from both theoretical and applied aspects of computing such as security verification, quantum programming correctness, and software engineering methodologies. Their range of coauthors and venues reflects active engagement with the communities centered on programming languages, formal verification, and security.

Best Publications

  • Cyclone: A Safe Dialect of C

    Trevor Jim;J. Greg Morrisett;Dan Grossman;Michael W. Hicks

  • Evaluating Fuzz Testing

    George Klees;Andrew Ruef;Benji Cooper;Shiyi Wei

  • The SwitchWare active network architecture

    D.S. Alexander;W.A. Arbaugh;M.W. Hicks;P. Kakkar;P. Kakkar

  • Region-based memory management in cyclone

    Dan Grossman;Greg Morrisett;Trevor Jim;Michael Hicks

  • PLAN: a packet language for active networks

    Michael Hicks;Pankaj Kakkar;Jonathan T. Moore;Carl A. Gunter

  • Defeating script injection attacks with browser-enforced embedded policies

    Trevor Jim;Nikhil Swamy;Michael Hicks

  • Automated detection of persistent kernel control-flow attacks

    Nick L. Petroni;Michael Hicks

  • Dynamic software updating

    Michael Hicks;Jonathan T. Moore;Scott Nettles

  • Practical dynamic software updating for C

    Iulian Neamtiu;Michael Hicks;Gareth Stoyle;Manuel Oriol

  • Deanonymizing mobility traces: using social network as a side-channel

    Mudhakar Srivatsa;Mike Hicks

  • Understanding source code evolution using abstract syntax tree matching

    Iulian Neamtiu;Jeffrey S. Foster;Michael Hicks

  • LOCKSMITH: context-sensitive correlation analysis for race detection

    Polyvios Pratikakis;Jeffrey S. Foster;Michael Hicks

  • Dynamic software updating

    Michael Hicks;Scott Nettles

  • Directed symbolic execution

    Kin-Keung Ma;Khoo Yit Phang;Jeffrey S. Foster;Michael Hicks

  • Mutatis mutandis: safe and predictable dynamic software updating

    Gareth Stoyle;Michael Hicks;Gavin Bierman;Peter Sewell

  • Dynamic software updates: a VM-centric approach

    Suriya Subramanian;Michael Hicks;Kathryn S. McKinley

  • Static type inference for Ruby

    Michael Furr;Jong-hoon (David) An;Jeffrey S. Foster;Michael Hicks

  • PLANet: an active internetwork

    M. Hicks;J.T. Moore;D.S. Alexander;C.A. Gunter

  • GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation

    Chang Liu;Austin Harris;Martin Maas;Michael Hicks

  • Practical programmable packets

    J.T. Moore;M. Hicks;S. Nettles

Frequent Co-Authors

Jeffrey S. Foster
Jeffrey S. Foster Tufts University
Nikhil Swamy
Nikhil Swamy Microsoft (United States)
Angelos D. Keromytis
Angelos D. Keromytis Georgia Institute of Technology
Iulian Neamtiu
Iulian Neamtiu New Jersey Institute of Technology
Dan Grossman
Dan Grossman University of Washington
Carl A. Gunter
Carl A. Gunter University of Illinois at Urbana-Champaign
Peter Sewell
Peter Sewell University of Cambridge
Jonathan M. Smith
Jonathan M. Smith University of Pennsylvania
Greg Morrisett
Greg Morrisett Cornell University
James Cheney
James Cheney University of Edinburgh

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring alternative pathways in computer science can help you launch your career faster or specialize in high-demand fields. Many students choose associates degree online programs as an affordable, flexible introduction to tech fundamentals. These programs can help you qualify for entry-level roles or simplify your transfer to a four-year university.

If you already have some education or experience, certifications can be a quicker way to boost your resume. Popular certifications for jobs often focus on current industry needs such as cybersecurity, cloud computing, or database management. Earning targeted certificates can help you stand out in a competitive job market.

For those seeking to advance rapidly, consider the shortest master degree programs. These accelerated online programs can be completed in just one year, allowing you to specialize without a major time commitment. Choosing which master's degree is most in demand in usa is essential—fields like data science, AI, and software engineering consistently rank at the top.

Ultimately, selecting the right online degree or certification depends on your career goals, timeline, and preferred learning style.

Best Scientists Citing Michael Hicks

Trending Scientists

Recently Published Articles