DMCA

DoubleChecker: Efficient Sound and Precise Atomicity Checking ∗

Cached

Download Links

by Swarnendu Biswas , Jipeng Huang , Aritra Sengupta , Michael D. Bond
Citations:2 - 1 self