Automatic generation of library bindings using static analysis. - Tristan Ravitch; Steve Jackson 002; Eric Aderhold; Ben Liblit (PLDI, 2009)

Analyzing memory ownership patterns in C libraries. - Tristan Ravitch; Ben Liblit (ISMM, 2013)

Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion. - Tristan Ravitch; E. Rogan Creswick; Aaron Tomb; Adam Foltzer; Trevor Elliott; Ledah Casburn (PPREW@ACSAC, 2014)

Dependently typed Haskell in industry (experience report). - David Thrane Christiansen; Iavor S. Diatchki; Robert Dockins; Joe Hendrix; Tristan Ravitch (Proc. ACM Program. Lang., 2019)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst. - Ryan G. Scott; Brett Boston; Benjamin Davis; Iavor S. Diatchki; Mike Dodds; Joe Hendrix; Daniel Matichuk; Kevin Quick; Tristan Ravitch; Valentin Robert; Benjamin Selfridge; Andrei Stefanescu; et al. (CoRR, 2024)

Crux, a Precise Verifier for Rust and Other Languages. - Stuart Pernsteiner; Iavor S. Diatchki; Robert Dockins; Mike Dodds; Joe Hendrix; Tristan Ravitch; Patrick Redmond; Ryan G. Scott; Aaron Tomb (CoRR, 2024)

Verified Foundations for Differential Privacy. - Markus de Medeiros; Muhammad Naveed; Tancrède Lepoint; Temesghen Kahsai; Tristan Ravitch; Stefan Zetzsche; Anjali Joshi; Joseph Tassarotti; Aws Albarghouthi; Jean-Baptiste Tristan (Proc. ACM Program. Lang., 2025)