Vincent Nimal

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 1

Top Topics

Computer Programs

Static Analysis

Memory Footprint

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. ACM Trans. Program. Lang. Syst. 39 (2) (2017)
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion. CAV (2014)
Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig
Software Verification for Weak Memory via Program Transformation. ESOP (2013)
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
Don't sit on the fence: A static analysis approach to automatic fence insertion. CoRR (2013)
Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig
Software Verification for Weak Memory via Program Transformation CoRR (2012)
Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig
Soundness of Data Flow Analyses for Weak Memory Models. APLAS (2011)