Formally verified native compilation for modern regexes
Event details
| Date | 04.08.2026 |
| Hour | 09:30 › 11:30 |
| Speaker | Victor Yuefan Deng |
| Location | |
| Category | Conferences - Seminars |
EDIC candidacy exam
Exam president: Prof. Viktor Kuncak
Thesis advisor: Prof. Clément Pit-Claudel
Co-examiner: Prof. Nate Foster
Abstract
Selected papers
Exam president: Prof. Viktor Kuncak
Thesis advisor: Prof. Clément Pit-Claudel
Co-examiner: Prof. Nate Foster
Abstract
Selected papers
Practical information
- General public
- Free