Static Application-Level Race Detection in STM Haskell using Contracts.

Romain Demeyer Wim Vanhoof

Published in: PLACES (2013)

Keyphrases

application level
operating system
bottle neck
detection method
network management
virtual machine
quality of service
false positives
object detection
detection algorithm
overlay network
network services
database
computer systems
supply chain
high level
web services
real time