Theses most similar to those of author Gross, Jason S

An extensible framework for synthesizing efficient, verified parsers (2015) read it

The ontic inference language

Witty, Carl Roger (1995)

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

Path splitting--a technique for improving data flow analysis

Poletto, Massimiliano Antonio (1995)

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

Slivers, computational modularity via synchronized lazy aggregates

Turbak, Franklyn Albin (1994)

  • Advisor: Sussman, Gerald Jay
  • 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

On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types

Arkoudas, Kostas (1996)

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

Agent problem solving by inductive and deductive program synthesis

Fox, Harold, 1979- (2008)

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

Prolac--a language for protocol compilation

Kohler, Eddie, 1973- (1998)

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

Reasoning strategies for semantic Web rule languages

Scharf, Joseph (Joseph Eric) (2008)

  • Advisor: Tim Berners-Lee
  • Department of Electrical Engineering and Computer Science
Read it

Compilation using correct-by-construction program synthesis

Pit-Claudel, Clément (2016)

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

Eliminating intermediate lists in pH

Schwartz, Jacob B. (Jacob Benjamin), 1975- (2000)

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