Export Citations
1 Results for: Keyword: Happens-before inducing
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,793,776 records)|Limit your search to The ACM Full-Text Collection (767,021 records)
Select All
- research-articleApril 2021
SherLock: unsupervised synchronization-operation inference
ASPLOS '21: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating SystemsPages 314–328https://doi.org/10.1145/3445814.3446754Synchronizations are fundamental to the correctness and performance of concurrent software. Unfortunately, correctly identifying all synchronizations has become extremely difficult in modern soft-ware systems due to the various types of ...