Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Jean-Baptiste Tristan

A Simple, Verified Validator for Software Pipelining

ACM SIGPLAN Notices
Computer Science
2010English

Evaluating Value-Graph Translation Validation for LLVM

ACM SIGPLAN Notices
2011English

Evaluating Value-Graph Translation Validation for LLVM

ACM SIGPLAN Notices
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy