A Differential Approach to Undefined Behavior Detection
Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans, Solar-Lezama, Armando
Published in ACM transactions on computer systems (01.03.2015)
Published in ACM transactions on computer systems (01.03.2015)
Get full text
Journal Article
Comparing the performance of distributed hash tables under churn
JINYANG LI, STRIBLING, Jeremy, GIL, Thomer M, MORRIS, Robert, KAASHOEK, M. Frans
Published in Lecture notes in computer science (2004)
Get full text
Published in Lecture notes in computer science (2004)
Conference Proceeding
Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)
Sharma, Upamanyu, Jung, Ralf, Tassarotti, Joseph, Kaashoek, M Frans, Zeldovich, Nickolai
Published in arXiv.org (14.09.2023)
Published in arXiv.org (14.09.2023)
Get full text
Paper
Journal Article
SSL splitting: Securely serving data from untrusted caches
Lesniewski-Laas, Chris, Kaashoek, M. Frans
Published in Computer networks (Amsterdam, Netherlands : 1999) (05.08.2005)
Published in Computer networks (Amsterdam, Netherlands : 1999) (05.08.2005)
Get full text
Journal Article
Chord: a scalable peer-to-peer lookup protocol for Internet applications
Stoica, I., Morris, R., Liben-Nowell, D., Karger, D.R., Kaashoek, M.F., Dabek, F., Balakrishnan, H.
Published in IEEE/ACM transactions on networking (01.02.2003)
Published in IEEE/ACM transactions on networking (01.02.2003)
Get full text
Journal Article
Certifying a file system using crash hoare logic: correctness in the presence of crashes
Chajed, Tej, Chen, Haogang, Chlipala, Adam, Kaashoek, M. Frans, Zeldovich, Nickolai, Ziegler, Daniel
Published in Communications of the ACM (01.04.2017)
Published in Communications of the ACM (01.04.2017)
Get full text
Magazine Article
ASHs: application-specific handlers for high-performance messaging
Wallach, D.A., Engler, D.R., Kaashoek, M.F.
Published in IEEE/ACM transactions on networking (01.08.1997)
Published in IEEE/ACM transactions on networking (01.08.1997)
Get full text
Journal Article
Conference Proceeding