Dependence analysis for safe futures

Armand Navabi, Xiangyu Zhang, Suresh Jagannathan. Dependence analysis for safe futures. Science of Computer Programming, 77(6):707-726, 2012. [doi]

Abstract

Abstract is missing.