4 ms·

Groundbreaking? How so?

• KirinDave 11y ago
  While it's not amazing in academia, seeing static analysis of correctness for concurrent and parallel code is unusual outside of things like Haskell language extensions. Check out what they're doing. It's quite unusual to see.