Fast, Sound, and Effectively Complete Dynamic Race Prediction

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

DOI

OriginalsprogEngelsk
Artikelnummer17
TidsskriftProceedings of the ACM on Programming Languages
Vol/bind4
NummerPOPL
Sider (fra-til)1-29
Antal sider29
DOI
StatusUdgivet - 2020

    Forskningsområder

  • predictive analyses, concurrency, race detection

Se relationer på Aarhus Universitet Citationsformater

ID: 179739442