BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Automated Debugging as a Constraint Solving Problem
DTSTART:20170110T110000
DTEND:20170110T123000
DTSTAMP:20260407T101356Z
UID:34874bf921f564878c98294b77b453a96e49ca4e6e7dfd0fac8246b4
CATEGORIES:Conferences - Seminars
DESCRIPTION:by Thomas Wies - New York University\n\nAbstract\nDebugging is
  one of the most time consuming aspects of software development. Any autom
 ation that reduces the manual effort involved in this task can have a sign
 ificant impact on software productivity. In my talk\, I will present new a
 lgorithms for automatically localising and explaining errors in programs. 
 Specifically\, I will present techniques for finding the sources of type e
 rrors in functional programs and for explaining safety violations in imper
 ative programs. These techniques have in common that they leverage the rec
 ent advances in automated theorem proving to scale to realistic programs w
 hile providing formal correctness and optimality guarantees. We found that
  these new algorithms have the potential to significantly increase the qua
 lity of error reports produced by compilers and testing tools.\n\nBio\nTho
 mas Wies is an Assistant Professor in the Computer Science Department at N
 ew York University and a member of the Analysis of Computer Systems Group 
 in the Courant Institute of Mathematical Sciences. He is recipient of an N
 SF CAREER Award\, an OOPSLA Best Paper Award\, and a Microsoft European Ph
 D Scholarship. His research interests are in Programming Languages and For
 mal Methods. In particular\, he is interested in the theory and developmen
 t of tools that increase software productivity and assist programmers in b
 uilding reliable software.\n\nMore information\n\n 
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR