Theses most similar to Fast bug finding in lock-free data structures with CB-DPOR (Van den Hooff, Jelle (Jelle August); 2014) read it
- Advisor: Anant Agarwal
- Department of Electrical Engineering and Computer Science
- Advisor: Larry Rudolph
- Department of Electrical Engineering and Computer Science
- Advisor: John Chapin
- Department of Electrical Engineering and Computer Science
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
- Advisor: Anant Agarwal
- Department of Electrical Engineering and Computer Science
- Advisor: Srinivas Devadas
- Department of Electrical Engineering and Computer Science
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
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
- Advisors: Bradley C. Kuszmaul; Charles E. Leiserson
- Department of Electrical Engineering and Computer Science
- Advisor: Arvind
- Department of Electrical Engineering and Computer Science