173 citations · 655 across the 66 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013★ 38 cited
Don't sit on the fence: A static analysis approach to automatic fence insertion
Jade Alglave, Daniel Kroening, Vincent Nimal +1
Modern architectures rely on memory fences to prevent undesired weakenings of memory consistency. As the fences' semantics may be subtle, the automation of their placement is highl…
cs.LO2013★ 3 cited
Partial Orders for Efficient BMC of Concurrent Software
Jade Alglave, Daniel Kroening, Michael Tautschnig
The vast number of interleavings that a concurrent program can have is typically identified as the root cause of the difficulty of automatic analysis of concurrent software. Weak m…