Author:
Hendler Danny,Shavit Nir,Yerushalmi Lena
Cited by
119 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Proof Recipe for Linearizability in Relaxed Memory Separation Logic;Proceedings of the ACM on Programming Languages;2024-06-20
2. Scenario-Based Proofs for Concurrent Objects;Proceedings of the ACM on Programming Languages;2024-04-29
3. FlowProf: Profiling Multi-threaded Programs using Information-Flow;Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction;2024-02-17
4. Intrathread Method Orders Based Adaptive Testing of Concurrent Objects;Lecture Notes in Computer Science;2024
5. Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic;Proceedings of the ACM on Programming Languages;2023-10-16