Login / Signup
Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion.
Jade Alglave
Daniel Kroening
Vincent Nimal
Daniel Poetzl
Published in:
ACM Trans. Program. Lang. Syst. (2017)
Keyphrases
</>
static analysis
dynamic analysis
source code
malicious code
symbolic execution
semi automatic
fully automatic
test generation
abstract interpretation
databases
regular expressions
case study
database applications
client server
java card
object oriented databases
database systems
learning algorithm
real world