Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Guoliang Jin
Automated Atomicity-Violation Fixing
Related publications
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
