Inferring locks for atomic sections

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 ◽

10.1145/1375581.1375619 ◽

2008 ◽

Author(s):

Sigmund Cherem ◽

Trishul Chilimbi ◽

Sumit Gulwani

Download Full-text