Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
svarm11:program [2011/04/12 19:11] cesar.sanchez |
svarm11:program [2011/04/12 19:11] 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 | {{:svarm11:slides-philipp-ruemmer.pdf|slides}}| | | 09:00 | Philipp Ruemmer | Craig interpolation for integer arithmetic, uninterpreted functions, and the theory of arrays | {{:svarm11:slides-philipp-ruemmer.pdf|slides}}| | ||
- | | 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 | {{:svarm11:armandotalk-svarm11.pdf|slides}}| |
| 09:40 | Eran Yahav |Synthesis of memory fences | {{:svarm11:yahavslides.pptx|slides}} | | | 09:40 | Eran Yahav |Synthesis of memory fences | {{:svarm11:yahavslides.pptx|slides}} | | ||
| 10:00 | | | | | | 10:00 | | | | |