About Me

zachary tatlock
I am a second year PhD student working with Sorin Lerner and Ranjit Jhala at UCSD in Computer Science. I am interested in programming languages, program analysis, and compilers. My research so far has been:

  1. QUAIL: Studying cross-language type checking by statically proving the type safety of queries built from flat strings in Java programs (specifically for persistence frameworks implementing JPA).

  2. PEGGY: Developing an intermediate program representation that facilitates automated reasoning about program equivalence by representing many programs at once.

I completed BS degrees in Computer Science and Mathematics as well as a minor in Philosophy at Purdue University in the Spring of 2007.

Contact Information

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

Email:   email address

Phone: phone number