Michael Hicks

According to our database, Michael Hicks authored at least 152 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.

Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

Proc. ACM Program. Lang., 2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).

Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

CoRR, 2024

How We Built Cedar: A Verification-Guided Approach.

Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023

A Verified Optimizer for Quantum Circuits.

Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks

ACM Trans. Program. Lang. Syst., September, 2023

Fuzzing Configurations of Program Options - RCR Report.

Zenong Zhang, George Klees, Eric Wang, Michael Hicks, Shiyi Wei

ACM Trans. Softw. Eng. Methodol., April, 2023

Fuzzing Configurations of Program Options.

Zenong Zhang, George Klees, Eric Wang, Michael Hicks, Shiyi Wei

ACM Trans. Softw. Eng. Methodol., April, 2023

Fat Pointers for Temporal Memory Safety of C.

Jie Zhou, John Criswell, Michael Hicks

Proc. ACM Program. Lang., April, 2023

Symphony: Expressive Secure Multiparty Computation with Coordination.

Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks

Art Sci. Eng. Program., February, 2023

Qunity: A Unified Language for Quantum and Classical Computing.

Finn Voichick, Liyi Li, Robert Rand, Michael Hicks

Proc. ACM Program. Lang., January, 2023

A formal model of Checked C.

Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks

J. Comput. Secur., 2023

2022

C to checked C by 3c.

Aravind Machiry, John H. Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks

Proc. ACM Program. Lang., 2022

Verified compilation of Quantum oracles.

Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks

Proc. ACM Program. Lang., 2022

Qunity: A Unified Language for Quantum and Classical Computing.

Finn Voichick, Robert Rand, Michael W. Hicks

CoRR, 2022

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm.

Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu

CoRR, 2022

FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing.

Zenong Zhang, Zach Patterson, Michael Hicks, Shiyi Wei

Proceedings of the 31st USENIX Security Symposium, 2022

Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector.

Michael Coblenz, Michelle L. Mazurek, Michael Hicks

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

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

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

A verified optimizer for Quantum circuits.

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

Proc. ACM Program. Lang., 2021

Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment.

Michael Coblenz, Michelle L. Mazurek, Michael Hicks

CoRR, 2021

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

Proceedings of the Seventeenth Symposium on Usable Privacy and Security, 2021

BullFrog: Online Schema Evolution via Lazy Evaluation.

Souvik Bhattacherjee, Gang Liao, Michael Hicks, Daniel J. Abadi

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Tutorial: Making C Programs Safer with Checked C.

Jie Zhou, Michael Hicks, Yudi Yang, John Criswell

Proceedings of the IEEE Secure Development Conference, 2021

Proving Quantum Programs Correct.

Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Build It, Break It, Fix It Contests: Motivated Developers Still Make Security Mistakes.

Daniel Votipka, Kelsey R. Fulton, James Parker, Matthew Hou, Michelle L. Mazurek, Michael Hicks

login Usenix Mag., 2020

Build It, Break It, Fix It: Contesting Secure Development.

James Parker, Michael Hicks, Andrew Ruef, Michelle L. Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey R. Fulton

ACM Trans. Priv. Secur., 2020

Verifying replicated data types with typeclass refinements in Liquid Haskell.

Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou

Proc. ACM Program. Lang., 2020

A language for probabilistically oblivious computation.

David Darais, Ian Sweet, Chang Liu, Michael Hicks

Proc. ACM Program. Lang., 2020

Conferences in an era of expensive carbon.

Benjamin C. Pierce, Michael Hicks, Cristina V. Lopes, Jens Palsberg

Commun. ACM, 2020

Understanding security mistakes developers make: Qualitative analysis from Build It, Break It, Fix It.

Daniel Votipka, Kelsey R. Fulton, James Parker, Matthew Hou, Michelle L. Mazurek, Michael Hicks

Proceedings of the 29th USENIX Security Symposium, 2020

Short Paper: Probabilistically Almost-Oblivious Computation.

Ian Sweet, David Darais, Michael Hicks

Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020

2019

LWeb: information flow security for multi-tier web applications.

James Parker, Niki Vazou, Michael Hicks

Proc. ACM Program. Lang., 2019

Coverage guided, property based testing.

Leonidas Lampropoulos, Michael Hicks, Benjamin C. Pierce

Proc. ACM Program. Lang., 2019

Quantitative robustness analysis of quantum programs.

Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu

Proc. ACM Program. Lang., 2019

Verified Optimization in a Quantum Intermediate Representation.

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

CoRR, 2019

