Login / Signup

ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs.

Yan CaiShangru WuW. K. Chan
Published in: ICSE (2014)
Keyphrases
  • dynamic environments
  • dynamically changing
  • multiscale
  • open source
  • data structure