collaborators

1 paper

cs.PL2018

Symbolic Reasoning for Automatic Signal Placement (Extended Version)

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…