KRUUS ERIC J

Fast and accurate data race detection for concurrent programs with asynchronous calls