Browsing by Academic Advisor Appel, Andrew W.
Showing results 1 to 2 of 2
| Class Year | Author(s) | Title | Advisor |
|---|---|---|---|
| 1997 | Mattal, Paul | Automating Memory Management for Standard C | Appel, Andrew W. |
| 2023 | Wang, Qinshi | Foundationally Verified Data Plane Programming | Appel, Andrew W. |