Theses most similar to those of author Bruening, Derek L. (Derek Lane), 1976-

Efficient, transparent, and comprehensive runtime code manipulation (2004) read it

Secure execution environment via program shepherding

Kiriansky, Vladimir L. (Vladimir Lubenov), 1979- (2003)

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

The M-Machine operating system

Gurevich, Yevgeny (1995)

  • Advisor: William J. Dally
  • Department of Electrical Engineering and Computer Science
Read it

Software instruction caching

Miller, Jason Eric, 1976- (2007)

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

High-performance all-software distributed shared memory

Johnson, Kirk Lauritz (1996)

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

A co-locating fast file system for UNIX

Sapuntzakis, Constantine (Constantine Paul), 1975- (1998)

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

Varmosa : just-in-time binary translation of operating system kernels

Hung, Perry L (2009)

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

Detecting and escaping infinite loops using Bolt

Kling, Michael (Michael W.) (2012)

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

Software based instruction caching for the RAW architecture

Miller, Jason Eric, 1976- (1999)

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

Scaling address-space operations on Linux with TSX

Johnson, Christopher Rya (2014)

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

A flexible compilation infrastructure for VLIW and SIMD architectures

Maze, David Z. (David Zachary), 1978- (2001)

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

Systematic testing of multithreaded Java programs (1999) read it

Dynamic datarace detection for object-oriented programs

Sridharan, Manu, 1979- (2002)

  • Advisor: Jong-Deok Choi
  • Department of Electrical Engineering and Computer Science
Read it

The JCilk multithreaded language

Lee, I-Ting Angelina (2005)

  • Advisor: Charles E. Leiserson
  • Department of Electrical Engineering and Computer Science
Read it

Simulation of timed input/output automata

Mavrommatis, Panayiotis P (2006)

  • Advisors: Dilsun K. Kayna; Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

The JCilk-1 runtime system

Danaher, John (John Stephen) (2005)

  • Advisor: Charles E. Leiserson
  • Department of Electrical Engineering and Computer Science
Read it

Nondeterminator-3 : a provably good data-race detector that runs in parallel

Karunaratna, Tushara C (2005)

  • Advisor: Charles E. Leiserson
  • Department of Electrical Engineering and Computer Science
Read it

Finding linearization violations in lock-free concurrent data structures

Dabdoub, Sebastien Alberto (2013)

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

Fast bug finding in lock-free data structures with CB-DPOR

Van den Hooff, Jelle (Jelle August) (2014)

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

MergeArray and scalable, relaxed, concurrent, mergeable priority queues

Coulombe, Michael Joseph (2015)

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

Verifying an I/O-concurrent file system

Chajed, Tej (2017)

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

Memory-mapped transactions

Sukha, Jim (2005)

  • Advisors: Bradley C. Kuszmaul; Charles E. Leiserson
  • Department of Electrical Engineering and Computer Science
Read it