| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 3 |       | Jean-Baptiste Tristan, Xavier Leroy: A simple, verified validator for software pipelining. POPL 2010: 83-92 |
| 2 | | Jean-Baptiste Tristan, Xavier Leroy: Verified validation of lazy code motion. PLDI 2009: 316-326 |
| 1 | | Jean-Baptiste Tristan, Xavier Leroy: Formal verification of translation validators: a case study on instruction scheduling optimizations. POPL 2008: 17-27 |
Selection of 3 from 4 records - Jean-Baptiste Tristan has 3 coauthors
Last update 2012-02-17 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page