Tristan, Jean-Baptiste - School of Engineering and Applied Sciences, Harvard University

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Tristan, Jean-Baptiste - School of Engineering and Applied Sciences, Harvard University

PARIS. DIDEROT UNIVERSITY (Paris 7) GRADUATE SCHOOL OF MATHEMATICAL SCIENCE OF PARIS
Evaluating Value-Graph Translation Validation for LLVM Jean-Baptiste Tristan Paul Govereau Greg Morrisett
Verified Validation of Lazy Code Motion Jean-Baptiste Tristan