Author:
Sen Koushik,Viswanathan Mahesh
Publisher
Springer Berlin Heidelberg
Cited by
64 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures;Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management;2024-06-20
2. Multiparty half-duplex systems and synchronous communications;Journal of Logical and Algebraic Methods in Programming;2023-02
3. Data Partitioning and Asynchronous Processing to Improve the Embedded Software Performance on Multicore Processors;Informatics and Automation;2022-02-17
4. Context-bounded verification of thread pools;Proceedings of the ACM on Programming Languages;2022-01-12
5. Towards Generalised Half-Duplex Systems;Electronic Proceedings in Theoretical Computer Science;2021-10-02