Theses most similar to An inlining approach to formal hardware semantics (Choi, Joonwon; 2016) read it
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types
Arkoudas, Kostas (1996)
- Advisor: David Allen McAllester
- Department of Electrical Engineering and Computer Science
A constraint solver for software engineering : finding models and cores of large relational specifications
Torlak, Emina, 1979- (2009)
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
Verification of semantic commutativity conditions and inverse operations on linked data structures
Kim, Deokhwan (2011)
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
Memory-safe microcontroller applications with the Bedrock structured programming system
Barenblat, Benjamin Ezra (2015)
- Advisor: Adam Chlipala
- Department of Electrical Engineering and Computer Science
- Advisor: Adam Chlipala
- Department of Electrical Engineering and Computer Science
- Advisor: Arvind
- Department of Electrical Engineering and Computer Science
- Advisor: Arvind
- Department of Electrical Engineering and Computer Science