Daryl Zuniga

I'm a CS undergrad at UW working with Eric Mullen, Zach Tatlock, and Dan Grossman to build a framework for formally verifying assembly transformations.