BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Language-Based Safety and Isolation Across System Composition Boun
 daries
DTSTART:20260619T090000
DTEND:20260619T110000
DTSTAMP:20260523T201413Z
UID:fbaff5d209e050030a86017f619793a1cdaf066d4dd52be07ac45e36
CATEGORIES:Conferences - Seminars
DESCRIPTION:Yiwen Xu\nDIC candidacy exam\nExam president: Prof. Anne-Marie
  Kermarrec\nThesis advisor: Prof. Mathias Payer\nCo-examiner: Prof. Thomas
  Bourgeat\n\nAbstract\nThe OS kernel was exposed due to vulnerable drivers
  as one vulnerability could bring down the whole system. Since fixing all 
 driver bugs is nearly impossible\, isolation of drivers is necessary to be
  a fundamental mechanism for reducing the attack surface between system co
 mposition boundaries. Compared with hardware-based isolation(Xen\, Nooks\,
  etc) and software-based isolation (e.g. SFI)\, language-based isolation o
 ften gains fine-grained safety\, such as type constraints and thread-safet
 y properties. \nSafeDrive was an early effort to protect Linux C drivers 
 using type checks\, memory-safety invariants\, and recovery support\, but 
 it still had overhead and incomplete safety. RedLeaf\, built in Rust compl
 etely\, reduces runtime checks by relying on Rust's ownership system while
  enabling efficient communication through validated interfaces. As Rust en
 ters mainline Linux\, a new challenge appears: Rust components need to int
 eract with legacy foreign-language code\, where safety guarantees can brea
 k. Omniglot addresses this by enabling safe\, zero-copy interaction betwee
 n Rust and unmodified untrusted code using carefully designed memory isola
 tion primitives.\nGoing forward\, my research will continue to focus on th
 e intersection of operating systems and programming languages.\n\nSelected
  papers\nPaper 1: SafeDrive: Safe and Recoverable Extensions Using Languag
 e-Based Techniques [OSDI'06]\n\n	https://dl.acm.org/doi/10.5555/1298455.12
 98461\n\nPaper 2: RedLeaf: Isolation and Communication in a Safe Operating
  System [OSDI'20]\n\n\n	https://www.usenix.org/conference/osdi20/presentat
 ion/narayanan-vikram\n\nPaper 3: Building Bridges: Safe Interactions with 
 Foreign Languages through Omniglot [OSDI'25]\n\n\n	https://www.usenix.org
 /conference/osdi25/presentation/schuermann\n
LOCATION:BC 133 https://plan.epfl.ch/?room==BC%20133
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR