Theses most similar to those of author Yedidia, Adam
A relatively small turing machine whose behavior is independent of set theory (2015) read it
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
- Advisor: David A. McAllester
- Department of Electrical Engineering and Computer Science
- Advisor: Stephen J. Garland
- Department of Electrical Engineering and Computer Science
- Advisor: Olin Shivers
- Department of Electrical Engineering and Computer Science
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: Howard E. Shrobe
- Department of Electrical Engineering and Computer Science
Using a denotational proof language to verify dataflow analyses
Hao, Melissa B. (Melissa Betty), 1979- (2002)
- Advisor: Howard E. Shrobe
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
MSL : a synthesis enabled language for distributed high performance computing implementations
Xu, Zhilei (2016)
- Advisor: Armando Solar-Lezama
- Department of Electrical Engineering and Computer Science
- Advisor: Christopher J. Terman
- Department of Electrical Engineering and Computer Science