1 citations · 1 across the 1 of their papers we have counts for
1 paper
Kostas Ferles, Jacob Van Geffen, Isil Dillig +1
Explicit signaling between threads is a perennial cause of bugs in concurrent programs. While there are several run-time techniques to automatically notify threads upon the availab…