• Udgivet

  The Complexity of Dynamic Data Race Prediction

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

• Udgivet

  The Fine-Grained Complexity of Andersen's Pointer Analysis

  Publikation: Working paper › Forskning

• Udgivet

  Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Vis alle (28) »