Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations

Xiaoxue Ma, Imran Ashraf, W. K. Chan 0001. Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations. IEEE Transactions on Reliability, 72(2):808-826, 2023. [doi]

Authors

Xiaoxue Ma

This author has not been identified. Look up 'Xiaoxue Ma' in Google

Imran Ashraf

This author has not been identified. Look up 'Imran Ashraf' in Google

W. K. Chan 0001

This author has not been identified. Look up 'W. K. Chan 0001' in Google