Login / Signup

Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion.

Sander de PutterAnton Wijs
Published in: IFM (2020)
Keyphrases
  • static analysis
  • space exploration
  • dynamic analysis
  • concurrency control
  • java card
  • symbolic execution
  • obstacle avoidance
  • data sets
  • neural network
  • source code
  • regular expressions
  • abstract interpretation