BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium: Software needs Watchdogs
DTSTART:20230130T161500
DTEND:20230130T173000
DTSTAMP:20260406T212936Z
UID:ed70784545325bf7d4c09edf3f8b9538732a92741d50dce251f053f5
CATEGORIES:Conferences - Seminars
DESCRIPTION:By: Tom Henzinger - IST Austria\n\nAbstract\nWe advocate the i
 ncreased real-time monitoring of software by software. Only third-party mo
 nitors increase the trust in the monitored software\, and only low-overhea
 d monitors are widely acceptable. These restrictions have technical conseq
 uences. Third-party monitors cannot instrument the monitored source code. 
 Low-overhead monitors must be best-effort so not to slow down the monitore
 d software. We build a theoretical framework and corresponding middleware 
 for the online black-box monitoring of quantitative software properties\, 
 such as average or maximal response time of a server\, or algorithmic fair
 ness in decision making. Unlike static verification\, which answers reacha
 bility queries for programs\, monitoring is runtime verification\, which a
 nswers membership queries for observed program behaviors with regard to a 
 given formal specification. Our monitors are not necessarily finite-state\
 , and their verdicts may be approximate or probabilistic. This allows for 
 a rich spectrum of cost-precision-confidence trade-offs in monitoring.\n\n
 Bio\nTom Henzinger is Professor at the Institute of Science and Technology
  Austria (ISTA). He holds a Dipl.-Ing. degree in Computer Science from Joh
 annes Kepler University in Linz\, Austria\, an M.S. degree in Computer and
  Information Sciences from the University of Delaware\, a Ph.D. degree in 
 Computer Science from Stanford University (1991)\, and Dr.h.c. degrees fro
 m Fourier University in Grenoble\, France\, and from Masaryk University in
  Brno\, Czech Republic. He was Assistant Professor of Computer Science at 
 Cornell University\, Professor of Electrical Engineering and Computer Scie
 nces at the University of California\, Berkeley\, Director at the Max-Plan
 ck Institute for Computer Science in Saarbrucken\, Germany\, and Professor
  of Computer and Communication Sciences at EPFL in Lausanne\, Switzerland.
  From 2009 until 2022\, he was the founding president of ISTA in Klosterne
 uburg\, Austria. His research focuses on the theory of software systems\, 
 especially models\, algorithms\, and tools for the design and verification
  of reliable software systems. His HyTech tool was the first model checker
  for mixed discrete-continuous systems. He is a member of the US National 
 Academy of Sciences\, the American Academy of Arts and Sciences\, Academia
  Europaea\, the German Academy of Sciences (Leopoldina)\, and the Austrian
  Academy of Sciences. He is a Fellow of the AAAS\, the ACM\, and the IEEE.
  He received the Robin Milner Award of the Royal Society\, the EATCS Award
  of the European Association for Theoretical Computer Science\, the Wittge
 nstein Award of the Austrian Science Fund\, and two Advanced Grants of the
  European Research Council.\n\nMore information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420 https://epfl.zoom.us/
 j/62064058888
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR