James Bornholt

GitHub
Google Scholar
DBLP
Blog
Email
CV

27 June 2017

PLDI 2017 video

The video from my PLDI 2017 talk about memory model synthesis is available.