Yann R\'egis-Gianas (PPS

Identifiers

• name variant Yann R\'egis-Gianas (PPS 0.60 · backfill

Papers (1)

1. Certifying cost annotations in compilers cs.PL · 2010 · author #4

Mentions

• 1010.1697 #4 · backfill · confidence 0.70 Yann R\'egis-Gianas (PPS

Frequent Coauthors

• INRIA Paris - Rocquencourt) 1 shared papers
• Nicolas Ayache (PPS 1 shared papers
• Roberto M. Amadio (PPS) 1 shared papers
• Ronan Saillard (PPS 1 shared papers