Theses most similar to Finding linearization violations in lock-free concurrent data structures (Dabdoub, Sebastien Alberto; 2013) read it
- Advisor: Srinivas Devadas
- Department of Electrical Engineering and Computer Science
Flexible and efficient sharing of protected abstractions
Candea, George M. (George Mahai), 1974- (1998)
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
- Advisor: Anant Agarwal
- Department of Electrical Engineering and Computer Science
- Advisor: John Chapin
- Department of Electrical Engineering and Computer Science
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
- Advisor: Armando Solar-Lezama
- Department of Electrical Engineering and Computer Science
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
- 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