Research

Intrinsic Verification of a Regular Expression Matcher. With Maksim Trifunovski and Daniel R. Licata. Submitted, 2016.
[pdf]