A relational program logic with data abstraction and dynamic framing A Banerjee, R Nagasamudram, DA Naumann, M Nikouei ACM Transactions on Programming Languages and Systems 44 (4), 1-136, 2023 | 12 | 2023 |
An algebra of alignment for relational verification T Antonopoulos, E Koskinen, TC Le, R Nagasamudram, DA Naumann, ... Proceedings of the ACM on Programming Languages 7 (POPL), 573-603, 2023 | 11 | 2023 |
Alignment completeness for relational hoare logics R Nagasamudram, DA Naumann 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 10 | 2021 |
Alignment complete relational Hoare logics for some and all R Nagasamudram, A Banerjee, DA Naumann arXiv preprint arXiv:2307.10045, 2023 | 1 | 2023 |
The WhyRel Prototype for Modular Relational Verification of Pointer Programs R Nagasamudram, A Banerjee, DA Naumann International Conference on Tools and Algorithms for the Construction and …, 2023 | | 2023 |
The WhyRel Prototype for Relational Verification R Nagasamudram, A Banerjee, DA Naumann arXiv preprint arXiv:2303.14314, 2023 | | 2023 |
An Algebra of Alignment for Relational Verification E KOSKINEN, TONC LE, R NAGASAMUDRAM, DA NAUMANN | | 2023 |
Making Relational Hoare Logic Alignment Complete A Banerjee, R Nagasamudram, DA Naumann arXiv preprint arXiv:2212.10338, 2022 | | 2022 |