I am a second year Ph.D. student in the Computer Science Department at CMU. My
advisor is Robert Harper
interested in programming languages, formal verification, and mathematical logic.
As an undergraduate, I worked with Greg Morrisett
as part of the GoNative
project. Last summer, I
was an intern at MPI-SWS
, advised by Derek Dreyer
and Viktor Vafeiadis
. In the summer of
2013, I interned at Oracle Labs
. The summer before that, I was an intern at Inria
as a member of the Gallium
team under the supervision of Xavier Leroy
- Verifying Read-Copy-Update in a Logic for Weak Memory.
J. Tassarotti, D. Dreyer, V. Vafeiadis.
To appear in ACM Conference on Programming Language Design and Implementation (PLDI '15), Jun. 2015.
- Augur: Data-Parallel Probabilistic Modeling.
J.B. Tristan, D. Huang, J. Tassarotti, A. C. Pocock, S. J. Green, G. L. Steele Jr.
Neural Information Processing Systems (NIPS), Dec. 2014
- RockSalt: Better, Faster, Stronger SFI for the x86.
G. Morrisett, G. Tan, J. Tassarotti, J.B. Tristan, and E. Gan.
ACM Conference on Programming Language Design and Implementation (PLDI '12), Jun. 2012.