BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Why program when you can automatically synthesize OS code?
DTSTART:20230525T110000
DTEND:20230525T120000
DTSTAMP:20260407T000103Z
UID:076e2d13cac9d1cee60adbb047e82d71c3cad1e52bc8ebe39b7cbdf8
CATEGORIES:Conferences - Seminars
DESCRIPTION:Dr. Reto Achermann\, University of British Columbia  \nAbstra
 ct\nAddress translation hardware is at the cornerstone of modern computer 
 systems.\nIt provides a wide range of security-relevant features and abstr
 actions such as memory partitioning\, address space isolation and virtual 
 memory.\nHardware designers\nhave developed different memory protection sc
 hemes with varying features and means of configuration. Correct configurat
 ion is mission-critical for a system's integrity.\nIt is the operating sys
 tem's task to safely and securely manage and configure the memory hardware
  of a compute platform -- a task that operating systems developers must re
 peat for every new memory hardware unit.\nIn this talk\, I present a new a
 pproach that frees the OS programmer from writing system code to setup and
  configure translation hardware. We leverage software synthesis to automat
 ically generate correct systems code interfacing with translation hardware
  from a high-level\, behavioral specification. By synthesizing correct\, l
 ow-level systems code from a high-level specification we make porting oper
 ating systems to new hardware easier and require less effort. Moreover\, w
 e envision that our system can generate actual and simulated hardware comp
 onents enabling research in new memory translation and protection schemes.
 \n\nBiography\nReto Achermann is a Postdoctoral Research Fellow at the Sys
 topia Lab of the Computer Science Department at the University of British 
 Columbia working with Prof. Margo Seltzer. His research interests are at t
 he intersection of memory and storage systems\, hardware platforms\, forma
 l specification and verification\, device drivers\, and software synthesis
 . The main goal of his research is to help developers build build more rel
 iable system software while at the same time reduce the development effort
 s.\nHe was part of the core Barrelfish operating system team\, working on 
 various subsystems such as memory management\, capabilities\, hardware abs
 tractions\, device drivers.\nReto Achermann received a PhD in computer sci
 ence from ETH Zurich where he was advised by Prof. Timothy Roscoe.\n\n 
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR