vix.ing · top · new · best · stats · spec

Bond, Michael D.

  1. Dependence-Aware, Unbounded Sound Predictive Race Detection
    2019/04/30 by Genç, Kaan, Roemer, Jake, Xu, Yufan +1 · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)