Theses most similar to those of author Ajmani, Sameer, 1976-

Automatic software upgrades for distributed systems (2004) read it

Extending the Java language for the prevention of data races

Lee, Robert Honway, 1981- (2002)

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

Reducing cross-domain call overhead using batched futures

Bogle, Phillip Lee (1994)

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

Building fast and secure Web services with OKWS

Krohn, Maxwell (Maxwell N.) (2005)

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

Function-based indexing for object-oriented databases

Hwang, Deborah Jing-Hwa (1994)

  • Advisor: Barbara H. Liskov
  • 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

Code importing techiques for fast, safe client/server access

Bank, Joseph A (1996)

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

A model of composite objects for information mesh

Lo, Felix Tun-Han (1997)

  • Advisor: Karen R. Sollins
  • Department of Electrical Engineering and Computer Science
Read it

Using ADL for regression test development in a distributed object environment

Ding, Eric J. (Eric Jaw-Torng) (1996)

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

Description and analysis of central registry, a pattern for modular implicit invocation

Whitney, Jonathan Newcomb Swirsky, 1979- (2002)

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

Fine-grain interrupts and atomic heap transactions

Clark, James W. (James Wesley), 1977- (2000)

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

A trusted execution platform for multiparty computation (2000) read it

Mostly-static decentralized information flow control

Myers, Andrew C. (Andrew Clifford) (1999)

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

Integrity and access control in untrusted content distribution networks

Fu, Kevin E. (Kevin Edward), 1976- (2005)

  • Advisors: M. Frans Kaashoek; Ronald L. Rivest
  • Department of Electrical Engineering and Computer Science
Read it

Towards a deployable framework for delegation of authority in network applications

Stockwell, Will (Will C.) (2006)

  • Advisors: Hari Balakrishnam; Stuart Schechte
  • Department of Electrical Engineering and Computer Science
Read it

Information flow control for secure web sites

Krohn, Maxwell N. (Maxwell Norman) (2008)

  • Advisors: Eddie Kohler; M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

Practical security for multi-user web application databases

Redfield, Catherine M. S (2012)

  • Advisor: Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Decentralized information flow control for databases

Schultz, David Andrew (2012)

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

Policy-directed code safety

Evans, David Elliot, 1971- (2000)

  • Advisor: John V. Guttag
  • Department of Electrical Engineering and Computer Science
Read it

Access control lists for the self-certifying filesystem

Savvides, George, 1976- (2002)

  • Advisors: David Mazières; M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

SURGE : the Secure Cloud Storage and Collaboration Framework

Schmahmann, Adin R (2014)

  • Advisor: Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Information flow for secure distributed applications

Cheng, Winnie Wing-Yee (2009)

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