Publisher
Springer Nature Switzerland
Reference25 articles.
1. Farzan, A., Vandikas, A.: Reductions for safety proofs. In: Proceedings of the ACM on Programming Languages, vol. 4, no. POPL, pp. 1–28 (2019)
2. Kragl, B., Qadeer, S.: The civl verifier. In: 2021 Formal Methods in Computer Aided Design (FMCAD), pp. 143–152. IEEE (2021)
3. Flanagan, C., Freund, S.N.: The anchor verifier for blocking and non-blocking concurrent software. In: Proceedings of the ACM on Programming Languages, vol. 4, no. OOPSLA, pp. 1–29 (2020)
4. Rinard, M.C., Diniz, P.C.: Commutativity analysis: a new analysis technique for parallelizing compilers. ACM Trans. Program. Lang. Syst. (TOPLAS) 19(6), 942–991 (1997). https://citeseer.ist.psu.edu/rinard97commutativity.html
5. Spiegelman, A., Golan-Gueta, G., Keidar, I.: Transactional data structure libraries. ACM SIGPLAN Not. 51(6), 682–696 (2016)