Author:
Baek Woongki,Bronson Nathan,Kozyrakis Christos,Olukotun Kunle
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Checking Opacity and Durable Opacity with FDR;Software Engineering and Formal Methods;2021
2. Transaction Protocol Verification with Labeled Synchronization Logic;Lecture Notes in Computer Science;2019
3. Data Independence for Software Transactional Memory;Lecture Notes in Computer Science;2019
4. A Transactional Correctness Tool for Abstract Data Types;ACM Transactions on Architecture and Code Optimization;2017-12-31
5. Decomposing Opacity;Lecture Notes in Computer Science;2014