Concepedia

Jean-Baptiste Tristan

JT

17

Publications

702

Citations

13

H-Index

2008

Active since

Affiliations

Harvard University Press(Current)

Oracle (United States)

Carnegie Mellon University

Institut national de recherche en sciences et technologies du numérique

Jean-Baptiste Tristan is an author at Harvard University Press specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisComputer EngineeringData ScienceVerificationSoftware TestingSoftware AnalysisFormal Verification

Publications per year

2008–2022

17

Publications

17

RockSalt

Greg Morrisett, Gang Tan, Joseph Tassarotti et al. · 2012 · 136 citations

Program Checking, X86 Instruction, Engineering +16

Formal verification of translation validators

Jean-Baptiste Tristan, Xavier Leroy · 2008 · 96 citations · Full text

Program Checking, Engineering, Compiler Technology +23

Evaluating value-graph translation validation for LLVM

Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett · ACM SIGPLAN Notices · 2011 · 72 citations

Engineering, Compiler Technology, Verification +23

Evaluating value-graph translation validation for LLVM

Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett · 2011 · 65 citations

Engineering, Compiler Technology, Verification +23

Verified validation of lazy code motion

Jean-Baptiste Tristan, Xavier Leroy · 2009 · 61 citations · Full text

Program Checking, Engineering, Compiler Technology +21

Rows per page

1–5 of 17