Theses most similar to Design and verification of adaptive cache coherence protocols (Shen, Xiaowei, 1966-; 2000) read it

Hardware support for unbounded transactional memory

Lie, Sean, 1980- (2004)

  • Advisor: Krste Asanović
  • Department of Electrical Engineering and Computer Science
Read it

An FPGA implementation of multicore, multithreaded powerPC processors with memory subsystem using Bluespec

Yamhure, Alessandro (2008)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Multiprocessing with the exokernel operating system

Chen, Benjie, 1976- (2000)

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

Synchronization in timestamp-based cache coherence protocols

Nguyen, Quan Min (2016)

  • Advisor: Srinivas Devadas
  • 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

Modular verification of hardware systems

Vijayaraghavan, Muralidaran (2016)

  • Advisors: Adam Chlipala; Arvind
  • Department of Electrical Engineering and Computer Science
Read it

WMM : a resilient Weak Memory Model

Zhang, Sizhuo (2016)

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

Operation-centric hardware description and synthesis

Hoe, James C. (James Chu-Yue) (2000)

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

Synthesis of multi-cycle circuits from guarded atomic actions

Karczmarek, Michal, 1977- (2011)

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