CTU Events
| Today | ||||||
|---|---|---|---|---|---|---|
| « | October 2019 | » | ||||
| Mo | Tu | We | Th | Fr | Sa | Su |
| 1 | 2 | 3 | 4 | 5 | 6 | |
| 7 | 8 | 9 | 10 | 11 | 12 | 13 |
| 14 | 15 | 16 | 17 | 18 | 19 | 20 |
| 21 | 22 | 23 | 24 | 25 | 26 | 27 |
| 28 | 29 | 30 | 31 | |||
44th meeting of the Prague computer science seminar
17 Oct 2019 16:15
Jan Vítek - Reasoning about programs: Soundness revisited
This talk will overview the foundations of program analysis; which started 50 years ago with data flow analysis and abstract interpretation. Advancing through the years, we will touch on some key techniques and discuss their practical implications. We will conclude with a look at unsound techniques, explain the sources of unsoundness and what can be done to mitigate it.
- Place
- Auditorium S5, MFF UK, Malostranské nám. 25, Prague 1
- Organizer
- Katedra kybernetiky FEL ČVUT
- Contact person
- Mgr. Helena Houšková
- More information
- http://www.praguecomputerscience.cz/?l=en&p=44
- Attachment
- Download