Amanote Research
Register
Sign In
Automated Atomicity-Violation Fixing
doi 10.1145/1993498.1993544
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2011
Authors
Guoliang Jin
Linhai Song
Wei Zhang
Shan Lu
Ben Liblit
Publisher
ACM Press
Related search
Causal Atomicity
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving Atomicity: An Assertional Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Exploiting Purity for Atomicity
Customized Atomicity Specification for Transactional Workflows
A Type and Effect System for Atomicity
ACM SIGPLAN Notices
Higher Order Cohomology Operations and Minimal Atomicity
Homology, Homotopy and Applications
Mathematics
Some Notes on Atomicity and Distributivity in Japanese
International Journal of Linguistics
BAVC: Classifying Benign Atomicity Violations via Machine Learning
Scalable Implementations of MPI Atomicity for Concurrent Overlapping I/O
