Theses most similar to Object Spreadsheets : an end-user development tool for web applications backed by entity-relationship data (McCutchen, Richard Matthew; 2016) read it
- Advisor: Howard E. Shrobe
- Department of Electrical Engineering and Computer Science
A type-checking preprocessor for Cilk 2, a multithreaded C language
Miller, Robert C. (Robert Chisolm) (1995)
- Advisor: Charles E. Leiserson
- Department of Electrical Engineering and Computer Science
- 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
- Advisor: M. Frans Kaashoek
- 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
- Advisor: Adam Chlipala
- 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
- Advisors: Eddie Kohler; M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
- Advisor: Arvind
- Department of Electrical Engineering and Computer Science