Cited By
View all- Reynolds TProcter AHarrison WAllwein G(2019)The Mechanized Marriage of Effects and Monads with Applications to High-assurance HardwareACM Transactions on Embedded Computing Systems10.1145/327428218:1(1-26)Online publication date: 8-Jan-2019
- Zhang MHuang JCao MBond M(2015)Low-overhead software transactional memory with progress guarantees and strong semanticsACM SIGPLAN Notices10.1145/2858788.268851050:8(97-108)Online publication date: 24-Jan-2015
- Zhang MHuang JCao MBond MCohen AGrove D(2015)Low-overhead software transactional memory with progress guarantees and strong semanticsProceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming10.1145/2688500.2688510(97-108)Online publication date: 24-Jan-2015
- Show More Cited By