Xiaomu Shi (LIAMA)

Identifiers

• name variant Xiaomu Shi (LIAMA) 0.60 · backfill

Papers (2)

1. First steps towards the certification of an ARM simulator using Compcert cs.LO · 2012 · author #1
2. Designing a CPU model: from a pseudo-formal document to fast code cs.SE · 2011 · author #6

Mentions

• 1202.6472 #1 · backfill · confidence 0.70 Xiaomu Shi (LIAMA)
• 1109.4351 #6 · backfill · confidence 0.70 Xiaomu Shi (LIAMA)

Frequent Coauthors

• Fr\'ed\'eric Blanqui (LIAMA) 2 shared papers
• Jean-Fran\c{c}ois Monin (LIAMA 2 shared papers
• UJF) 2 shared papers
• Claude Helmstetter (LIAMA) 1 shared papers
• Frederic Tuong (LIAMA) 1 shared papers
• Vania Joloboff (LIAMA) 1 shared papers