Formal Verification vs. Quantum Uncertainty.

Robert Rand, Kesha Hietala, Michael Hicks

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

Achieving Safety Incrementally with Checked C.

Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

Wys*: A DSL for Verified Secure Multi-party Computations.

Aseem Rastogi, Nikhil Swamy, Michael Hicks

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution.

Luís Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Quantitative Robustness Analysis of Quantum Programs (Extended Version).

Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu

CoRR, 2018

Checked C: Making C Safe by Extension.

Archibald Samuel Elliott, Andrew Ruef, Michael Hicks, David Tarditi

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

What's the Over/Under? Probabilistic Bounds on Information Leakage.

Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

Evaluating Design Tradeoffs in Numeric Static Analysis for Java.

Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks

Proceedings of the Programming Languages and Systems, 2018

Evaluating Fuzz Testing.

George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

WYS*: A Verified Language Extension for Secure Multi-party Computations.

Aseem Rastogi, Nikhil Swamy, Michael Hicks

CoRR, 2017

Summoning Demons: The Pursuit of Exploitable Bugs in Machine Learning.

Rock Stevens, Octavian Suciu, Andrew Ruef, Sanghyun Hong, Michael W. Hicks, Tudor Dumitras

CoRR, 2017

Quantifying vulnerability of secret generation using hyper-distributions (extended version).

Mário S. Alvim, Piotr Mardziel, Michael W. Hicks

CoRR, 2017

Counterexample-guided approach to finding numerical invariants.

ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Quantifying Vulnerability of Secret Generation Using Hyper-Distributions.

Mário S. Alvim, Piotr Mardziel, Michael W. Hicks

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

Decomposition instead of self-composition for proving the absence of timing channels.

Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Languages for Oblivious Computation.

Michael Hicks

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017

2016

C-strider: type-aware heap traversal for C.

Karla Saur, Michael W. Hicks, Jeffrey S. Foster

Softw. Pract. Exp., 2016

IEEE SecDev 2016: Prioritizing Secure Development.

Robert K. Cunningham, Pamela Gupta, Ulf Lindqvist, Stelios Sidiroglou-Douskos, Michael Hicks

IEEE Secur. Priv., 2016

Safe and Flexible Controller Upgrades for SDNs.

Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks

Proceedings of the Symposium on SDN Research, 2016

Tedsuto: A General Framework for Testing Dynamic Software Updates.

Luís Pina, Michael Hicks

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Evolving NoSQL Databases without Downtime.

Karla Saur, Tudor Dumitras, Michael W. Hicks

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Build It, Break It, Fix It: Contesting Secure Development.

Andrew Ruef, Michael W. Hicks, James Parker, Dave Levin, Michelle L. Mazurek, Piotr Mardziel

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

How to Authenticate any Data Structure.

Andrew Miller, Michael W. Hicks, Jonathan Katz, Elaine Shi

Adv. Math. Commun., 2015

Morpheus: Safe and Flexible Dynamic Updates for SDNs.

Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks

CoRR, 2015

Incremental computation with names.

Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

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

Chang Liu, Austin Harris, Martin Maas, Michael W. Hicks, Mohit Tiwari, Elaine Shi

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C.

Christopher M. Hayden, Karla Saur, Edward K. Smith, Michael W. Hicks, Jeffrey S. Foster

ACM Trans. Program. Lang. Syst., 2014

The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492).

Gilles Barthe, Michael Hicks, Florian Kerschbaum, Dominique Unruh

Dagstuhl Reports, 2014

Polymonadic Programming.

Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy

Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014

Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations.

Aseem Rastogi, Matthew A. Hammer, Michael Hicks

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Quantifying Information Flow for Dynamic Secrets.

Piotr Mardziel, Mário S. Alvim, Michael W. Hicks, Michael R. Clarkson

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Automating Efficient RAM-Model Secure Computation.

Chang Liu, Yan Huang, Elaine Shi, Jonathan Katz, Michael W. Hicks

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Authenticated data structures, generically.

Andrew Miller, Michael Hicks, Jonathan Katz, Elaine Shi

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Adapton: composable, demand-driven incremental computation.

Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Rubah: DSU for Java on a stock JVM.

Luís Pina, Luís Veiga, Michael W. Hicks

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

Principles of POPL.

Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler

ACM SIGPLAN Notices, 2013

Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation.

Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa

J. Comput. Secur., 2013

Knowledge inference for optimizing secure multi-party computation.

Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

Expositor: scriptable time-travel debugging with first-class traces.

Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks

Proceedings of the 35th International Conference on Software Engineering, 2013

