Theses most similar to Credible compilation (Marinov, Darko, 1976-; 2000) read it

Incorporating specialized theories into a general purpose theorem prover

Pogosyants, Anna (1995)

  • Advisor: Stephen J. Garland
  • Department of Electrical Engineering and Computer Science
Read it

Dynamic optimization through the use of automatic runtime specialization

Whaley, John (John Craig), 1975- (1999)

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

Verifying information flow control in Java bytecodes

Mathewson, Nicholas A. (Nicholas Albert), 1977- (2000)

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

Pointer analysis and its applications for Java programs

Sălcianu, Alexandru D. (Alexandru Doru), 1975- (2001)

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

Formal verification of simulations between I/O automata

Bogdanov, Andrej, 1978- (2001)

  • Advisor: Stephen J. Garland
  • Department of Electrical Engineering and Computer Science
Read it

A virtual machine for a type-[omega] denotational proof language

Arvizo, Teodoro, 1978- (2002)

  • Advisor: Howard E. Shrobe
  • 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

Logical reasoning for approximate and unreliable computation

Carbin, Michael (Michael James) (2015)

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

A relatively small turing machine whose behavior is independent of set theory

Yedidia, Adam (2015)

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

Modular verification of hardware systems

Vijayaraghavan, Muralidaran (2016)

  • Advisors: Adam Chlipala; Arvind
  • Department of Electrical Engineering and Computer Science
Read it