Theses most similar to those of author Salib, Michael, 1978-

Starkiller : a static type inferencer and compiler for Python (2004) 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

The JCilk multithreaded language

Lee, I-Ting Angelina (2005)

  • Advisor: Charles E. Leiserson
  • Department of Electrical Engineering and Computer Science
Read it

Static conformance checking for matrices

Seto, Roy (1994)

  • Advisor: Raymie Stata
  • Department of Electrical Engineering and Computer Science
Read it

The Hob system for verifying software design properties

Lam, Patric (2007)

  • Advisor: Martin Rinard
  • Department of Electrical Engineering and Computer Science
Read it

A comparison of designs for extensible and extension-oriented compilers

Clements, Austin T. (2008)

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

Directed random testing

Pacheco, Carlos, Ph.D (2009)

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

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
Read it

Julia : an efficient dynamic language for technical computing

Bezanson, Jeffrey Werner (2012)

  • Advisor: Alan Edelman
  • Department of Electrical Engineering and Computer Science
Read it

Abstraction in technical computing

Bezanson, Jeffrey Werner (2015)

  • Advisor: Alan Edelman
  • Department of Electrical Engineering and Computer Science
Read it

Feedback-directed specialization of C

Brown, Jeremy Hanford, 1972- (1995)

  • Advisor: Thomas Knight, Jr.
  • Department of Electrical Engineering and Computer Science
Read it