Rubah: Efficient, General-purpose Dynamic Software Updating for Java.

Luís Pina, Michael Hicks

Proceedings of the 5th Workshop on Hot Topics in Software Upgrades, 2013

Memory Trace Oblivious Program Execution.

Chang Liu, Michael Hicks, Elaine Shi

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

Evaluating Dynamic Software Update Safety Using Systematic Testing.

Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster

IEEE Trans. Software Eng., 2012

POPL'12 program chair's report: (or, how to run a medium-sized conference).

Michael Hicks

ACM SIGPLAN Notices, 2012

Specifying and Verifying the Correctness of Dynamic Software Updates.

Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Knowledge-oriented secure multiparty computation.

Piotr Mardziel, Michael Hicks, Jonathan Katz, Mudhakar Srivatsa

Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

Automating object transformations for dynamic software updating.

Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Kitsune: efficient, general-purpose dynamic software updating for C.

Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Towards standardized benchmarks for Dynamic Software Updating systems.

Edward K. Smith, Michael Hicks, Jeffrey S. Foster

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

A study of dynamic software update quiescence for multithreaded programs.

Christopher M. Hayden, Karla Saur, Michael Hicks, Jeffrey S. Foster

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

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

Mudhakar Srivatsa, Michael Hicks

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

LOCKSMITH: Practical static race detection for C.

Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks

ACM Trans. Program. Lang. Syst., 2011

Directed Symbolic Execution.

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

Proceedings of the Static Analysis - 18th International Symposium, 2011

Dynamic inference of static types for ruby.

Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Lightweight monadic programming in ML.

Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Foreword.

Michael Hicks, Rida A. Bazzi, Carlo Zaniolo

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

State transfer for clear and efficient runtime updates.

Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

Dynamic Enforcement of Knowledge-Based Security Policies.

Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2010

Serializing C intermediate representations for efficient and portable parsing.

Jeffrey A. Meister, Jeffrey S. Foster, Michael Hicks

Softw. Pract. Exp., 2010

SCORE: agile research group management.

Michael W. Hicks, Jeffrey S. Foster

Commun. ACM, 2010

Dynamically checking ownership policies in concurrent c/c++ programs.

Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Cross-tier, label-based security enforcement for web applications.

Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

Passive aggressive measurement with MGRP.

Pavlos Papageorge, Justin McCann, Michael Hicks

Proceedings of the ACM SIGCOMM 2009 Conference on Applications, 2009

Static type inference for Ruby.

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

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Dynamic software updates: a VM-centric approach.

Suriya Subramanian, Michael W. Hicks, Kathryn S. McKinley

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Safe and timely updates to multi-threaded programs.

Iulian Neamtiu, Michael W. Hicks

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

A theory of typed coercions and its applications.

Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Efficient Systematic Testing for Dynamically Updatable Software.

Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster

Proceedings of the 2nd ACM Workshop on Hot Topics in Software Upgrades, 2009

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

Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

Directing JavaScript with arrows.

Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, Vibha Sazawal

Proceedings of the 5th Symposium on Dynamic Languages, 2009

The ruby intermediate language.

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

Proceedings of the 5th Symposium on Dynamic Languages, 2009

2008

Modular Information Hiding and Type-Safe Linking for C.

Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins

IEEE Trans. Software Eng., 2008

Verified enforcement of stateful information release policies.

Nikhil Swamy, Michael Hicks

ACM SIGPLAN Notices, 2008

Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction.

Peter Sewell, Gareth Paul Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough

J. Funct. Program., 2008

Formalizing Soundness of Contextual Effects.

Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Fable: A Language for Enforcing User-defined Security Policies.

Nikhil Swamy, Brian J. Corcoran, Michael Hicks

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming.

Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Path projection for user-centered static analysis tools.

Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Implicit Flows: Can't Live with 'Em, Can't Live without 'Em.

Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger

Proceedings of the Information Systems Security, 4th International Conference, 2008

2007

<i>Mutatis Mutandis</i>: Safe and predictable dynamic software updating.

Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu

ACM Trans. Program. Lang. Syst., 2007

Defeating script injection attacks with browser-enforced embedded policies.

Trevor Jim, Nikhil Swamy, Michael Hicks

Proceedings of the 16th International Conference on World Wide Web, 2007

Modular information hiding and type-safe linking for C.

Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster

Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

Improving software quality with static analysis.

Jeffrey S. Foster, Michael W. Hicks, William W. Pugh

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Automated detection of persistent kernel control-flow attacks.

Nick L. Petroni Jr., Michael W. Hicks

Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

