BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20190331T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20181028T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260407T164022Z
UID:5c5011f360ef5762672392@ist.ac.at
DTSTART:20190319T100000
DTEND:20190319T110000
DESCRIPTION:Speaker: Mukund Raghothaman\nhosted by Krish Chatterjee\nAbstra
 ct: Despite increasing adoption by industry\, developing program verificat
 ion tools remains challenging\, and their designers must carefully balance
  tradeoffs between false alarms\, missed bugs\, and scalability to large c
 odebases. Furthermore\, when tools fail to verify some program property\, 
 they only provide coarse estimates of alarm relevance and of the likelihoo
 d of having found a real bug\, thereby limiting their usefulness in large 
 software projects. I will present a framework to extend program reasoning 
 systems with rich probabilistic models. These models emerge naturally from
  the program structure\, and probabilistic inference refines the deductive
  process of the underlying system. By enabling users to focus on the most 
 important alarms and by automatically generalizing from feedback\, these t
 echniques enable an order-of-magnitude reduction in false alarm rates and 
 invocations of expensive reasoning engines such as SMT solvers. I will con
 clude by describing how these ideas promise to underpin the next generatio
 n of intelligent programming systems\, with applications in areas such as 
 program synthesis\, differentiable programming\, and fault localization in
  complex systems.
LOCATION:Mondi Seminar Room 2\, Central Building\, ISTA
ORGANIZER:tguggenb@ist.ac.at
SUMMARY:Mukund Raghothaman: Precise Program Reasoning using Probabilistic M
 ethods
URL:https://talks-calendar.ista.ac.at/events/1786
END:VEVENT
END:VCALENDAR