CONCURRIT
a domain specific language for reproducing concurrency bugs
release_iwrufg3nargpdd6dxcgled47q4
by
Tayfun Elmas,
Jacob Burnim,
George Necula,
Koushik Sen
| 1 |
Tayfun Elmas
author |
| 2 |
Jacob Burnim
author |
| 3 |
George Necula
author |
| 4 |
Koushik Sen
author |