"Lock Inference in the Presence of Large Libraries."

Khilan Gudka, Tim Harris, Susan Eisenbach (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics