Showing 1 - 10 results of 10 for search 'Alglave, J', query time: 0.02s
Refine Results
-
1
Partial orders for efficient bounded model checking of concurrent software by Alglave, J, Kroening, D, Tautschnig, M
Published 2013Conference item -
2
Making Software Verification Tools Really Work by Alglave, J, Donaldson, A, Kroening, D, Tautschnig, M
Published 2011Conference item -
3
Don't Sit on the Fence − A Static Analysis Approach to Automatic Fence Insertion by Alglave, J, Kroening, D, Nimal, V, Poetzl, D
Published 2014Conference item -
4
Software verification for weak memory via program transformation by Alglave, J, Kroening, D, Nimal, V, Tautschnig, M
Published 2013Conference item -
5
Software Verification for Weak Memory via Program Transformation by Alglave, J, Kroening, D, Nimal, V, Tautschnig, M
Published 2013Conference item -
6
Don’t sit on the fence: A static analysis approach to automatic fence insertion by Kroening, D, Alglave, J, Nimal, V, Poetzl, D
Published 2017Journal article -
7
Soundness of Data Flow Analyses for Weak Memory Models by Alglave, J, Kroening, D, Lugton, J, Nimal, V, Tautschnig, M
Published 2011Conference item -
8
Soundness of data flow analyses for weak memory models by Alglave, J, Kroening, D, Lugton, J, Nimal, V, Tautschnig, M
Published 2011Conference item -
9
Soundness of Data Flow Analyses for Weak Memory Models by Alglave, J, Kroening, D, Lugton, J, Nimal, V, Tautschnig, M
Published 2011Conference item -
10
GPU Concurrency: Weak Behaviours and Programming Assumptions by Alglave, J, Batty, M, Donaldson, A, Gopalakrishnan, G, Ketema, J, Poetzl, D, Sorensen, T, Wickerson, J
Published 2015Conference item