Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct. - David A. W. Clarke; Tim Miller 001; Antonette Mendoza (ASWEC (2), 2015)

Analyses of Java programs over weak memory. - David Anthony Winscom Clarke (2018)