Speaker: Jerome Feret
Time:2009-01-21 ~ 29
Place:Room 309-1, Bldg 302, SNU


I will present two major works of domain-specific abstract interpretation technologies: one on static analysis of systems biology, and the other on static analysis of an avionic control software. By "domain-specific" we mean a fully automatic static analysis systems that are proven correct yet generate almost no false positives.

Part 1: Reachability analysis of protein-protein interaction networks[VMCAI08]. [talk slide / paper]
Part 2: Automatic reduction of ODE semantics for protein-protein interaction networks [PNAS 2009, submitted] [talk slide / paper]
Part 3: An overview of ASTREE [2002,PLDI 2003,ESOP 2005] [paper1 /paper2 /paper3]
Part 4: Two examples of numerical domains [ESOP 2004,VMCAI 2005] [talk slide /paper]
Part 5: Reduced product in ASTREE. [ASIAN 2006] [talk slide /paper]


[ List ]