Jeff Foster Associate Professor Department of Computer Science University of Maryland, College Park Email: jfoster at cs.umd.edu Office: 4129 A.V. Williams Phone: (301) 405-2751 (Please read this before e-mailing me)

I am an Associate Professor in the Computer Science Department and UMIACS at the University of Maryland, College Park. I am a member of the programming languages group at Maryland. The goal of my research is to develop practical tools and techniques to improve software quality. I am interested in programming languages, software engineering, advanced static type systems, scalable constraint-based analysis, and building tools that implement my ideas.

In Spring 2011, I am teaching CMSC 330.

Recent Publications and Drafts

Current Students/Post Docs

• Martin Ma
• Khoo Yit Phang
• Chris Hayden
• Elnatan Reisner
• Mark Daly

Past Undergraduate, Graudate Students, Post Docs:

• David An (Masters) - Dynamic Inference of Static Types for Ruby - Epic Systems
• Avik Chaudhuri (postdoc) - Advanced Technology Labs, Adobe Systems
• Saurabh Srivastava (PhD) - Satisfiability-Based Program Reasoning and Synthesis - Postdoc at UC Berkeley
• Mike Furr (PhD) - Combining Static and Dynamic Typing in Ruby - Amazon
• Evan Chang (postdoc) - University of Colorado, Boulder
• Polyvios Pratikakis (PhD) - Sound, Precise and Efficient Static Race Detection for Multi-threaded Programs - Postdoc, Institute of Computer Science F.O.R.T.H.
• Jeff Meister (Undergrad) - PhD student at UCSD
• Nicholas Kuilema (Masters)
• David Greenfieldboyce (Masters)

Professional Activities

• PLDI 2012 External Review Committee
• POPL 2012 External Review Committee
• PASTE 2011 Co-chair
• PLDI 2011 External Review Committee
• STOP 2011 Program Comittee
• POPL 2011 Program Committee
• DLS 2010 Program Committee
• PLATEAU 2009 Program Committee
• STOP 2009 Program Committee
• PLDI 2009 External Review Committee
• TLDI 2009 Program Committee
• Summer School on Logic and Theorem Proving in Programming Languages, July 2008, Steering Committee
• IWACO 2008 Program Committee
• MSR India Summer School on Programming Languages, Analysis and Verification, June 2008, Lecturer
• CCS 2008 Program Committee
• ECOOP 2008 Program Committee
• Summer School on Language-Based Techniques for Integrating with the External World, July 2007, Co-organizer
• PLAS 2007 Program Committee
• POPL 2007, POPL 2008, POPL 2009 Treasurer
• Summer School on Language-Based Techniques for Concurrent and Distributed Software, July 2006 Co-organizer
• PLDI 2006 Tutorials Chair
• Summer School on Fault Tolerance and Reliable Computing Lecturer, July 2005
• PLDI 2004 Program Committee
• Summer School on Software Security Lecturer, June 2004

Software

• DRuby - Adding static typing to Ruby
• VS3 - Verification and Synthesis using SMT Solvers
• Arrowlets - Directing JavaScript with arrows
• Path Projection - Visualizing program paths for user-centered static analysis
• Uno - Inferring aliasing and encapsulation for Java
• JQual - Type qualifier inference for Java
• CMod - Enforcing modular programming in C
• Pistachio - A rule-based static analysis tool for network protocol implementations
• Locksmith - A static analysis tool for detecting data races in C programs
• Saffire - Static Analysis of Foreign Function Interfaces
• CQual - A tool for adding type qualifiers to C.

Other

I am always looking for new students interested in working with me on research projects in programming languages as applied to software engineering problems. If you are interested in finding out more about recent work in programming languages, please get in touch!