Login / Signup

Efficient, near complete, and often sound hybrid dynamic data race prediction.

Martin SulzmannKai Stadtmüller
Published in: MPLR (2020)
Keyphrases