Untitled Document

Students

Ali Ibrahim: Safe query objects & dynamic prefetching optimization
Ben Wiedermann: Extracting relational queries via control/data flow analysis
Srinivas Nedunuri: Synthesis for model-based software development
Ben Delaware: Feature-Oriented Programming
John Thywissen
with Javadev Misra
- David Kitchin: Computation orchestration, agents, workflow semantics
- Amin Shali
Doctoral committees and other students
- Scott Kirkpatrick
- Katherine Coons
  - Advised by Katherine McKinley
- Byeongcheol Lee
  - Advised by Katherine McKinley
- Sol Swords
  - Supervised by J Moore
- Benjamin Hardekopf
  - Supervised by Calvin Lin
- Hanbing Liu: Formal Specification and Verification of a JVM and its bytecode verifier
  - Supervised by J Moore
- Mark Grechanik: Design, Analysis, and Verification of Large-Scale Polylingual Systems
  - Supervised by Don Batory and Dewayne E. Perry
- Roberto E. Lopez-Herrejon: Understanding Feature Modularity
  - Supervised by Don Batory
- Rui Mao: A Metric-Space Database Storage Manager and Its Applications in Bioinformatics
  - Supervised by Daniel Miranker