Michael J. Emmi

Michael (Mike) is currently a graduate student in the Department of Computer Science at the University of California, Los Angeles under Dr. Rupak Majumdar. Mike's research interests lie in programming languages, software verification, logic, and automata theory. He has been a teaching assistant for an undergraduate automata theory course for several quarters, and has held internships at Microsoft Research, NASA Ames Research Center, and IBM. Mike can be contacted by electronic mail at the obvious address, based on the current web address.

Research Work*

  1. Verifying Reference Counted Objects
  2. Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers
  3. Assume Guarantee Verification for Interface Automata
  4. Assembling an Expressive Facial Animation System
  5. Dynamic Test Input Generation for Database Applications
  6. Lock Allocation
  7. Verifying Compensating Transactions
  8. Decision Problems for the Verification of Real-Time Software