BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Part 1: Automated Bug Diagnosis\; Part 2: Virtual instruction set 
 computing
DTSTART:20141002T153000
DTEND:20141002T170000
DTSTAMP:20260921T140751Z
UID:d0d464940cb62e302ccd7f8ed9b3a777d64bf916daa8f807df052761
CATEGORIES:Conferences - Seminars
DESCRIPTION:Vikram Adve \, Visiting Professor in the School of Computer an
 d\nCommunication Sciences at EPFL and Professor of Computer Science at the
  University of Illinois at Urbana-Champaign\nI will present our work on tw
 o ongoing projects: (1) automated diagnosis of software failures\, and (2)
  the benefits of using rich virtual instruction sets as a persistent repre
 sentation of all software.  If time permits\, I may even draw a mythical 
 connection between the projects!\nIn the first part of the talk\, I will d
 escribe new insights into analyzing the root causes of software failures a
 utomatically.  We use dynamically observed likely invariants to identify 
 candidate locations for the root cause of a failure\, and then use novel s
 tatic and dynamic analyses to filter out false positives and to extract va
 luable information relevant to understanding the failure.  Experimental r
 esults show that we are able to narrow down the locations of root causes t
 o just a few (e.g.\, 2-10) program locations\, even in large programs\, fo
 r all but one bug we have tested.  We are now exploring how to automate t
 he process fully using dynamic symbolic execution\, and how to apply these
  fault isolation techniques for diagnosis and triaging of software failure
 s in production software.\nNext\, I will discuss a project on Virtual Inst
 ruction Set Computing (VISC). Despite extensive advances in managed run-ti
 me systems and dynamic\ncompilation\, high performance applications and se
 curity-sensitive systems software are almost universally compiled and ship
 ped as native machine\ncode.  In the VISC project\, we are exploring the 
 security\, reliability\, and performance implications of shipping *all* su
 ch software in virtual\ninstruction set form.  We use the LLVM bitcode la
 nguage as the shipping representation to enable advanced "lifelong" progra
 m analysis and\ntransformation for such programs.  We have shown that shi
 pping operating systems in LLVM form enables powerful security guarantees 
 to be enforced\nusing compiler techniques.  We are now exploring how the 
 approach could be used to improve programmability and portability for hete
 rogeneous parallel\nsystems\, and to enable novel performance optimization
  techniques.
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR