Michael Dean Ernst
Original record- Institution
- University of Washington
- Year
- 2000
- Country
- United States
- MGP identifier
- 71839
Dissertation: Dynamically Discovering Likely Program Invariants
Advisor 1
- David Samuel NotkinCarnegie Mellon University · 1984
Students 13
| Name | Institution | Year | Students |
|---|---|---|---|
| Shay Artzi | Massachusetts Institute of Technology | 2009 | 0 |
| Ivan Beschastnikh | University of Washington | 2013 | 1 |
| Werner M. Dietl | Not recorded | — | 0 |
| Colin Stebbins Gordon | University of Washington | 2014 | 2 |
| Martin Kellogg | University of Washington | 2022 | 0 |
| Adam Kiezun | Massachusetts Institute of Technology | 2009 | 0 |
| Stephen McCamant | Massachusetts Institute of Technology | 2008 | 0 |
| Kıvanç Muşlu | University of Washington | 2015 | 0 |
| Carlos Pacheco | Massachusetts Institute of Technology | 2009 | 0 |
| Pavel Panchekha | University of Washington | 2019 | 0 |
| Stuart Pernsteiner | University of Washington | 2018 | 0 |
| Konstantin Weitz | University of Washington | 2017 | 0 |
| Douglas Woos | University of Washington | 2019 | 0 |