Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
svarm11:program [2011/04/12 19:11] cesar.sanchez |
svarm11:program [2011/04/12 20:14] (current) cesar.sanchez |
||
|---|---|---|---|
| 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 | {{:svarm11:garzasvarm11.pdf|slides}} | | + | | 14:00 | Ruslán Ledesma Garza | Analysis and Verification of Higher Order Functional Programs: An Automata Theoretic Approach | {{:svarm11:garzasvarm11.pdf|slides}} | |
| | 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 |{{:svarm11:ruzicapiskac.ppt|slides}} | | | 14:40 | Ruzica Piskac | Software Synthesis using Automated Reasoning |{{:svarm11:ruzicapiskac.ppt|slides}} | | ||