Theses most similar to those of author Jacobi, Ian Campbell

Constructing provenance-aware distributed systems with data propagation (2010) read it

Self-distributing computation

Woodfin, Thomas R. (Thomas Richard), 1979- (2002)

  • Advisor: Thomas F. Knight, Jr., Gerald Jay Sussma
  • Department of Electrical Engineering and Computer Science
Read it

A distributed object framework for pervasive computing applications

Pham, Hubert (2005)

  • Advisor: Stephen A. Ward
  • Department of Electrical Engineering and Computer Science
Read it

Fault-tolerance and load management in a distributed stream processing system

Balazinska, Magdalena (2005)

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

A simple mechanism for sharing variables across the internet

Harris, Jake, 1975- (1998)

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

Practical implementation and analysis of hyper-encryption

Juang, Jason K (2009)

  • Advisor: Michael O. Rabin
  • Department of Electrical Engineering and Computer Science
Read it

Fault-tolerant distributed transactions for partitioned OLTP databases

Jones, Evan P. C. (Evan Philip Charles), 1981- (2012)

  • Advisor: Madden, Samuel R. (Samuel Ross), 1976-
  • Department of Electrical Engineering and Computer Science
Read it

Application-level caching with transactional consistency

Ports, Dan R. K. (Dan Robert Kenneth) (2012)

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

A file system design for the Aeolus security platform

McKee, Francis Peter (2011)

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

Computing with Chunks

Paluska, Justin Mazzola, 1981- (2013)

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

The scalable commutativity rule : designing scalable software for multicore processors

Clements, Austin T (2014)

  • Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Dynamic application of problem solving strategies : dependency-based flow control (2013) 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

Predicting problems caused by component upgrades

McCamant, Stephen (2004)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Modular data structure verification

Kuncak, Viktor (Viktor Jaroslav), 1977- (2007)

  • 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

Javarifier : inference of reference immutability in Java

Quinonez, Jamie (2008)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

A constraint solver for software engineering : finding models and cores of large relational specifications

Torlak, Emina, 1979- (2009)

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

Verification of full functional correctness for imperative linked data structures

Zee, Karen K (2010)

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

Automated extraction of abstract object models

Waingold, Allison Leah, 1980- (2001)

  • 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

An inlining approach to formal hardware semantics

Choi, Joonwon (2016)

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