Michael Ernst's students

I am very fortunate to have a group of extraordinarily talented colleagues — both students and otherwise. Current and former members of the MIT Program Analysis Group are listed below.

I am always seeking bright, motivated students (at the undergraduate, master's, or PhD level), postdocs, and staff to contribute to a variety of program understanding and analysis research projects. Students looking for research projects (from UROPs to dissertations) should see my list of projects (available from the mit.edu domain) and research interests for a flavor (not an exhaustive list) of potential topics.

Students

Ph.D. students:

• Shay Artzi
• Adam Kiezun
• Carlos Pacheco
• David Saff (on leave)

M.Eng. students:

• Mahmood Ali (on leave)
• John Marrero
• Robert Rudd

UROP students (undergraduates):

• Telmo Correa
• David Harvison

Staff

• Danny Dig (postdoc)
• Jeff Perkins (project manager)
• Maria Rebelo (admin support)

Graduated alumni

• Laura Dean
  M.Eng. thesis (2001): “Improved Simulation of Input/Output Automata”
• Michael Harder
  M.Eng. thesis (2002): “Improving Test Suites via Generated Specifications”
• Jeremy Nimmer
  M.Eng. thesis (2002): “Automatic Generation and Checking of Program Specifications”
  This thesis won the Charles and Jennifer Johnson Thesis Award.
• Alex Rolfe
  M.Eng. thesis (2002): “Code Versioning in a Workflow Management System”
• Ben Morse
  M.Eng. thesis (2002): “A C/C++ Front End for the Daikon Dynamic Invariant Detection System”
• Nii Dodoo
  M.Eng. thesis (2002): “Selecting Predicates for Conditional Invariant Detection Using Cluster Analysis”
• Adrian Birka
  M.Eng. thesis (2003): “Compiler-Enforced Immutability for the Java Language”
• Toh Ne Win
  M.Eng. thesis (2003): “Theorem-Proving Distributed Algorithms with Dynamic Analysis”
  This thesis won the Charles and Jennifer Johnson Thesis Award.
• Yuriy Brun
  M.Eng. thesis (2003): “Software Fault Identification via Dynamic Analysis and Machine Learning”
• Lee Lin
  M.Eng. thesis (2004): “Improving Adaptability via Program Steering”
• Alan Donovan
  S.M. thesis (2004): “Converting Java Programs to Use Generic Libraries”
• Jonathan Grall
  Advanced Undergraduate Project (2004): “Robocraft Programming Competition Engine”
• Aaron Iba
  Advanced Undergraduate Project (2004): “Robocraft Programming Competition Engine”
• Amy Williams
  S.M. thesis (2005): “Static Detection of Deadlock for Java Libraries”
• Michael Gebauer
  Advanced Undergraduate Project (2006): “Extending the Personal Response System”
• Philip Guo
  M.Eng. thesis (2006): “A Scalable Mixed-Level Approach to Dynamic Analysis of C and C++ Programs”
  This thesis won the Charles and Jennifer Johnson Thesis Award.
• Matthew Tschantz
  M.Eng. thesis (2006): “Javari: Adding Reference Immutability to Java”
  This research won the Anna Pogosyants undergraduate research prize.
  This thesis also won the Charles and Jennifer Johnson Thesis Award.
• Chen Xiao
  M.Eng. thesis (2007): “Performance Enhancements for a Dynamic Invariant Detector”
• David Glasser
  M.Eng. thesis (2007): “Test Factoring with \texttt{amock}: Generating Readable Unit Tests from System Tests”
• Matt Papi
  M.Eng. thesis (2008): "Practical Pluggable Types for Java"
  This thesis won the Charles and Jennifer Johnson Thesis Award.
• Jaime Quinonez
  M.Eng. thesis (2008): "Inference of Reference Immutability in Java"
• Stephen McCamant
  Ph.D. dissertation (2008): “Quantitative information-flow tracking for real systems”

Former staff

• Steve Garland
• Sandra Loosemore (now at CodeSourcery)
• Yoav Zibin (now at Come2Play)
• Sung Kim (now at Hong Kong University of Science & Technology)

Back to Michael Ernst's research page.