Decomposing Data Structure Commutativity Proofs with $$m\!n$$-Differencing-Reference-Cited by-同舟云学术

Decomposing Data Structure Commutativity Proofs with $$m\!n$$-Differencing

Published:2021 Issue: Volume: Page:81-103
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Koskinen Eric,Bansal Kshitij

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-67067-2_5

Reference44 articles.

1. Infer static analyzer. https://fbinfer.com/

2. Verifast. https://github.com/verifast/verifast

3. Abadi, M., Lamport, L.: The existence of refinement mappings. Theor. Comput. Sci. 82, 253–284 (1991)

4. Aleen, F., Clark, N.: Commutativity analysis for software parallelization: letting program transformations see the big picture. In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-XII) (2009), ACM, pp. 241–252 (2009)

5. Antonopoulos, T., Gazzillo, P., Hicks, M., Koskinen, E., Terauchi, T., Wei, S.: Decomposition instead of self-composition for proving the absence of timing channels. In: Cohen, A., Vechev, M.T. (eds.) Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, 18–23 June 2017, pp. 362–375. ACM (2017)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity;Proceedings of the ACM on Programming Languages;2023-06-06

2. Stratified Commutativity in Verification Algorithms for Concurrent Programs;Proceedings of the ACM on Programming Languages;2023-01-09

3. Veracity: declarative multicore programming with commutativity;Proceedings of the ACM on Programming Languages;2022-10-31