- Locksmith: Context-Sensitive Correlation Analysis for Race Detection
- DYNAMIC SOFTWARE UPDATING Michael Hicks
- SCORE: Agile Research Group Management Michael Hicks Jeffrey S. Foster
- Specifying and Verifying the Correctness of Dynamic Software Updates
- Mutatis Mutandis: Safe and Predictable Dynamic Software Updating
- Compiling PLAN to SNAP ? Michael Hicks 1 , Jonathan T. Moore 1 , and Scott Nettles 2
- PLAN: A Packet Language for Active Networks Michael W. Hicks, University of Maryland, College Park
- Directed symbolic execution Kin-Keung Ma, Khoo Yit Phang, Jeffrey S. Foster, and Michael Hicks
- State Transfer for Clear and Efficient Runtime Updates
- Dynamically Checking Ownership Policies in Concurrent C/C++ Programs (full version)
- Triaging Checklists: a Substitute for a PhD in Static Analysis Khoo Yit Phang Jeffrey S. Foster Michael Hicks Vibha Sazawal
- The Ruby Intermediate Language Michael Furr Jong-hoon (David) An Jeffrey S. Foster Michael Hicks
- Tests to the Left of Me, Types to the Right How Not to Get Stuck in the Middle of a Ruby Execution
- Safe and Timely Dynamic Updates for Multi-threaded Programs Iulian Neamtiu
- A Testing Based Empirical Study of Dynamic Software Update Safety Restrictions
- Implicit Flows: Can't Live With `Em, Can't Live Without `Em
- Formalizing Soundness of Contextual Effects Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, and Iulian Neamtiu
- FABLE: A Language for Enforcing User-defined Security Policies Nikhil Swamy Brian J. Corcoran Michael Hicks
- Verified Enforcement of Automaton-based Information Release Policies Nikhil Swamy and Michael Hicks
- Defeating Script Injection Attacks with Browser-Enforced Embedded Policies
- FABLE: A Language for Enforcing User-defined Security Policies Nikhil Swamy Brian J. Corcoran Michael Hicks
- Automated Detection of Persistent Kernel Control-Flow Attacks
- Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming
- Toward Specifying and Validating Cross-Domain Policies
- Existential Label Flow Inference via CFL Reachability Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks
- Managing Policy Updates in Security-Typed Languages Nikhil Swamy Michael Hicks
- Lock Inference for Atomic Sections Michael Hicks
- LOCKSMITH: Context-Sensitive Correlation Analysis for Race Detection
- Dynamic Inference of Polymorphic Lock James Rose, Nikhil Swamy, and Michael Hicks 1
- Tagged Sets: A Secure and Transparent Coordination Medium
- Existential Label Flow Inference via CFL Reachability Polyvios Pratikakis Michael Hicks Jeffrey S. Foster
- Dynamic Inference of Polymorphic Lock Types rosejr@cs.umd.edu
- Formalizing Dynamic Software Updating Gavin Bierman
- Safe and Flexible Memory Management in Cyclone Michael Hicks
- User-specified Adaptive Scheduling in a Streaming Media Michael Hicks, Adithya Nagarajan Robbert van Renesse
- Dynamic Software Updating Michael Hicks
- SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2010; 40:225238 Prepared using speauth.cls [Version: 2002/09/23 v2.2]
- Practical Dynamic Software Updating for C Iulian Neamtiu, Michael Hicks
- Trusted Declassification High-level policy for a security-typed language
- Dynamic Software Updates: A VM-centric Approach Suriya Subramanian
- Managing Policy Updates in Security-Typed Languages University of Maryland, Technical Report CS-TR-4793
- Merging Network Measurement with Data Transport (Extended Abstract)
- Modular Information Hiding and Type-Safe Linking for C Saurabh Srivastava Michael Hicks Jeffrey S. Foster
- Dynamic Inference of Static Types for Ruby Jong-hoon (David) An
- GeneralPurpose Persistence Using Flash Memory Jonathan T. Moore, Michael Hicks, and Scott Nettles
- Dynamic Enforcement of Knowledge-based Security Policies Piotr Mardziel, Stephen Magill, Michael Hicks
- Formal Type Soundness for Cyclone's Region System Dan Grossman
- Dynamic Inference of Static Types for Ruby Jong-hoon (David) An
- Evolution in Action: Using Active Networking to Evolve Network Support for Mobility
- Experiences with Capsulebased Active Networking Michael Hicks, Jonathan T. Moore, Scott Nettles, and David Wetherall
- Combining Provenance and Security Policies in a Web-based Document Management System
- Appendix to Cmod: Modular Information Hiding and Type-Safe Linking for C
- Modular Information Hiding and Type-Safe Linking for C
- Safe Manual Memory Management in Cyclone Nikhil Swamy,
- Passive Aggressive Measurement with MGRP Pavlos Papageorge
- Active Networking Means Evolution (or Enhanced Extensibility Required)
- Static Type Inference for Ruby Michael Furr Jong-hoon (David) An Jeffrey S. Foster Michael Hicks
- Transparent Communication for Distributed Objects in Java Michael Hicks \Lambda Suresh Jagannathan x Richard Kelsey x Jonathan T. Moore \Lambda
- Adapting Scrum to Managing a Research Group September 18, 2010
- Dynamic Updating of Information-Flow Policies Michael Hicks
- Directed symbolic execution Kin-Keung Ma, Khoo Yit Phang, Jeffrey S. Foster, and Michael Hicks
- Transparent Proxies for Java Futures Polyvios Pratikakis
- Efficient Systematic Testing for Dynamically Updatable Software
- Cmod: Modular Information Hiding and Type-Safe Linking for C Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster
- Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming
- Automated Detection of Persistent Kernel Control-Flow Attacks
- Cross-tier, Label-based Security Enforcement for Web Applications
- Verified Enforcement of Stateful Information Release Policies Nikhil Swamy Michael Hicks
- Understanding Source Code Evolution Using Abstract Syntax Tree Matching
- Improving Software Quality with Static Analysis Jeffrey S. Foster Michael W. Hicks William Pugh
- Cyclone: A Type-Safe Dialect of C Dan Grossman Michael Hicks Trevor Jim Greg Morrisett
- Transparent Proxies for Java Futures Polyvios Pratikakis
- Path Projection for User-Centered Static Analysis Tools Khoo Yit Phang Jeffrey S. Foster Michael Hicks Vibha Sazawal
- Locksmith: Practical Static Race Detection for C Polyvios Pratikakis
- Types and Intermediate Representations Michael Hicks
- Scalable Resource Control in Active Networks K. G. Anagnostakis, M. W. Hicks, S. Ioannidis, A. D. Keromytis, J. M. Smith
- Toward On-line Schema Evolution for Non-stop Amol Deshpande and Michael Hicks
- Lightweight Monadic Programming in ML Nikhil Swamy
- Specifying and Verifying the Correctness of Dynamic Software Updates
- VERIFIED ENFORCEMENT OF SECURITY POLICIES FOR CROSS-DOMAIN INFORMATION FLOWS
- A Secure PLAN Michael Hicks, Member, IEEE, Angelos D. Keromytis, Member, IEEE, Jonathan M. Smith, Fellow, IEEE
- A Calculus for Dynamic Loading Michael Hicks
- Directing JavaScript with Arrows Khoo Yit Phang Michael Hicks Jeffrey S. Foster Vibha Sazawal
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Evaluating Dynamic Software Update Safety
- A demo of Coco: a compiler for monadic coercions in ML Nataliya Guts Michael Hicks Nikhil Swamy Daan Leijen
- MultiOtter: Multiprocess Symbolic Execution University of Maryland Department of Computer Science Technical Report CS-TR-4982
- Dynamic Enforcement of Knowledge-based Security Policies Piotr Mardziel, Stephen Magill, Michael Hicks
- The Network Stack Trace: Performance diagnosis for networked systems
- Kitsune: Efficient, General-purpose Dynamic Software Updating for C
- POPL'12 Program Chair's Report (or, how to run a medium-sized conference)
- Knowledge-Oriented Secure Multiparty Computation Piotr Mardziel, Michael Hicks,
- A Study of Dynamic Software Update Quiescence for Multithreaded Programs
- Towards Standardized Benchmarks for Dynamic Software Updating Systems
