Theses most similar to those of author Taghdiri, Mana, 1979-

Automating modular program verification by refining specifications (2008) 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

Automatic testing of software with structurally complex inputs

Marinov, Darko, 1976- (2005)

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

MintEra : a testing environment for Java programs

Al-Naffouri, Basel Y (2004)

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

Pointer analysis for Java programs : novel techniques and applications

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

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

Javari : adding reference immutability to Java

Tschantz, Matthew S (2006)

  • Advisor: Michael D. Ernst
  • 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

Prolac--a language for protocol compilation

Kohler, Eddie, 1973- (1998)

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

Executable specifications for Java programs

Milicevic, Aleksanda (2010)

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

Advancing declarative programming

Milicevic, Aleksanda (2015)

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

Lightweight modelling and automatic analysis of multicast key management schemes (2002) read it

Authentication in a reconfigurable Byzantine fault tolerant system

Chen, Kathryn (Kathryn Chi-ting) (2004)

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

On symbolic analysis of cryptographic protocols

Patil, Akshay (Akshay R.) (2005)

  • Advisors: Ran Canetti; Ronald L. Rivest
  • Department of Electrical Engineering and Computer Science
Read it

Error-free message transmission in the universal composability framework

Wilson, David A. (David Alexander) (2005)

  • Advisors: Chris Peikert; Ronald L. Rivest
  • Department of Electrical Engineering and Computer Science
Read it

Mobile Proactive secret sharing

Schultz, David Andrew (2007)

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

Implementation and evaluation of an eventually-serializable data service

Cheiner, Oleg M. (Oleg Mikhail), 1975- (1997)

  • Advisor: Alex Allister Shvartsman
  • Department of Electrical Engineering and Computer Science
Read it

A commodity trusted computing module

Costan, Victor Marius (2008)

  • Advisors: Luis F.G. Sarmenta; Srinivas Devadas
  • Department of Electrical Engineering and Computer Science
Read it

Certificate discovery using SPKI/SDSI 2.0 certificates

Elien, Jean-Emile, 1974- (1998)

  • Advisor: Ronald L. Rivest
  • Department of Electrical Engineering and Computer Science
Read it

Semantics of communicating parallel processes.

Greif, Irene (1975)

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

Automated information distribution in low bandwidth environments

Zbib, Rabih M. (Rabih Mohamed), 1974- (1999)

  • Advisors: Lerman, Steven R; V. Judson Harward
  • Department of Civil and Environmental Engineering
Read it

Timestamp ordering and nested transactions

Aspnes, James D. (James David) (1987)

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