Resource-sensitive synchronization inference by abduction.

Matko Botincan, Mike Dodds, Suresh Jagannathan

Browse the full POPL paper archive.