Tristan Ravitch is an author at Galois (United States) specializing in computer science, program analysis, and formal verification.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringLanguageSecurityLinguistics
Publications per year
2009–2014
2
2
Multi-App Security Analysis with FUSE
Tristan Ravitch, E. Rogan Creswick, Aaron Tomb et al. · 2014 · 50 citations
Automatic generation of library bindings using static analysis
Tristan Ravitch, Steve T. Jackson, Eric Aderhold et al. · 2009 · 20 citations
Rows per page
1–2 of 2