Login / Signup

BigFoot: static check placement for dynamic race detection.

Dustin RhodesCormac FlanaganStephen N. Freund
Published in: PLDI (2017)
Keyphrases