All works on this page are copyrighted. Permission to make digital or hard copies of all or part of these works for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that all copies bear this notice and the full citation on the first page. For some of these works, such license may be prohibited by the copyright owners. To copy otherwise, to republish, to post on servers or to redistribute, requires specific written permission and a fee.
Some of this work was supported by the National Science Foundation; any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.
|
[1]
|
Improving Software Quality with Static Analysis.
Jeffrey S. Foster, Michael W. Hicks, and William Pugh.
In Proceedings of the ACM Workshop on Program Analysis for
Software Tools and Engineering (PASTE), June 2007.
To appear.
|
|
[2]
|
Defeating Scripting Attacks with Browser-Enforced Embedded Policies.
Trevor Jim, Nikhil Swamy, and Michael Hicks.
In Proceedings of the International World Wide Web Conference
(WWW), May 2007.
|
|
[3]
|
Modular Information Hiding and Type Safety for C.
Saurabh Srivastava, Michael Hicks, and Jeffrey S. Foster.
In Proceedings of the ACM Workshop on Types in Language Design
and Implementation (TLDI), January 2007.
|
|
[4]
|
Dynamic Rebinding for Marshalling and Update, via Redex-time and
Destruct-time Reduction.
Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin Bierman, and Keith
Wansbrough, 2007.
Accepted to Journal of Functional Programming pending minor revision.
Supercedes ICFP 2003 paper.
|
|
[1]
|
Safe Manual Memory Management in Cyclone.
Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, and Trevor
Jim.
Science of Computer Programming (SCP), 62(2):122-144, October
2006.
Special issue on memory management. Expands ISMM conference paper of
the same name.
|
|
[2]
|
Existential Label Flow Inference via CFL Reachability.
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks.
In Kwangkeun Yi, editor, Proceedings of the Static Analysis
Symposium (SAS), volume 4134 of Lecture Notes in Computer Science,
pages 88-106. Springer-Verlag, August 2006.
|
|
[3]
|
Managing Policy Updates in Security-Typed Languages.
Nikhil Swamy, Michael Hicks, Stephen Tse, and Steve Zdancewic.
In Proceedings of the Computer Security Foundations Workshop
(CSFW), pages 202-216, July 2006.
|
|
[4]
|
Trusted Declassification.
Boniface Hicks, Dave King, Patrick McDaniel, and Michael Hicks.
In Proceedings of the ACM SIGPLAN Workshop on Programming
Languages and Analysis for Security (PLAS), pages 65-74, June 2006.
|
|
[5]
|
Inferring Locking for Atomic Sections.
Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis.
In Informal Proceedings of the ACM SIGPLAN Workshop on
Languages, Compilers, and Hardware Support for Transactional Computing
(TRANSACT), June 2006.
|
|
[6]
|
Context-sensitive Correlation Analysis for Detecting Races.
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks.
In Proceedings of the ACM Conference on Programming Language
Design and Implementation (PLDI), pages 320-331, June 2006.
|
|
[7]
|
Practical Dynamic Software Updating for C.
Iulian Neamtiu, Michael Hicks, Gareth Stoyle, and Manuel Oriol.
In Proceedings of the ACM Conference on Programming Language
Design and Implementation (PLDI), pages 72-83, June 2006.
|
|
[8]
|
Mutatis Mutandis: Safe and Flexible Dynamic Software Updating (full
version).
Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian
Neamtiu.
ACM Transactions on Programming Languages and Systems
(TOPLAS), 2006.
Full version of POPL 05 paper. To appear.
|
|
[1]
|
Managing Policy Updates in Security-Typed Languages (Extended version).
Nikhil Swamy, Michael Hicks, Stephen Tse, and Steve Zdancewic.
Technical Report CS-TR-4793, Department of Computer Science,
University of Maryland, August 2006.
Extends CSFW version to include full proofs and additional discussion
about metapolicies.
|
|
[2]
|
Defining and Enforcing C's Module System.
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, and Bhargav
Kanagal.
Technical Report CS-4816, Department of Computer Science, University
of Maryland, July 2006.
|
|
[3]
|
Trusted Declassification (Extended version).
Boniface Hicks, Dave King, Patrick McDaniel, and Michael Hicks.
Technical Report NAS-TR-033-2006, Department of Computer Science and
Engineering, the Pennsylvania State University, June 2006.
Extended version of the PLAS paper of the same name.
|
|
[4]
|
Context-sensitive Correlation Analysis for Detecting Races (Extended
version).
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks.
Technical Report CS-TR-4789, Department of Computer Science,
University of Maryland, June 2006.
Extends PLDI 2006 paper with full formal development.
|
|
[5]
|
Practical Dynamic Software Updating for C (Extended version).
Iulian Neamtiu, Michael Hicks, Gareth Stoyle, and Manuel Oriol.
Technical Report CS-TR-4790, Department of Computer Science,
University of Maryland, March 2006.
Extended version of PLDI 06 paper.
|
|
[1]
|
Dynamic Inference of Polymorphic Lock Types.
James Rose, Nikhil Swamy, and Michael Hicks.
Science of Computer Programming (SCP), 58(3), December 2005.
Special Issue on Concurrency and Synchronization in Java programs.
Supercedes 2004 CSJP paper of the same name.
|
|
[2]
|
Dynamic Software Updating.
Michael Hicks and Scott M. Nettles.
ACM Transactions on Programming Languages and Systems
(TOPLAS), 27(6), November 2005.
|
|
[3]
|
Toward On-line Schema Evolution for Non-stop Systems.
Amol Despande and Michael Hicks.
Presented at the 11th High Performance Transaction Systems Workshop,
September 2005.
|
|
[4]
|
Dynamic Updating of Information-Flow Policies.
Michael Hicks, Stephen Tse, Boniface Hicks, and Steve Zdancewic.
In Proceedings of the International Workshop on Foundations of
Computer Security (FCS), pages 7-18, June 2005.
|
|
[5]
|
Understanding Source Code Evolution Using Abstract Syntax Tree Matching.
Iulian Neamtiu, Jeffrey S. Foster, and Michael Hicks.
In Proceedings of the International Workshop on Mining Software
Repositories (MSR), May 2005.
|
|
[6]
|
Tagged Sets: a Secure and Transparent Coordination Medium.
Manuel Oriol and Michael Hicks.
In Jean-Marie Jacquet and Gian Pietro Picco, editors,
Proceedings of the International Conference on Coordination Models and
Languages (COORDINATION), volume 3454 of Lecture Notes in Computer
Science, pages 252-267. Springer-Verlag, April 2005.
|
|
[7]
|
Merging Network Measurement with Data Transport (Extended Abstract).
Pavlos Papageorgiou and Michael Hicks.
In Proceedings of the IEEE Passive/Active Measurement Workshop
(PAM), pages 368-371, March 2005.
|
|
[8]
|
Cyclone: a Type-safe Dialect of C.
Dan Grossman, Michael Hicks, Trevor Jim, and Greg Morrisett.
C/C++ Users Journal, 23(1), January 2005.
|
|
[9]
|
Mutatis Mutandis: Safe and Flexible Dynamic Software Updating.
Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian
Neamtiu.
In Proceedings of the ACM Conference on Principles of
Programming Languages (POPL), pages 183-194, January 2005.
|
|
[1]
|
Transparent Proxies for Java Futures.
Polyvios Pratikakis, Jaime Spacco, and Michael Hicks.
In Proceedings of the ACM Conference on Object-Oriented
Programming Languages, Systems, and Appilcations (OOPSLA), pages 206-223,
October 2004.
|
|
[2]
|
Experience with Safe Manual Memory Management in Cyclone.
Michael Hicks, Greg Morrisett, Dan Grossman, and Trevor Jim.
In Proceedings of the ACM International Symposium on Memory
Management (ISMM), pages 73-84, October 2004.
An abstract of this paper appeared in SPACE `04,
http://www.diku.dk/topps/space2004/space_final/hicks-grossman-jim.pdf.
|
|
[3]
|
Dynamic Inference of Polymorphic Lock Types.
James Rose, Nikhil Swamy, and Michael Hicks.
In Proceedings of the ACM Conference on Principles of
Distributed Computing (PODC) Workshop on Concurrency and Synchronization in
Java Programs (CSJP), July 2004.
|
|
[1]
|
A Secure PLAN.
Michael Hicks, Angelos D. Keromytis, and Jonathan M. Smith.
IEEE Transactions on Systems, Man, and Cybernetics, Part C,
33(3), August 2003.
Special Issue on Technologies Promoting Computational Intelligence,
Openness and Programmability in Networks and Internet Services, Part I.
|
|
[2]
|
Dynamic Rebinding for Marshalling and Update with Destruct-time
lambda.
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, and Keith
Wansbrough.
In Proceedings of the ACM International Conference on
Functional Programming (ICFP), pages 99-110, August 2003.
|
|
[3]
|
User-Specified Adaptive Scheduling in a Streaming Media Network.
Michael Hicks, Adithya Nagarajan, and Robbert van Renesse.
In Proceedings of the IEEE Conference on Open Architectures
(OPENARCH), pages 87-96, April 2003.
|
|
[4]
|
Formalizing Dynamic Software Updating.
Gavin Bierman, Michael Hicks, Peter Sewell, and Gareth Stoyle.
In Proceedings of the Second International Workshop on
Unanticipated Software Evolution (USE), April 2003.
|
|
[1]
|
Evolution in Action: Using Active Networking to Evolve Network Support for
Mobility.
Seo-Kyu Song, Stephen Shannon, Michael Hicks, and Scott Nettles.
In James Sterbenz, Osamu Takada, Christian Tschudin, and Bernhard
Plattner, editors, Proceedings of the Fourth International Working
Conference on Active Networks (IWAN), volume 2546 of Lecture Notes in
Computer Science, pages 146-161. Springer-Verlag, December 2002.
|
|
[2]
|
Region-based Memory Management in Cyclone.
Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling
Wang, and James Cheney.
In Proceedings of the ACM Conference on Programming Language
Design and Implementation (PLDI), pages 282-293. ACM, June 2002.
|
|
[3]
|
Cyclone: A Safe Dialect of C.
Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James
Cheney, and Yanling Wang.
In Proceedings of the USENIX Annual Technical Conference,
pages 275-288. USENIX, June 2002.
|
|
[4]
|
Experiences with Capsule-based Active Networking.
Michael Hicks, Jonathan T. Moore, David Wetherall, and Scott Nettles.
In Proceedings of the DARPA Active Networks Conference and
Exposition (DANCE), pages 16-24. IEEE, May 2002.
|
|
[1]
|
Compiling PLAN to SNAP.
Michael Hicks, Jonathan T. Moore, and Scott Nettles.
In Ian W. Marshall, Scott Nettles, and Naoki Wakamiya, editors,
Proceedings of the Third International Working Conference on Active Networks
(IWAN), volume 2207 of Lecture Notes in Computer Science, pages
134-151. Springer-Verlag, October 2001.
|
|
[2]
|
Dynamic Software Updating.
Michael Hicks.
PhD thesis, Department of Computer and Information Science,
University of Pennsylvania, August 2001.
Winner of the 2002 ACM SIGPLAN Doctoral Dissertation award.
|
|
[3]
|
Dynamic Software Updating.
Michael Hicks, Jonathan T. Moore, and Scott Nettles.
In Proceedings of the ACM Conference on Programming Language
Design and Implementation (PLDI), pages 13-23. ACM, June 2001.
|
|
[4]
|
Practical Programmable Packets.
Jonathan T. Moore, Michael Hicks, and Scott Nettles.
In Proceedings of the Twentieth IEEE Computer and
Communication Society INFOCOM Conference, pages 41-50. IEEE, April
2001.
|
|
[1]
|
Active Networking means Evolution (or Enhanced Extensibility Required).
Michael Hicks and Scott Nettles.
In Hiroshi Yashuda, editor, Proceedings of the Second
International Working Conference on Active Networks (IWAN), volume 1942 of
Lecture Notes in Computer Science, pages 16-32. Springer-Verlag,
October 2000.
|
|
[2]
|
Scalable Resource Control in Active Networks.
Kostas G. Anagnostakis, Michael W. Hicks, Sotiris Ioannidis,
Angelos D. Keromytis, and Jonathan M. Smith.
In Hiroshi Yashuda, editor, Proceedings of the Second
International Working Conference on Active Networks (IWAN), volume 1942 of
Lecture Notes in Computer Science, pages 343-358. Springer-Verlag,
October 2000.
|
|
[3]
|
Safe and Flexible Dynamic Linking of Native Code.
Michael Hicks, Stephanie Weirich, and Karl Crary.
In Robert Harper, editor, Proceedings of the ACM SIGPLAN
Workshop on Types in Compilation (TIC), volume 2071 of Lecture Notes in
Computer Science. Springer-Verlag, September 2000.
|
|
[4]
|
Specifying the PLAN Network Programming Language.
Pankaj Kakkar, Michael Hicks, Jonathan T. Moore, and Carl A. Gunter.
In Higher Order Operational Techniques in Semantics (HOOTS),
volume 26 of Electronic Notes in Theoretical Computer Science.
Elsevier, September 2000.
|
|
[1]
|
Chunks in PLAN: Language Support for Programs as Packets.
Jonathan T. Moore, Michael Hicks, and Scott M. Nettles.
In Proceedings of the 37th Annual Allerton Conference on
Communication, Control, and Computing, September 1999.
|
|
[2]
|
A Secure PLAN.
Michael Hicks and Angelos D. Keromytis.
In Stefan Covaci, editor, Proceedings of the First International
Working Conference on Active Networks (IWAN), volume 1653 of Lecture
Notes in Computer Science, pages 307-314. Springer-Verlag, June 1999.
Reprinted with extensions in DARPA Active Networks Conference and
Exposition (DANCE) and IEEE Transactions on Systems, Man, and Cybernetics,
Part C.
|
|
[3]
|
Transparent Communication for Distributed Objects in Java.
Michael Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore,
and Cristian Ungureanu.
In Proceedings of the ACM SIGPLAN Java Grande Conference,
pages 160-170. ACM, June 1999.
|
|
[4]
|
PLANet: An Active Internetwork.
Michael Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter,
and Scott Nettles.
In Proceedings of the Eighteenth IEEE Computer and
Communication Society INFOCOM Conference, pages 1124-1133. IEEE, March
1999.
|
|
[1]
|
A Study of Large Object Spaces.
Michael Hicks, Luke Hornof, Jonathan T. Moore, and Scott Nettles.
In Proceedings of the ACM International Symposium on Memory
Management (ISMM), pages 138-145. ACM, October 1998.
|
|
[2]
|
PLAN: A Packet Language for Active Networks.
Michael Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, and
Scott Nettles.
In Proceedings of the Third ACM SIGPLAN International
Conference on Functional Programming Languages (ICFP), pages 86-93. ACM,
September 1998.
|
|
[3]
|
The SwitchWare Active Network Implementation.
D. Scott Alexander, Michael W. Hicks, Pankaj Kakkar, Angelos D.
Keromytis, Marianne Shaw, Jonathan T. Moore, Carl A. Gunter, Trevor Jim,
Scott M. Nettles, and Jonathan M. Smith.
In Notes of the ACM SIGPLAN Workshop on ML, pages 67-76,
September 1998.
|
|
[4]
|
Network Programming Using PLAN.
Michael Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, and
Scott Nettles.
In Luca Cardelli, editor, Proceedings of the IEEE Workshop on
Internet Programming Languages, volume 1686 of Lecture Notes in
Computer Science, pages 127-143. Springer-Verlag, May 1998.
|
|
[5]
|
The SwitchWare Active Network Architecture.
D. Scott Alexander, William A. Arbaugh, Michael Hicks, Pankaj Kakkar,
Angelos Keromytis, Jonathan T. Moore, Carl A. Gunter, Scott M. Nettles, and
Jonathan M. Smith.
IEEE Network Magazine, 12(3):29-36, 1998.
Special issue on Active and Controllable Networks.
|