Theses most similar to MergeArray and scalable, relaxed, concurrent, mergeable priority queues (Coulombe, Michael Joseph; 2015) read it

Starkiller : a static type inferencer and compiler for Python

Salib, Michael, 1978- (2004)

  • Advisor: Jonathan Bachrach
  • Department of Electrical Engineering and Computer Science
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

The JCilk multithreaded language

Lee, I-Ting Angelina (2005)

  • Advisor: Charles E. Leiserson
  • 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

Systematic testing of multithreaded Java programs

Bruening, Derek L. (Derek Lane), 1976- (1999)

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

Static detection of deadlock for Java libraries

Williams, Amy Lynne, Ph.D (2005)

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

Expanding the synthesis of distributed memory implementations

Sharpe, Jeremy Edward (2015)

  • Advisor: Armando Solar-Lezama
  • Department of Electrical Engineering and Computer Science
Read it

Certifying a crash-safe file system

Chen, Haogang (2016)

  • Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
  • 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