Research

I am a third year PhD student working with Sorin Lerner and Ranjit Jhala at UCSD in Computer Science. My research involves:

• Parameterized Equivalence Checking : generalizing translation validation techniques to perform once-and-for-all correctness proofs of compiler optimizations. (PLDI 09)
• Equality Saturation : a new compiler optimization technique that mitigates the phase ordering problem and extends to translation validation. (POPL 09)
• Deep Typechecking and Refactoring : cross-language type checking to ensure safety at the interface between programs and databases. (OOPSLA 08)

About

I am interested in compilers, theorem provers, and formal methods. When I'm not hacking, I enjoy Rubik's cubes, juggling, and ultimate frisbee. In the Spring of 2007 I completed CS and Math degress at Purdue University. While there I performed research with Suresh Jagannathan and did my Honors Project with Antony Hosking.

My blog and projects are good places to find out what I am currently up to.

For the academic year 2009-2010, I am the grad studen representative to Gradcom, the departmental committee on graduate student affairs.

Contact

Email:    

Phone:  

Mailing Address:

        Zachary Tatlock
        Department of Computer Science and Engineering
        University of California, San Diego
        EBU3B, Room 3262
        9500 Gilman Drive, Mail Code 0404
        La Jolla, CA 92093-0404
        USA