Matthieu Moy (VERIMAG - IMAG)

Identifiers

• name variant Matthieu Moy (VERIMAG - IMAG) 0.60 · backfill

Papers (3)

1. PAGAI: a path sensitive static analyzer cs.PL · 2012 · author #3
2. Succinct Representations for Abstract Interpretation cs.PL · 2012 · author #3
3. Efficient and Playful Tools to Teach Unix to New Students cs.OS · 2011 · author #1

Mentions

• 1207.3937 #3 · backfill · confidence 0.70 Matthieu Moy (VERIMAG - IMAG)
• 1206.4234 #3 · backfill · confidence 0.70 Matthieu Moy (VERIMAG - IMAG)
• 1103.1717 #1 · backfill · confidence 0.70 Matthieu Moy (VERIMAG - IMAG)

Frequent Coauthors

• David Monniaux (VERIMAG - Imag) 2 shared papers
• Julien Henry (VERIMAG - IMAG) 2 shared papers