Theses most similar to those of author Birka, Adrian, 1980-

Compiler-enforced immutability for the Java language (2003) read it

Embedding scheme in Java

Carlstrom, Brian D. (Brian David), 1973- (2000)

  • Advisor: Olin Shivers
  • Department of Electrical Engineering and Computer Science
Read it

Converting Java programs to use generic libraries

Donovan, Alan A. A., 1976- (2004)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Debugging support for dynamically generated code

Litt, Jonathan Zachary (1997)

  • Advisor: M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

Practical pluggable types for Java

Papi, Matthew M (2008)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Javarifier : inference of reference immutability in Java

Quinonez, Jamie (2008)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Automating abstraction functions

Rayside, Derek F (2010)

  • Advisor: Daniel Jackson
  • Department of Electrical Engineering and Computer Science
Read it

SCAN : a statistic code analyser for JavaScheme

Yap, Tammy, 1976- (1999)

  • Advisor: Saman Amarasinghe
  • Department of Electrical Engineering and Computer Science
Read it

Language and compiler support for dyanmic code generation

Poletto, Massimiliano Antonio (1999)

  • Advisor: M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

A partial implementation of a modular system for software safety analysis

Pickett, Sara C. (Sara Catherine), 1976- (2000)

  • Advisor: Nancy G. Leveson
  • Department of Electrical Engineering and Computer Science
Read it

Automated extraction of abstract object models

Waingold, Allison Leah, 1980- (2001)

  • Advisor: Daniel N. Jackson
  • Department of Electrical Engineering and Computer Science
Read it