Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to researchers

Tristan Ravitch

Amazon (United States)

13

Works

103

Citations

5

h-index

2

i10-index

Research Topics

Parallel Computing and Optimization Techniques Logic, programming, and type systems Software Engineering Research

Affiliations

Amazon (United States)2025–2025

University of Wisconsin–Madison2009–2013

Galois (United States)2014–2021

Top Works

Multi-App Security Analysis with FUSE

Tristan Ravitch,E. Rogan Creswick,et al.

201450 citations

Tristan Ravitch | Researchclopedia

Software Testing and Debugging Techniques

Privacy-Preserving Technologies in Data

Automatic generation of library bindings using static analysis

Tristan Ravitch,Steve T. Jackson,et al.

200920 citations

Dependently typed Haskell in industry (experience report)

David Thrane Christiansen,Iavor S. Diatchki,et al.

20197 citations

Crux: Symbolic Execution Meets SMT-based Verification (Competition Contribution)

Ryan P. Scott,Robert Dockins,et al.

20217 citations

Analyzing memory ownership patterns in C libraries

Tristan Ravitch,Ben Liblit

20136 citations

Automatic generation of library bindings using static analysis

Tristan Ravitch,Steve T. Jackson,et al.

20095 citations

Analyzing memory ownership patterns in C libraries

Tristan Ravitch,Ben Liblit

20135 citations

Verified Foundations for Differential Privacy

Markus de Medeiros,Muhammad Naveed,et al.

20253 citations

Statistically Debugging Massively-Parallel Applications

Bronis R. de Supinski,Ben Liblit,et al.

20130 citations