Alex Sanchez-Stern Curriculum Vitae Education 2016–Present Doctor of Philosophy, Computer Science, University of California, San Diego. 2015–2016 Masters of Science, Computer Science, The University of Washington.

First Page		Document Content
Date: 2017-05-01 20:34:29 Computer engineering Computer science Electrical engineering Electronic engineering Thesis Emmy Noether Tatlock Education Knowledge Science and technology in Germany		Alex Sanchez-Stern Curriculum Vitae Education 2016–Present Doctor of Philosophy, Computer Science, University of California, San Diego. 2015–2016 Masters of Science, Computer Science, The University of Washington. Add to Reading List Source URL: alex.uwplse.org Download Document from Source Website File Size: 267,36 KB Share Document on Facebook

	S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock DocID: 1xTpt - View Document
	Programming and Proving with Distributed Protocols ILYA SERGEY, University College London, UK JAMES R. WILCOX, University of Washington, USA ZACHARY TATLOCK, University of Washington, USA Distributed systems play a cruci DocID: 1usJA - View Document
	Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract DocID: 1uqGb - View Document
	Establishing Browser Security Guarantees through Formal Shim Verification Dongseok Jang UC San Diego Zachary Tatlock DocID: 1rHV0 - View Document
	Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox DocID: 1pCyt - View Document