Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
haifa12 [2012/10/29 11:43] eran.yahav |
haifa12 [2012/10/30 19:47] eran.yahav |
||
---|---|---|---|
Line 41: | Line 41: | ||
| 10:45-11:30 | PINCETTE project: validation of changes and upgrades in large software systems | Hana Chockler (invited talk) | | | 10:45-11:30 | PINCETTE project: validation of changes and upgrades in large software systems | Hana Chockler (invited talk) | | ||
| 11:30-11:45 | short break || | | 11:30-11:45 | short break || | ||
- | | 11:45-12:15 | Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives | Yaron Velner | | + | | 11:45-12:10 | Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives | Yaron Velner | |
- | | 12:15-12:45 | Privacy for Linked Data | Silvia Ghilezan | | + | | 12:10-12:35 | Privacy for Linked Data | Silvia Ghilezan | |
- | | 12:45-14:00 | Lunch Break || | + | | 12:35-14:00 | Lunch Break || |
- | | 14:00-14:30 | Interpolant Strength in Model Checking | Simone Rollini | | + | | 14:00-14:25 | Interpolant Strength in Model Checking | Simone Rollini | |
- | | 14:30-15:00 | Assisted Verification of Invariance for Parametrized Systems | Alejandro Sánchez | | + | | 14:25-14:50 | Assisted Verification of Invariance for Parametrized Systems | Alejandro Sánchez | |
- | | 15:00-15:30 | Interpolation for resolution and superposition | Maria Paola Bonacina | | + | | 14:50-15:15 | Interpolation for resolution and superposition | Maria Paola Bonacina | |
- | | 15:30-16:00 | Reductions for Synthesis Procedures | Philippe Suter | | + | | 15:15-15:30 | short break || |
- | | 16:00-16:15 | short break || | + | | 15:30-15:55 | Reductions for Synthesis Procedures | Philippe Suter | |
- | | 16:15-17:30 | Management Committee Meeting || | + | | 15:55-16:20 | Logico-Numerical Max-Strategy Iteration | Pavle Subotic | |
+ | | 16:20-16:45 | TBD | Markus Rabe || | ||
+ | | 16:45-17:00 | short break || | ||
+ | | 17:00-18:00 | Management Committee Meeting || | ||
===== Invited Talks (under construction) ===== | ===== Invited Talks (under construction) ===== | ||
Line 271: | Line 274: | ||
applicable, thus simplifying both the presentation and the correctness | applicable, thus simplifying both the presentation and the correctness | ||
argument. | argument. | ||
+ | |||
+ | |||
+ | ---- | ||
+ | **Logico-Numerical Max-Strategy Iteration** | ||
+ | //Pavle Subotic// | ||
+ | |||
+ | Strategy iteration methods are used for solving fixed point equations. | ||
+ | It has been shown that they improve precision in static analysis based | ||
+ | on abstract interpretation | ||
+ | and template polyhedra. However, they are limited to numerical | ||
+ | programs. In this talk a method for applying max-strategy iteration to | ||
+ | logico-numerical programs is presented. This method computes the least | ||
+ | fixed point w.r.t. the abstract domain; in particular, it does not | ||
+ | resort to widening. | ||
+ | |||
+ | (Joint work with Peter Schrammel, INRIA Grenoble) |