Author:
Cherem Sigmund,Chilimbi Trishul,Gulwani Sumit
Cited by
79 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. AtomiS: Data-Centric Synchronization Made Practical;Proceedings of the ACM on Programming Languages;2023-10-16
2. Veracity: declarative multicore programming with commutativity;Proceedings of the ACM on Programming Languages;2022-10-31
3. Multi-Interval DomLock: Toward Improving Concurrency in Hierarchies;ACM Transactions on Parallel Computing;2022-08-18
4. A theory of transaction parallelism in blockchains;Logical Methods in Computer Science;2021-11-18
5. Grafs: declarative graph analytics;Proceedings of the ACM on Programming Languages;2021-08-22