James Bornholt
GitHub
Google Scholar
DBLP
Blog
Email
CV
21 November 2018
OOPSLA video
The
video from my OOPSLA 2018 talk
on
profiling symbolic evaluation engines
is now available.
