| 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 | 14 | 2023 |
| 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 |
| 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 | 9 | 2021 |
| Alignment complete relational Hoare logics for some and all R Nagasamudram, A Banerjee, DA Naumann arXiv preprint arXiv:2307.10045, 2023 | 1 | 2023 |
| Verifying a C Implementation of Derecho’s Coordination Mechanism Using VST and Coq R Nagasamudram, L Beringer, K Birman, M Milano, DA Naumann NASA Formal Methods Symposium, 99-117, 2024 | | 2024 |
| 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 |
David A. NaumannProfessor of Computer Science, Stevens Institute of Technology在 cs.stevens.edu 的电子邮件经过验证
