Pegasus: automatic barrier inference for stable multithreaded systems.

Monika Dhok Rashmi Mudduluru Murali Krishna Ramanathan

Published in: ISSTA (2015)

Keyphrases

semi automatic
bayesian networks
real time
expert systems
management system
database
information retrieval
multi agent
control system
distributed systems
data driven
question answering
fully automatic