Colin Stebbins Gordon
Original record- Institution
- University of Washington
- Year
- 2014
- Country
- United States
- MGP identifier
- 189244
Dissertation: Verifying Concurrent Programs by Controlling Alias Interference
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Daniel GrossmanCornell University · 2003
- Michael Dean ErnstUniversity of Washington · 2000
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Ismail Kuru | Drexel University | 2025 | 0 |
| Sergey Matskevich | Drexel University | 2024 | 0 |