BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:The Robustness of Distributed File Systems
DTSTART:20220530T153000
DTEND:20220530T173000
DTSTAMP:20260610T082418Z
UID:6fa3a8fb7a3ffebd703dd84ee22b90433250299c22c92b42a5c048ed
CATEGORIES:Conferences - Seminars
DESCRIPTION:Tao Lyu\nEDIC candidacy exam\nExam president: Prof. Edouard Bu
 gnion\nThesis advisor: Prof. Sanidhya Kashyap\nThesis coadvisor: Prof. Mat
 hias Payer\nCo-examiner: Prof. George Candea\n\nAbstract\nDistributed file
  systems (DFSes) are the critical infrastructures nowadays. However\, most
  of the bug finding approaches are focused on the local file systems (LFS)
 \, which makes DFSes still suffer from disasters (e.g.\, data loss) caused
  by bugs. Considering the high efficiency of the fuzzing technique\, we de
 sign a fuzzer to detect semantic bugs(e.g.\, crash consistency bugs)\, log
 ical bugs and memory bugs (NULL dereference and overflow) in DFSes. Especi
 ally\, a new sanitizer for crash consistency bugs are proposed. The fuzzer
  can be applied to any DFSes compatible with POSIX interfaces.\n\nBackgrou
 nd papers\n(1). Hydra: An Extensible Fuzzing Framework for Finding Semanti
 c Bugs in File Systems\n(2). TaxDC: A Taxonomy of Non-Deterministic Concur
 rency Bugs in Datacenter Distributed Systems\n(3). Correlated Crash Vulner
 abilities\n\n 
LOCATION:BC 133 https://plan.epfl.ch/?room==BC%20133
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR