Towards verifiable network data structures
Event details
| Date | 27.05.2015 |
| Hour | 10:00 |
| Speaker | Arseniy Zaostrovnykh |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Viktor Kuncak
Thesis director: Prof. Katerina Argyraki
Thesis co-director: Prof. George Candea
Co-examiner: Prof. Christoph Koch
Research Proposal
Compositional May-Must Program Analysis: Unleashing the Power of Alternation by Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, Sai Deep Tetali.
Formal verification of an OS kernel."/Proceedings of the ACM SIGOPS 22nd symposium on Operating principles/. ACM, 2009 by Klein, Gerwin, et al.
The Click Modular Router by Eddie Kohler , Robert Morris, Benjie Chen et al.
Exam president: Prof. Viktor Kuncak
Thesis director: Prof. Katerina Argyraki
Thesis co-director: Prof. George Candea
Co-examiner: Prof. Christoph Koch
Research Proposal
Compositional May-Must Program Analysis: Unleashing the Power of Alternation by Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, Sai Deep Tetali.
Formal verification of an OS kernel."/Proceedings of the ACM SIGOPS 22nd symposium on Operating principles/. ACM, 2009 by Klein, Gerwin, et al.
The Click Modular Router by Eddie Kohler , Robert Morris, Benjie Chen et al.
Practical information
- General public
- Free
Contact
- Evelyn Duperrex