2006

Safe manual memory management in Cyclone.

Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim

Sci. Comput. Program., 2006

Existential Label Flow Inference Via CFL Reachability.

Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks

Proceedings of the Static Analysis, 13th International Symposium, 2006

LOCKSMITH: context-sensitive correlation analysis for race detection.

Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Practical dynamic software updating for C.

Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Trusted declassification: : high-level policy for a security-typed language.

Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks

Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006

Managing Policy Updates in Security-Typed Languages.

Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

Dynamic software updating.

Michael W. Hicks, Scott Nettles

ACM Trans. Program. Lang. Syst., 2005

Understanding source code evolution using abstract syntax tree matching.

Iulian Neamtiu, Jeffrey S. Foster, Michael Hicks

ACM SIGSOFT Softw. Eng. Notes, 2005

Dynamic inference of polymorphic lock types.

James Rose, Nikhil Swamy, Michael Hicks

Sci. Comput. Program., 2005

Mutatis mutandis: safe and predictable dynamic software updating.

Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Merging Network Measurement with Data Transport.

Pavlos Papageorgiou, Michael Hicks

Proceedings of the Passive and Active Network Measurement, 6th International Workshop, 2005

Tagged Sets: A Secure and Transparent Coordination Medium.

Manuel Oriol, Michael W. Hicks

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004

Transparent proxies for java futures.

Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Experience with safe manual memory-management in cyclone.

Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim

Proceedings of the 4th International Symposium on Memory Management, 2004

2003

A secure PLAN.

Michael W. Hicks, Angelos D. Keromytis, Jonathan M. Smith

IEEE Trans. Syst. Man Cybern. Part C, 2003

Dynamic rebinding for marshalling and update, with destruct-time?

Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Cyclone: A Safe Dialect of C.

Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang

Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Region-Based Memory Management in Cyclone.

Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Evolution in Action: Using Active Networking to Evolve Network Support for Mobility.

Seong-Kyu Song, Stephen Shannon, Michael W. Hicks, Scott Nettles

Proceedings of the Active Networks, IFIP-TC6 4th International Working Conference, 2002

Experiences with Capsule-Based Active Networking.

Michael W. Hicks, Jonathan T. Moore, David Wetherall, Scott Nettles

Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002

2001

Dynamic Software Updating.

Michael W. Hicks, Jonathan T. Moore, Scott Nettles

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Compiling PLAN to SNAP.

Michael W. Hicks, Jonathan T. Moore, Scott Nettles

Proceedings of the Active Networks, IFIP-TC6 Third International Working Conference, 2001

Practical Programmable Packets.

Jonathan T. Moore, Michael W. Hicks, Scott Nettles

Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

2000

Safe and Flexible Dynamic Linking of Native Code.

Michael W. Hicks, Stephanie Weirich, Karl Crary

Proceedings of the Types in Compilation, Third International Workshop, 2000

Active Networking Means Evolution (or Enhanced Extensibility Required).

Michael W. Hicks, Scott Nettles

Proceedings of the Active Networks, Second International Working Conference, 2000

Scalable Resource Control in Active Networks.

Kostas G. Anagnostakis, Michael W. Hicks, Sotiris Ioannidis, Angelos D. Keromytis, Jonathan M. Smith

Proceedings of the Active Networks, Second International Working Conference, 2000

1999

Specifying the PLAN Network Programming Langauge.

Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter

Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 1999

Transparent Communication for Distributed Objects in Java.

Michael W. Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu

Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, 1999

A Secure Plan.

Michael W. Hicks, Angelos D. Keromytis

Proceedings of the Active Networks, First International Working Conference, 1999

PLANet: An Active Internetwork.

Michael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles

Proceedings of the Proceedings IEEE INFOCOM '99, 1999

1998

The SwitchWare active network architecture.

D. Scott Alexander, William Arbaugh, Michael Hicks, Pankaj Kakkar, Angelos Dennis Keromytis, Jonathan T. Moore, Carl A. Gunter, Scott Nettles, Jonathan M. Smith

IEEE Netw., 1998

A Study of Large Object Spaces.

Michael W. Hicks, Luke Hornof, Jonathan T. Moore, Scott Nettles

Proceedings of the International Symposium on Memory Management, 1998

PLAN: A Packet Language for Active Networks.

Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Network Programming Using PLAN.

Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles

Proceedings of the Internet Programming Languages, 1998

1997

The Measured Cost of Copying Garbage Collection Mechanisms.

Michael W. Hicks, Jonathan T. Moore, Scott Nettles

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997