Vincent Nimal

Identifiers

• name variant Vincent Nimal 0.60 · backfill

Papers (2)

1. Don't sit on the fence: A static analysis approach to automatic fence insertion cs.LO · 2013 · author #3
2. Software Verification for Weak Memory via Program Transformation cs.LO · 2012 · author #3

Mentions

• 1312.1411 #3 · backfill · confidence 0.70 Vincent Nimal
• 1207.7264 #3 · backfill · confidence 0.70 Vincent Nimal

Frequent Coauthors

• Daniel Kroening 2 shared papers
• Jade Alglave 2 shared papers
• Daniel Poetzl 1 shared papers
• Michael Tautschnig 1 shared papers