BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Mondays seminars -Algorithmic Software Verification
DTSTART:20100329T161500
DTSTAMP:20260406T170559Z
UID:982a75e718f82217b61a34b08e5b7d092c0f432255e294e05b116ac5
CATEGORIES:Conferences - Seminars
DESCRIPTION:Professor Ranjit Jhala\, UCSD\, Computer Science Department\nA
 bstract\nSoftware is everywhere\, and yet\, extremely unreliable. One key 
 to reliability is the design of cost-effective techniques whereby develope
 rs can formally specify the essential properties of their code\, and machi
 nes can rigorously verify that the properties hold\, or demonstrate corner
  cases where they fail.\n\nIn this talk\, we describe two such techniques.
  First\, a scheme that uses logical predicates and theorem provers to auto
 matically compute safety proofs.  Second\, an approach that uses random wa
 lks to find \nliveness bugs in distributed systems.\n\nWe describe the key
  algorithmic insights underlying these approaches and the resulting tools 
 that have helped verify and find subtle defects in a variety of complex so
 ftware.\n\nBiography:\n\nRanjit Jhala is an Assistant Professor in the Dep
 artment of Computer Science and Engineering at UC San Diego. Ranjit is int
 erested in applying techniques from Programming Languages and Software Eng
 ineering to solve computing problems\, in particular\, to build reliable c
 omputer systems. His work draws from combines and contributes to method th
 e areas of Model Checking\, Program Analysis\, Type Systems and Automated 
 Deduction.
LOCATION:INM 202
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR