Theses most similar to those of author Schwartz, Jacob B. (Jacob Benjamin), 1975-

Eliminating intermediate lists in pH (2000) read it

The ontic inference language

Witty, Carl Roger (1995)

  • Advisor: David A. McAllester
  • Department of Electrical Engineering and Computer Science
Read it

Eliminating intermediate lists in pH using local transformations

Maessen, Jan-Willem (1994)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

An efficient substitution model scheme evaluator

Maritime, Abraham Aaron (1997)

  • Advisor: Albert Meyer
  • Department of Electrical Engineering and Computer Science
Read it

Credible compilation

Marinov, Darko, 1976- (2000)

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

Using a denotational proof language to verify dataflow analyses

Hao, Melissa B. (Melissa Betty), 1979- (2002)

  • Advisor: Howard E. Shrobe
  • Department of Electrical Engineering and Computer Science
Read it

An extensible framework for synthesizing efficient, verified parsers

Gross, Jason S (2015)

  • Advisor: Adam Chlipala
  • Department of Electrical Engineering and Computer Science
Read it