Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Michael Hicks
Map detail
Michael Hicks10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichael HicksAMichael HicksResearcherPolymonadic ProgrammingWPolymonadic Programmingpreprint / 2014Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage CollectorWGarbage Collection Make...preprint / 2022Composition of Near-Earth Asteroid 2008 EV5: Potential target for Robotic and Human ExplorationWComposition of Near-Ear...preprint / 2012Evolving NoSQL Databases Without DowntimeWEvolving NoSQL Database...preprint / 2016A Formal Model of Checked CWA Formal Model of Check...preprint / 2022Verified Compilation of Quantum OraclesWVerified Compilation of...preprint / 2022A Formally Certified End-to-End Implementation of Shor's Factorization AlgorithmWA Formally Certified En...preprint / 2022C to Checked C by 3CWC to Checked C by 3Cpreprint / 2022Morpheus: Safe and Flexible Dynamic Updates for SDNsWMorpheus: Safe and Flex...preprint / 2015
Person9 links

Michael Hicks

Researcher