Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| svarm11:program [2011/04/12 17:11] – cesar.sanchez | svarm11:program [2011/04/12 18:14] (current) – cesar.sanchez | ||
|---|---|---|---|
| Line 25: | Line 25: | ||
| ^ 09:00 - 10:20 ^ ^ SESSION 3 ^ ^ | ^ 09:00 - 10:20 ^ ^ SESSION 3 ^ ^ | ||
| | 09:00 | Philipp Ruemmer | Craig interpolation for integer arithmetic, uninterpreted functions, and the theory of arrays | {{: | | 09:00 | Philipp Ruemmer | Craig interpolation for integer arithmetic, uninterpreted functions, and the theory of arrays | {{: | ||
| - | | 09:20 | Alessandro Armando | SMT-based symbolic model checking of administrative access control policies | | | + | | 09:20 | Alessandro Armando | SMT-based symbolic model checking of administrative access control policies | {{: |
| | 09:40 | Eran Yahav |Synthesis of memory fences | {{: | | 09:40 | Eran Yahav |Synthesis of memory fences | {{: | ||
| | 10:00 | | | | | | 10:00 | | | | | ||
| Line 68: | Line 68: | ||
| | | | | | | | | | | | | ||
| ^ 14:00 - 16:00 ^ ^ SESSION 9 ^ ^ | ^ 14:00 - 16:00 ^ ^ SESSION 9 ^ ^ | ||
| - | | 14:00 | Ruslán Garza | Analysis and Verification of Higher Order Functional Programs: An Automata Theoretic Approach | {{: | + | | 14:00 | Ruslán |
| | 14:20 | Johannes Kinder | Static Analysis of x86 Executables | | | | 14:20 | Johannes Kinder | Static Analysis of x86 Executables | | | ||
| | 14:40 | Ruzica Piskac | Software Synthesis using Automated Reasoning |{{: | | 14:40 | Ruzica Piskac | Software Synthesis using Automated Reasoning |{{: | ||