Travelled to:1 × Austria
1 × Italy
Collaborated with:J.Alglave D.Kröning D.Pötzl M.Tautschnig
Talks about:fenc (2) transform (1) approach (1) softwar (1) program (1) automat (1) analysi (1) static (1) memori (1) insert (1)
Person: Vincent Nimal
DBLP: Nimal:Vincent
Contributed to:
2014
2013Wrote 2 papers:
- CAV-2014-AlglaveKNP #approach #automation #static analysis
- Don’t Sit on the Fence — A Static Analysis Approach to Automatic Fence Insertion (JA, DK, VN, DP), pp. 508–524.
- ESOP-2013-AlglaveKNT #memory management #program transformation #verification
- Software Verification for Weak Memory via Program Transformation (JA, DK, VN, MT), pp. 512–532.