Registration | |
---|---|
8:00—12:00 & 13:30—16:00 | Salle des Autorités (Entrance: 17, rue de la Sorbonne) |
Invited talk (Chair: P. Cousot) | ||
---|---|---|
9:00—10:00 | Program Analysis for Multithreaded Programs | Martin C. Rinard (Massachusetts Institute of Technology) |
10:00—10:30 | Coffee break | Program transformation (Chair: M. Hermenegildo) |
10:30—11:00 | Communication and Parallelism Introduction and Elimination by Static Formal Transformations | Miquel Bertran Francesc Babot and August Climent Miquel Nicolau |
11:00—11:30 | Using Slicing to Identify Duplication in Source Code | Raghavan Komondoor and Susan Horwitz |
11:30—12:00 | Soft Scheduling for Hardware | Richard Sharp and Alan Mycroft |
12:00—13:30 | Lunch | Strictness and termination (Chair: C. Hankin) |
13:30—14:00 | Effective Strictness Analysis with HORN Constraints | Kevin Glynn, Peter J. Stuckey, and Martin Sulzmann |
14:00—14:30 | Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs | Fred Mesnard and Ulrich Neumerkel |
14:30—15:00 | An Abstract Analysis of the Probabilistic Termination of Programs | David Monniaux |
15:00—15:30 | Coffee break | Semantics abstraction (Chair: G. Filè) |
15:30—16:00 | Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses | Fausto Spoto |
Logic and constraint programming (Chair: G. Filè) | ||
16:00—16:30 | Parameterizing a Groundness Analysis of Logic Programs | Lunjin Lu |
16:30—17:00 | Finite-Tree Analysis for Constraint Logic-Based Languages | Roberto Bagnara (University of Parma) Roberta Gori (University of Pisa) Patricia M. Hill (University of Leeds) Enea Zaffanella (University of Parma) |
Invited talk (Chair: J. Larus) | ||
---|---|---|
9:00—10:00 | Applications of Extended Static Checking | K. Rustan M. Leino (Compaq SRC) |
10:00—10:30 | Coffee break | Data structures (Chair: T. Reps) |
10:30—11:00 | Cleanness Checking of String Manipulations in C Programs via Integer Analysis | Nurit Dor Michael Rodeh Mooly Sagiv |
11:00—11:30 | Solving Regular Tree Grammar Based Constraints | Yanhong A. Liu, Ning Li, Scott D. Stoller |
11:30—12:00 | Static analyses of floating-point operations | Éric Goubault |
12:00—13:30 | Lunch | Pointer analysis (Chair: Kwangkeun Yi) |
13:30—14:00 | Estimating the Impact of Scalable Pointer Analysis on Optimization | Manuvir Das, Ben Liblit, Manuel Fahndrich, Jakob Rehof |
14:00—14:30 | Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses | Donglin Liang and Mary Jean Harrold |
Model Checking (Chair: Kwangkeun Yi) | ||
14:30—15:00 | Parametric Optimization of Open Real-Time Systems | Farn Wang, Hsu-Chun Yen |
15:00—15:30 | Embedding Chaos | Natalia Sidorova and Martin Steffen |
15:30—16:00 | Coffee break | Abstract Model Checking (Chair: A. Podelski) |
16:00—16:30 | Analyzing Fair Parametric Extended Automata | A. Annichini, A. Bouajjani, Y. Lakhnech, and M. Sighireanu |
16:30—17:00 | Incompleteness, Counterexamples and Refinements in Abstract Model-Checking | Roberto Giacobazzi and Elisa Quintarelli |
Invited Industrial Static Analysis Tool Demos (Chair: M. Sagiv) | ||
---|---|---|
17:00—17:30 | Tool demo: Stack Usage Analysis Stack overflow is now a thing of the past!! | R. Heckmann (AbsInt Angewandte Informatik GmbH) |
17:30—18:00 | Tool demo: Worst Case Execution Time Prediction for Hard Real-Time Systems | R. Heckmann (AbsInt Angewandte Informatik GmbH) | Conference Reception, 20:00, Grand Salon, La Sorbonne (Entrance: 47 rue des Écoles) |
Invited talk (Chair: G. Levi) | ||
---|---|---|
9:00—10:00 | Language-based Security: What's needed and Why | Fred Schneider |
10:00—10:30 | Coffee break | Mobility (Chair: A. Gordon) |
10:30—11:00 | A Behavioral Module System for the Pi-Calculus | Sriram K. Rajamani and Jakob Rehof |
11:00—11:30 | An Abstract Interpretation Framework for Analysing Mobile Ambients | Francesca Levi and Sergio Maffeis |
11:30—12:00 | Abstract Interpretation-Based Static Analysis of Mobile Ambients | Jérôme Feret |
12:00—13:30 | Lunch | Invited Session on Security (F. Schneider) |
13:30—14:15 | Static analysis and software assurance | David Wagner (University of California, Berkeley |
14:15—15:00 | A Type and Effect Analysis of Security Protocols | Andrew Gordon (Microsoft Research, Cambridge) |
15:00—15:30 | Coffee break | Invited Session on Security (Cont'd) (Chair: D. Schmidt) |
15:30—16:15 | Abstracting Cryptographic Protocols by Prolog Rules | Bruno Blanchet (Inria) |
16:15—17:00 | Security-typed languages | Andrew Myers (Cornell University) |
Academic Static Analysis Prototype Demos (Chair: L. Mauborgne) | ||
---|---|---|
17:00—17:25 | LOOP, a localised analyser for object-oriented programs | Fausto Spoto |
17:25—17:40 | Jerôme Feret | |
17:40—18:05 | A slicing-based tool for identifying duplicated code in C programs | Raghavan Komondoor |
18:05—18:30 | A new model-checker for real-time systems based on BDD-like data-structures | Farn Wang |
18:30—18:40 | Abstract interpretation of probabilistic programs | David Monniaux |