Search Results for 'doublechecker efficient sound and precise atomicity checki'

doublechecker efficient sound and precise atomicity checki published presentations and documents on DocSlides.

DoubleChecker: Efficient Sound and Precise Atomicity Checki

by karlyn-bohler

Swarnendu Biswas, . Jipeng Huang, Aritra Sengupta...

DoubleChecker: Efficient Sound and Precise Atomicity Checki

by myesha-ticknor

Swarnendu Biswas, . Jipeng Huang, Aritra Sengupta...