Theses most similar to those of author Daitch, Samuel Isaac
Translating alloy using Boolean circuits (2004) read it
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
Verifiable compilation of I/O automata without global synchronization
Tauber, Joshua A. (Joshua Allen) (2005)
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
Probabilistic representation and manipulation of Boolean functions using free Boolean diagrams
Shen, Amelia H. (Amelia Huimin) (1994)
- Advisor: Srinivas Devadas
- Department of Electrical Engineering and Computer Science
A performance driven approach for hardware synthesis of guarded atomic actions
Rosenband, Daniel L., 1977- (2005)
- Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
- Department of Electrical Engineering and Computer Science
- Advisor: Maricio Karchmer
- Department of Electrical Engineering and Computer Science
- Advisor: David A. McAllester
- Department of Electrical Engineering and Computer Science
Verification of full functional correctness for imperative linked data structures
Zee, Karen K (2010)
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: Jack B. Dennis
- Department of Electrical Engineering and Computer Science
- Advisors: Armando Solar̆-Lezam; Sumit Gulwani
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science