3 ms·

https://cseweb.ucsd.edu/~dstefan/cse227-spring20/papers/bessey:a-few.pdf https://cseweb.ucsd.edu/~dstefan/cse227-spring20/papers/bess...

• yjftsjthsd-h 3y ago
  Specifically, on the last page of that: > As an example, for many years we gave up on checkers that flagged concurrency errors; while finding such errors was not too difficult, explaining them to many users was. (And thanks; I was also wondering about that)