Contact Info

Mike Furr
AV Williams Bldg 115
College Park, MD 20742

email: <my-last-name> AT cs.umd.edu

GPG: 5B9F 587F BC5C D823 50CE 4DB0 ED93 CA29 124B 26F3

Research

I am currently a PhD student working with Jeff Foster. My primary research interest is in programming languages. Recently, I have been studying how to use type systems to find bugs in software projects which make use of multiple languages, specifically through a foreign function interface.

Software

Saffire is a static analysis tool that detects bugs in programs which use the OCaml/C FFI.

J-Saffire-0.1 [sig] tool to similarly analyze the Java Native Interface (JNI).

Publications

Polymorphic Type Inference for the JNI
Michael Furr and Jeffrey S. Foster
European Symposium on Programming (ESOP'06). Vienna, Austria. March 2006.
[ abstract | bibtex | pdf ]

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

Technical Reports

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

Polymorphic Type Inference for the JNI
Michael Furr and Jeffrey S. Foster
Computer Science Department Tech Report CS-TR-4759. University of Maryland, College Park. November 2005.
[ abstract | bibtex | 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 | bibtex | pdf ]