Publications

Static Type Inference for Ruby
Michael Furr, Jonh-hoon (David) An, Jeffrey S. Foster, and Michael Hicks
Object-Oriented Programming Languages and Systems Track at ACM Symposium on Applied Computing (SAC). March, 2009.
[ abstract | pdf ]

Path Projection for User-Centered Static Analysis Tools
Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, and Vibha Sazawal
Program Analysis for Software Tools and Engineering (PASTE). Atlanta, Georgia, USA. November, 2008.
[ abstract | pdf ]

Formalizing Soundness of Contextual Effects
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, and Iulian Neamtiu
21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs). Montreal, Canada, August 2008. To appear.
[ abstract | pdf ]

Modular Information Hiding and Type-Safe Linking for C
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, and Patrick Jenkins
IEEE Transactions on Software Engineering (TSE), 34(3):357-376, May/June 2008. (Preprint)
[ abstract | pdf ]

Adapting Scrum to Managing a Research Group
Michael Hicks and Jeffrey S. Foster
Unpublished manuscript, June 2008.
[ abstract | pdf ]

Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis
In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 37-49. San Francisco, CA, USA. January 2008.
[ abstract | pdf ]

Inferring Aliasing and Encapsulation Properties for Java
Kin-Keung Ma and Jeffrey S. Foster
In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 423-440. Montreal, Canada. October 2007.
[ abstract | pdf ]

Type Qualifier Inference for Java
David Greenfieldboyce and Jeffrey S. Foster
In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 321-336. Montreal, Canada. October 2007.
[ abstract | pdf ]

Checking Type Safety of Foreign Function Calls
Michael Furr and Jeffrey S. Foster
ACM Transactions on Programming Languages and Systems (TOPLAS), 30(4), Article 18, July 2008. (Preprint)
[ abstract | pdf ]

Rule-Based Static Analysis of Network Protocol Implementations
Octavian Udrea, Cristian Lumezanu, and Jeffrey S. Foster
Information and Computation, Special Issue on Computer Security: Foundations and Automated Reasoning (FCS-ARSPA'06). 2006(2-4):130-157, February-April 2008. (Preprint)
[ abstract | pdf ]

Improving Software Quality with Static Analysis
Jeffrey S. Foster, Michael W. Hicks, and William Pugh
Research group presentation at Program Analysis for Software Tools and Engineering (PASTE), pages 83-84. San Diego, California, USA, June 2007.
[ abstract | pdf ]

Modular Information Hiding and Type-Safe Linking for C
Saurabh Srivastava, Michael Hicks, and Jeffrey S. Foster
In ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI), pages 3-14. Nice, France, January 2007.
[ abstract | pdf ]

Flow-Insensitive Type Qualifiers
Jeffrey S. Foster, Robert Johnson, John Kodumal, and Alex Aiken
ACM Transactions on Programming Languages and Systems (TOPLAS). 28(6):1035-1087, November 2006. (Preprint)
[ abstract | pdf ]

Existential Label Flow Inference via CFL Reachability
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks
In Static Analysis Symposium (SAS), pages 88-106. Seoul, Korea. August 2006.
[ abstract | pdf ]

Rule-Based Static Analysis of Network Protocol Implementations
Octavian Udrea, Cristian Lumezanu, and Jeffrey S. Foster
In 15th USENIX Security Symposium, pages 193-208. Vancouver, B.C., Canada. August 2006.
[ abstract | pdf ]

Lock Inference for Atomic Sections
Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis
In First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT). Ottawa, Canada. June 2006.
[ abstract | pdf ]

Locksmith: Context-Sensitive Correlation Analysis for Race Detection
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks
In Programming Language Design and Implementation (PLDI), pages 320-331. Ottawa, Canada. June 2006.
[ abstract | pdf ]

Polymorphic Type Inference for the JNI
Michael Furr and Jeffrey S. Foster
In European Symposium on Programming (ESOP), pages 309-324. Vienna, Austria. March 2006.
[ abstract | pdf ]

Checking Type Safety of Foreign Function Calls
Michael Furr and Jeffrey S. Foster
Programming Language Design and Implementation (PLDI), pages 62-72. Chicago, Illinois. June 2005.
[ abstract | pdf ]

Understanding Source Code Evolution Using Abstract Syntax Tree Matching
Iulian Neamtiu and Jeffrey S. Foster and Michael Hicks
The International Workshop on Mining Software Repositories (MSR). Saint Louis, Missoui, USA. May 2005, pages 1-5.
[ abstract | pdf ]

A Comparison of Bug Finding Tools for Java
Nick Rutar, Christian B. Almazan, and Jeffrey S. Foster
The 15th IEEE International Symposium on Software Reliability Engineering (ISSRE), pages 245-256. Saint-Malo, Bretagne, France. November 2004.
[ abstract | pdf ]

Visualizing Type Qualifier Inference with Eclipse
David Greenfieldboyce and Jeffrey S. Foster
Workshop on Eclipse Technology eXchange, pages 57-61. Vancouver, British Columbia, Canada. October 2004.
[ abstract | pdf ]

Checking and Inferring Local Non-Aliasing
Alex Aiken, Jeffrey S. Foster, John Kodumal, and Tachio Terauchi
Programming Language Design and Implementation (PLDI), pages 129-140. San Diego, California. June 2003.
[ abstract | pdf | ps.gz ]

Type Qualifiers: Lightweight Specifications to Improve Software Quality
Jeffrey Scott Foster
Ph.D. thesis. University of California, Berkeley. December 2002.
[ abstract | pdf | ps.gz ]

Flow-Sensitive Type Qualifiers
Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken
Programming Language Design and Implementation (PLDI'02), pages 1-12. Berlin, Germany. June 2002.
[ abstract | pdf | ps.gz ]

Detecting Format-String Vulnerabilities with Type Qualifiers
Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, and David Wagner
10th USENIX Security Symposium, pages 201-218. Washington, D.C., August 2001.
[ abstract | pdf | ps.gz ]

Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C
Jeffrey S. Foster, Manuel Fahndrich, and Alexander Aiken
Static Analysis Symposium (SAS), pages 175-198. Santa Barbara, California. June 2000.
[ abstract | pdf | ps.gz ]

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities
David Wagner, Jeffrey S. Foster, Eric A. Brewer, and Alexander Aiken
Networking and Distributed System Security Symposium (NDSS). San Diego, California. February 2000.
[ abstract | pdf | ps.gz ]

A Theory of Type Qualifiers
Jeffrey S. Foster, Manuel Fahndrich, and Alexander Aiken
Programming Language Design and Implementation (PLDI), pages 192-203. Atlanta, Georgia. May 1999.
[ abstract | pdf | ps.gz ]

A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Alexander Aiken, Manuel Fahndrich, Jeffrey S. Foster, and Zhendong Su
Second International Workshop on Types in Compilation (TIC), pages 78-96. Kyoto, Japan. March 1998.
[ abstract | pdf | ps.gz ]

Partial Online Cycle Elimination in Inclusion Constraint Graphs
Manuel Fahndrich, Jeffrey S. Foster, Zhendong Su, and Alexander Aiken
Programming Language Design and Implementation (PLDI), pages 85-96. Montreal, Canada. June 1998.
[ abstract | pdf | ps.gz ]

CLP(SC): Implementation and Efficiency Considerations
Jeffrey S. Foster
Workshop on Set Constraints, Cambridge MA, August 1996. (Also Computer Science Department Tech Report TR96-1590. Cornell University. June 1996.)
[ abstract | pdf | ps.gz ]

Technical Reports

Directing JavaScript with Arrows (Functional Pearl)
Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, and Vibha Sazawal
Computer Science Department Technical Report CS-TR-4923. University of Maryland, College Park. August, 2008.
[ abstract | pdf ]

Path Projection for User-Centered Static Analysis Tools
Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, and Vibha Sazawal
Computer Science Department Technical Report CS-TR-4919. University of Maryland, College Park. August, 2008.
[ abstract | pdf ]

Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis
Computer Science Division Tech Report CS-TR-4920. University of Maryland, College Park. November, 2007.
[ abstract | pdf ]

Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C
Saurabh Srivastava, Michael Hicks, and Jeffrey S. Foster
Computer Science Division Tech Report CS-TR-4874. University of Maryland, College Park. July, 2007.
[ abstract | pdf ]

Checking Type Safety of Foreign Function Calls
Michael Furr and Jeffrey S. Foster
Computer Science Division Tech Report CS-TR-4845. University of Maryland, College Park.
[ abstract | pdf ]

CMod: Modular Information Hiding and Type-Safe Linking for C
Saurabh Srivastava, Michael Hicks, and Jeffrey S. Foster
Computer Science Division Tech Report CS-TR-4816. University of Maryland, College Park. October 2006.
[ abstract | pdf ]

Locksmith: Context-Sensitive Correlation Analysis for Race Detection
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks
Computer Science Division Tech Report CS-TR-4789, UMIACS Technical Report UMIACS-TR-2006-13. University of Maryland, College Park. June 2006.
[ abstract | pdf ]

Polymorphic Type Inference for the JNI
Michael Furr and Jeffrey S. Foster
Computer Science Division Tech Report CS-TR-4759. University of Maryland, College Park. November 2005.
[ abstract | pdf ]

Existential Label Flow Inference via CFL Reachability
Polyvios Pratikakis, Michael Hicks, and Jeffrey S. Foster
Computer Science Division Tech Report CS-TR-4700. University of Maryland, College Park. July 2005.
[ abstract | pdf ]

Checking Type Safety of Foreign Function Calls
Michael Furr and Jeffrey S. Foster
Computer Science Department Tech Report CS-TR-4627. University of Maryland, College Park. November 2004.
[ abstract | pdf ]

Types for Lexically-Scoped Access Control
Tachio Terauchi, Alex Aiken, and Jeffrey S. Foster
Computer Science Division Tech Report UCB//CSD-03-1282. University of California, Berkeley. October 2003.
[ abstract | pdf | ps.gz ]

Flow-Sensitive Type Qualifiers
Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken
Computer Science Division Tech Report UCB//CSD-01-1162, University of California, Berkeley. November 2001.
[ abstract | pdf | ps.gz ]

Checking Programmer-Specified Non-Aliasing
Jeffrey S. Foster and Alex Aiken
Computer Science Division Tech Report UCB//CSD-01-1160. University of California, Berkeley. October 2001.
[ abstract | pdf | ps.gz ]

Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C
Jeffrey S. Foster, Manuel Fahndrich, and Alexander Aiken
Computer Science Division Tech Report UCB//CSD-00-1097, University of California, Berkeley, April 2000.
[ abstract | pdf | ps.gz ]

Tracking down Exceptions in Standard ML Programs
Manuel Fahndrich, Jeffrey S. Foster, Alexander Aiken, and Jason Cu
Computer Science Division Tech Report UCB//CSD-98-996. University of California, Berkeley. February 1998.
[ abstract | pdf | ps.gz ]

Flow-Insensitive Points-to Analysis with Term and Set Constraints
Jeffrey S. Foster, Manuel Fahndrich, and Alexander Aiken
Computer Science Division Tech Report UCB//CSD-97-964. University of California, Berkeley. August 1997.
[ abstract | pdf | ps.gz ]