Author:
Černý Pavol,Radhakrishna Arjun,Zufferey Damien,Chaudhuri Swarat,Alur Rajeev
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lecture Notes in Computer Science;P. Abdulla,2009
2. Lecture Notes in Computer Science;R. Alur,2009
3. Lecture Notes in Computer Science;D. Amit,2007
4. Bojańczyk, M., Muscholl, A., Schwentick, T., Segoufin, L., David, C.: Two-variable logic on words with data. In: LICS, pp. 7–16 (2006)
5. Burckhardt, S., Alur, R., Martin, M.: Checkfence: checking consistency of concurrent data types on relaxed memory models. In: PLDI, pp. 12–21 (2007)
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying concurrent multicopy search structures;Proceedings of the ACM on Programming Languages;2021-10-20
2. ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained
Concurrency and Logical Atomicity;Logical Methods in Computer Science;2021-07-27
3. Automated Verification of Concurrent Search Structures;Synthesis Lectures on Computer Science;2021-06-01
4. Verifying concurrent search structure templates;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
5. Pointer life cycle types for lock-free data structures with memory reclamation;Proceedings of the ACM on Programming Languages;2020-01