BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:From Single-threaded to Multithreaded
DTSTART:20100107T161500
DTSTAMP:20260501T024517Z
UID:5cb516488c19884e2e2d89c77f4860889f5edb6252f55a67f3b1d7cc
CATEGORIES:Conferences - Seminars
DESCRIPTION:Jean-Loup Carré\nA great variety of static analyses that comp
 ute safety properties of single- thread programs have now been developed. 
 I will present a systematic method to extend a class of such static analys
 es\, so that they handle programs with multiple POSIX-style threads. Start
 ing from a pragmatic operational semantics\, the final algorithm is then d
 erived by abstract interpretation. It analyses each thread in turn\, propa
 gating interferences between threads\, in addition to other semantic infor
 mation. The combinatorial explosion\, ensued from the explicit considerati
 on of all interleavings\, is thus avoided. The worst case complexity is on
 ly increased by a factor n compared to the single-thread case\, where n is
  the number of instructions in the program. This method is implemented in 
 Penjili\, an EADS tool\, demonstrating the practicality of the approach. 
LOCATION:BC 355
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR