Michael Hicks
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
40
Venues
21
Active years
2005–2025
Best venue rank
A*
Where they publish
Papers
40 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clment Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2022 | CCS | Understanding the How and the Why: Exploring Secure Development Practices through a Course Competition. | Kelsey R. Fulton, Daniel Votipka, Desiree Abrokwa, Michelle L. Mazurek, Michael Hicks, James Parker |
| 2022 | ICSE | Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector. | Michael Coblenz, Michelle L. Mazurek, Michael Hicks |
| 2021 | ITP | Proving Quantum Programs Correct. | Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks |
| 2021 | SIGMOD | BullFrog: Online Schema Evolution via Lazy Evaluation. | Souvik Bhattacherjee, Gang Liao, Michael Hicks, Daniel J. Abadi |
| 2021 | SOUPS | Benefits and Drawbacks of Adopting a Secure Programming Language: Rust as a Case Study. | Kelsey R. Fulton, Anna Chan, Daniel Votipka, Michael Hicks, Michelle L. Mazurek |
| 2020 | CCS | Short Paper: Probabilistically Almost-Oblivious Computation. | Ian Sweet, David Darais, Michael Hicks |
| 2019 | ASPLOS | MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. | Lus Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar |
| 2018 | CCS | Evaluating Fuzz Testing. | George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks |
| 2018 | ESOP | Evaluating Design Tradeoffs in Numeric Static Analysis for Java. | Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks |
| 2017 | CCS | Languages for Oblivious Computation. | Michael Hicks |
| 2017 | PLDI | Decomposition instead of self-composition for proving the absence of timing channels. | Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei |
| 2016 | ICST | Tedsuto: A General Framework for Testing Dynamic Software Updates. | Lus Pina, Michael Hicks |
| 2014 | PLDI | Adapton: composable, demand-driven incremental computation. | Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster |
| 2014 | POPL | Authenticated data structures, generically. | Andrew Miller, Michael Hicks, Jonathan Katz, Elaine Shi |
| 2014 | SP | Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations. | Aseem Rastogi, Matthew A. Hammer, Michael Hicks |
| 2013 | ICSE | Expositor: scriptable time-travel debugging with first-class traces. | Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks |
| 2013 | PLDI | Knowledge inference for optimizing secure multi-party computation. | Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer |
| 2012 | CCS | Deanonymizing mobility traces: using social network as a side-channel. | Mudhakar Srivatsa, Michael Hicks |
| 2012 | OOPSLA | Kitsune: efficient, general-purpose dynamic software updating for C. | Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster |
| 2012 | OOPSLA | Automating object transformations for dynamic software updating. | Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley |
| 2012 | PLDI | Knowledge-oriented secure multiparty computation. | Piotr Mardziel, Michael Hicks, Jonathan Katz, Mudhakar Srivatsa |
| 2011 | ICDE | State transfer for clear and efficient runtime updates. | Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster |
| 2011 | ICDE | Foreword. | Michael Hicks, Rida A. Bazzi, Carlo Zaniolo |
| 2011 | ICFP | Lightweight monadic programming in ML. | Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks |
| 2011 | POPL | Dynamic inference of static types for ruby. | Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks |
| 2011 | SAS | Directed Symbolic Execution. | Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks |
| 2010 | POPL | Dynamically checking ownership policies in concurrent c/c++ programs. | Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro |
| 2009 | DLS | The ruby intermediate language. | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks |
| 2009 | DLS | Directing JavaScript with arrows. | Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, Vibha Sazawal |
| 2009 | ECOOP | Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks |
| 2009 | SIGCOMM | Passive aggressive measurement with MGRP. | Pavlos Papageorge, Justin McCann, Michael Hicks |
| 2008 | ICISS | Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. | Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger |
| 2008 | PLDI | Verified enforcement of stateful information release policies. | Nikhil Swamy, Michael Hicks |
| 2008 | POPL | Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. | Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis |
| 2008 | SP | Fable: A Language for Enforcing User-defined Security Policies. | Nikhil Swamy, Brian J. Corcoran, Michael Hicks |
| 2007 | WWW | Defeating script injection attacks with browser-enforced embedded policies. | Trevor Jim, Nikhil Swamy, Michael Hicks |
| 2006 | PLDI | Trusted declassification: : high-level policy for a security-typed language. | Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks |
| 2006 | SAS | Existential Label Flow Inference Via CFL Reachability. | Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks |
| 2005 | PAM | Merging Network Measurement with Data Transport. | Pavlos Papageorgiou, Michael Hicks |