Theses most similar to Verifying information flow control in Java bytecodes (Mathewson, Nicholas A. (Nicholas Albert), 1977-; 2000) read it
- Advisor: Martin C. Rinard
- 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
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
A relational framework for bounded program verification
Dennis, Gregory D. (Gregory David), 1980- (2009)
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
- Advisors: Barbara H. Liskov; Robert T. Morris
- 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
MergeArray and scalable, relaxed, concurrent, mergeable priority queues
Coulombe, Michael Joseph (2015)
- Advisor: Nir Shavit
- Department of Electrical Engineering and Computer Science
Certifying checksum-based logging in the RapidFSCQ crash-safe filesystem
Wang, Stephanie, M. En (2016)
- Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science