BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Distinguishing paths  
DTSTART:20110608T101500
DTSTAMP:20260407T034532Z
UID:24b057f32fc173c4abce932daf6292a2f04896d49aec717847f64ae3
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. David Monniaux\, CNRS\, Vérimag\nUsual techniques in ab
 stract interpretation apply "join" operations when control flows from seve
 ral nodes. Unfortunately\, these techniques introduce imprecision\, result
 ing in not being able to prove desired properties. Modern SMT-solving tech
 niques allow enumerating paths "on demand". We shall see how such path tec
 hniques may be combined with conventional polyhedral analysis\, quantifier
  elimination\, or with policy iteration\, in order to obtain more precise 
 invariants. This is joint work with Laure Gonnord (Université Lille I / L
 IFL) and Thomas Gawlitza (then CNRS / VERIMAG\, now at INRIA).  Prof. Monn
 iaux's homepage
LOCATION:BC 01 https://plan.epfl.ch/?room==BC%2001
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR