David A. W. Clarke

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

General Purpose

Top Venues

Publications

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