ACM/IEEE International Conference on Software Engineering, ICSE 2016


Article Details
Title: Locking discipline inference and checking
Article URLs:
Alternative Article URLs:
Authors: Michael D. Ernst
  • University of Washington, CSE
Alberto Lovato
  • Universit√† di Verona, Italy
Damiano Macedonio
  • Julia Srl, Italy
Fausto Spoto
  • Julia Srl, Italy
  • Universit√† di Verona, Italy
Javier Thaine
  • University of Washington, CSE
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/icse/ErnstLMST16
Author Comments:

Discuss this paper and its artifacts below