Theses most similar to those of author Carbin, Michael (Michael James)
Automatically identifying critical behaviors in programs (2009) read it
Detecting buffer overflows using testcase synthesis and code instrumentation
Zhivich, Michael A (2005)
- Advisor: Lippmann, Richard Paul
- Department of Electrical Engineering and Computer Science
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
- Advisor: Robert T. Morris
- Department of Electrical Engineering and Computer Science
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
Concepts of testing for collocated and distributed software development
Ma, Kenward (Kenward Kam Wing), 1977- (2000)
- Advisor: Feniosky Peña-Mora
- Department of Civil and Environmental Engineering
- Advisors: Hamed Okhrav; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science
- Advisors: M. Frans Kaashoek; Ricardo Gonzalez
- Department of Electrical Engineering and Computer Science
Analysis of defenses against code reuse attacks on modern and new architectures
Evans, Isaac Noah (2015)
- Advisors: Hamed Okhrav; Howard Shrobe
- Department of Electrical Engineering and Computer Science
Logical reasoning for approximate and unreliable computation (2015) read it
- Advisor: Raymie Stata
- Department of Electrical Engineering and Computer Science
- Advisor: Martin Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
Storyboard programming of data structure manipulations : a picture is worth 20 lines of code
Singh, Rishabh (2010)
- Advisor: Armando Solar-Lezama
- 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
- Advisors: Armando Solar̆-Lezam; Sumit Gulwani
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
Finding security bugs in web applications using domain-specific static analysis
Near, Joseph P. (Joseph Paul) (2015)
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
- Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science
- Advisor: Arvind
- Department of Electrical Engineering and Computer Science