CHEREM SIGMUND ISY

System using backward inter-procedural analysis for determining alternative coarser grained lock when finer grained locks exceeding threshold