3 citations · 4 across the 2 of their papers we have counts for
3 papers
cs.PL2016
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Simon Gay, Jade Alglave
PLACES 2015 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the eighth edition of the PLACES workshop series. After the first PL…
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…
cs.LO2012★ 1 cited
Software Verification for Weak Memory via Program Transformation
Jade Alglave, Daniel Kroening, Vincent Nimal +1
Despite multiprocessors implementing weak memory models, verification methods often assume Sequential Consistency (SC), thus may miss bugs due to weak memory. We propose a sound tr…