Ramana Nagasamudram

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 10

Top Topics

Linearly Ordered

Relational Data

Coordination Mechanism

Image Alignment

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Program. Lang. Syst.

Publications

Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano, David A. Naumann
Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq. NFM (2024)
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
The WhyRel Prototype for Relational Verification. CoRR (2023)
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
An Algebra of Alignment for Relational Verification. Proc. ACM Program. Lang. 7 (POPL) (2023)
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
The WhyRel Prototype for Modular Relational Verification of Pointer Programs. TACAS (2) (2023)
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
Alignment complete relational Hoare logics for some and all. CoRR (2023)
Anindya Banerjee, Ramana Nagasamudram, David A. Naumann, Mohammad Nikouei
A Relational Program Logic with Data Abstraction and Dynamic Framing. ACM Trans. Program. Lang. Syst. 44 (4) (2022)
Anindya Banerjee, Ramana Nagasamudram, David A. Naumann
Making Relational Hoare Logic Alignment Complete. CoRR (2022)
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
An algebra of alignment for relational verification. CoRR (2022)
Ramana Nagasamudram, David A. Naumann
Alignment Completeness for Relational Hoare Logics. LICS (2021)
Ramana Nagasamudram, David A. Naumann
Alignment Completeness for Relational Hoare Logics. CoRR (2021)