Efficient Detection of First Races in Concurrent Signal Handlers. - Sahaja Dorankula; Guy Martin Tchamgoue; Yong-Kee Jun (FGIT-GDC/IESH/CGAG, 2012)