Speaker: Victor Yuefan Deng
<u>EDIC candidacy exam</u><br>
Exam president: Prof. Viktor Kuncak<br>
Thesis advisor: Prof. Clément Pit-Claudel<br>
Co-examiner: Prof. Nate Foster<br>
<br>
<u>Abstract</u><br>
<br>
<u>Selected papers</u>
<ul>
<li>Formal certification of a compiler back-end or: programming a compiler with a proof assistant. <a data-auth="NotApplicable" href="https://dl.acm.org/doi/10.1145/1111320.1111042">https://dl.acm.org/doi/10.1145/1111320.1111042</a></li>
<li>Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics. <a data-auth="NotApplicable" href="https://dl.ac