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]
|
Evaluating and Tuning a Static Analysis to Find Null Pointer Bugs.
David Hovemeyer, William Pugh, and Jaime Spacco.
In PASTE '05: Proceedings of the ACM-SIGPLAN-SIGSOFT Workshop on
Program Analysis for Software Tools and Engineering, Lisbon, Portugal,
September 2005.
|
|
[2]
|
Toward On-line Schema Evolution for Non-stop Systems.
Amol Despande and Michael Hicks.
In Proceedings of the 11th High Performance Transaction Systems
Workshop, September 2005.
|
|
[3]
|
Dynamic Software Updating.
Michael Hicks and Scott M. Nettles.
ACM Transactions on Programming Languages and Systems
(TOPLAS), September 2005.
To appear.
|
|
[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), June 2005.
|
|
[5]
|
Checking Type Safety of Foreign Function Calls.
Michael Furr and Jeffrey S. Foster.
In Proceedings of the 2005 ACM SIGPLAN Conference on Programming
Language Design and Implementation, pages 62-72, Chicago, Illinois, June
2005.
|
|
[6]
|
Software Repository Mining with Marmoset: An Automated Programming
Project Snapshot and Testing System.
Jaime Spacco, Jaymie Strecker, David Hovemeyer, and William Pugh.
In Proceedings of the Mining Software Repositories Workshop (MSR
2005), St. Louis, Missouri, USA, May 2005.
|
|
[7]
|
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), St. Louis, Missouri, USA, May 2005.
|
|
[8]
|
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.
|
|
[9]
|
Cyclone: a Type-safe Dialect of C.
Dan Grossman, Michael Hicks, Trevor Jim, and Greg Morrisett.
C/C++ Users Journal, 23(1), January 2005.
|
|
[10]
|
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.
|
|
[11]
|
Dynamic Inference of Polymorphic Lock Types.
James Rose, Nikhil Swamy, and Michael Hicks.
Science of Computer Programming, 2005.
Special Issue: selected papers from ACM Conference on Principles of
Distributed Computing (PODC) Workshop on Concurrency and Synchronization in
Java Programs (CSJP), to appear. Supercedes 2004 CSJP paper of the same name.
|
|
[1]
|
Checking Type Safety of Foreign Function Calls.
Michael Furr and Jeffrey S. Foster.
Technical Report CS-TR-4627, University of Maryland, Computer Science
Department, November 2004.
|
|
[2]
|
A Comparison of Bug Finding Tools for Java.
Nick Rutar, Christian B. Almazan, and Jeffrey S. Foster.
In Proceedings of the 15th International Symposium on Software
Reliability Engineering, pages 245-256, Saint-Malo, Bretagne, France,
November 2004.
|
|
[3]
|
An Eclipse-Based Course Project Snapshot and Submission System.
Jaime Spacco, David Hovemeyer, and William Pugh.
In Proceedings of Eclipse Technology eXchange (eTX), Vancouver,
BC, October 2004.
|
|
[4]
|
Finding bugs is easy.
David Hovemeyer and William Pugh.
In Companion to the 19th Annual ACM SIGPLAN Conference on
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA),
pages 132-136, Vancouver, BC, Canada, October 2004.
|
|
[5]
|
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.
|
|
[6]
|
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.
|
|
[7]
|
Visualizing Type Qualifier Inference with Eclipse.
David GreenfieldBoyce and Jeffrey S. Foster.
In Proceedings of the Eclipse Technology eXchange (eTX), pages
57-61, October 2004.
|
|
[8]
|
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]
|
Types for Lexically-Scoped Access Control.
Tachio Terauchi, Alex Aiken, and Jeffrey S. Foster.
Technical Report UCB//CSD-03-1282, University of California,
Berkeley, October 2003.
|
|
[2]
|
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.
|
|
[3]
|
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.
|
|
[4]
|
Safe and Flexible Memory Management in Cyclone.
Michael Hicks, Greg Morrisett, Dan Grossman, and Trevor Jim.
Technical Report CS-TR-4514, University of Maryland Department of
Computer Science, July 2003.
|
|
[5]
|
Checking and Inferring Local Non-Aliasing.
Alex Aiken, Jeffrey S. Foster, John Kodumal, and Tachio Terauchi.
In Proceedings of the 2003 ACM SIGPLAN Conference on Programming
Language Design and Implementation, pages 129-140, San Diego, California,
June 2003.
|
|
[6]
|
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]
|
Type Qualifiers: Lightweight Specifications to Improve Software
Quality.
Jeffrey Scott Foster.
PhD thesis, University of California, Berkeley, 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]
|
Flow-Sensitive Type Qualifiers.
Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken.
In Proceedings of the 2002 ACM SIGPLAN Conference on Programming
Language Design and Implementation, pages 1-12, Berlin, Germany, June 2002.
|
|
[1]
|
Flow-Sensitive Type Qualifiers.
Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken.
Technical Report UCB//CSD-01-1162, University of California,
Berkeley, November 2001.
|
|
[2]
|
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.
|
|
[3]
|
Checking Programmer-Specified Non-Aliasing.
Jeffrey S. Foster and Alex Aiken.
Technical Report UCB//CSD-01-1160, University of California,
Berkeley, October 2001.
|
|
[4]
|
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.
|
|
[5]
|
Detecting Format String Vulnerabilities with Type Qualifiers.
Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, and David Wagner.
In Proceedings of the 10th Usenix Security Symposium,
Washington, D.C., August 2001.
|
|
[6]
|
Dynamic Software Updating.
Michael Hicks, Jonathan T. Moore, and Scott Nettles.
In Proceedings of the ACM SIGPLAN Conference on Programming
Language Design and Implementation (PLDI), pages 13-23. ACM, June 2001.
|
|
[7]
|
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]
|
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.
|
|
[3]
|
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.
|
|
[4]
|
A Calculus for Dynamic Loading.
Michael Hicks and Stephanie Weirich.
Technical Report MS-CIS-00-07, University of Pennsylvania, April
2000.
|
|
[5]
|
Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for
C.
Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken.
Technical Report UCB//CSD-00-1097, University of California,
Berkeley, April 2000.
|
|
[6]
|
A First Step Towards Automated Detection of Buffer Overrun
Vulnerabilities.
David Wagner, Jeffrey S. Foster, Eric A. Brewer, and Alexander Aiken.
In Networking and Distributed System Security Symposium 2000,
San Diego, California, February 2000.
|
|
[7]
|
Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for
C.
Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken.
In Jens Palsberg, editor, Static Analysis, Seventh International
Symposium, volume 1824 of Lecture Notes in Computer Science, pages
175-198, Santa Barbara, California, June/July 2000. Springer-Verlag.
|
|
[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]
|
A Theory of Type Qualifiers.
Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken.
In Proceedings of the 1999 ACM SIGPLAN Conference on Programming
Language Design and Implementation, pages 192-203, Atlanta, Georgia, May
1999.
|
|
[5]
|
Carillon-A System to Find Y2K Problems in C Programs.
Martin Elsman, Jeffrey S. Foster, and Alexander Aiken, 1999.
http://bane.cs.berkeley.edu/carillon.
|
|
[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]
|
Partial Online Cycle Elimination in Inclusion Constraint Graphs.
Manuel Fähndrich, Jefrrey S. Foster, Zhendong Su, and Alexander
Aiken.
In Proceedings of the 1998 ACM SIGPLAN Conference on Programming
Language Design and Implementation, pages 85-96, Montreal, Canada, June
1998.
|
|
[5]
|
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.
|
|
[6]
|
PLAN System Security.
Michael Hicks.
Technical Report MS-CIS-98-25, Department of Computer and Information
Science, University of Pennsylvania, April 1998.
|
|
[7]
|
Types and Intermediate Representations.
Michael Hicks.
Technical Report MS-CIS-98-05, Department of Computer and Information
Science, University of Pennsylvania, April 1998.
|
|
[8]
|
A Toolkit for Constructing Type- and Constraint-Based Program Analyses.
Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, and
Zhendong Su.
In Xavier Leroy and Atsushi Ohori, editors, Proceedings of the
Second International Workshop on Types in Compilation, volume 1473 of
Lecture Notes in Computer Science, pages 78-96, Kyoto, Japan, March 1998.
Springer-Verlag.
|
|
[9]
|
Tracking Down Exceptions in Standard ML.
Manuel Fähndrich, Jeffrey S. Foster, Alexander Aiken, and Jason
Cu.
Technical Report UCB//CSD-98-996, University of California, Berkeley,
February 1998.
|
|
[1]
|
Flow-Insensitive Points-to Analysis with Term and Set Constraints.
Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken.
Technical Report UCB//CSD-97-964, University of California, Berkeley,
August 1997.
|
|
[2]
|
The Measured Cost of Copying Garbage Collection Mechanisms.
Michael W. Hicks, Jonathan T. Moore, and Scott M. Nettles.
In Proceedings of the ACM SIGPLAN Conference on Functional
Programming (ICFP), pages 292-305. ACM, June 1997.
|
|
[3]
|
General-Purpose Persistence Using Flash Memory.
Jonathan T. Moore, Michael Hicks, and Scott Nettles.
Unpublished manuscript, April 1997.
|