Vincent Nimal

Affiliations:

University of Oxford, UK

According to our database¹, Vincent Nimal authored at least 4 papers between 2011 and 2017.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2017

Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2017

2014

Static analyses over weak memory.

[BibT_eX]

[DOI]

Vincent P. J. Nimal

PhD thesis, 2014

2013

Software Verification for Weak Memory via Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2013

2011

Soundness of Data Flow Analyses for Weak Memory Models.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

Vincent Nimal

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...