Ramana Nagasamudram

13 papers A* 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Alignment complete relational Hoare logics for some and all.
Log. Methods Comput. Sci.
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
2025 J jnl
Forall-Exists Relational Verification by Filtering to Forall-Forall.
CoRR
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
2024 — conf
Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq.
NFM
Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano, David A. Naumann
2023 J jnl
Alignment complete relational Hoare logics for some and all.
CoRR
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
2023 J jnl
An Algebra of Alignment for Relational Verification.
Proc. ACM Program. Lang.
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
2023 — conf
The WhyRel Prototype for Modular Relational Verification of Pointer Programs.
TACAS (2)
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
2023 J jnl
The WhyRel Prototype for Relational Verification.
CoRR
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
2022 J jnl
A Relational Program Logic with Data Abstraction and Dynamic Framing.
ACM Trans. Program. Lang. Syst.
Anindya Banerjee, Ramana Nagasamudram, David A. Naumann, Mohammad Nikouei
2022 J jnl
An algebra of alignment for relational verification.
CoRR
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
2022 J jnl
Making Relational Hoare Logic Alignment Complete.
CoRR
Anindya Banerjee, Ramana Nagasamudram, David A. Naumann
2021 A* conf
Alignment Completeness for Relational Hoare Logics.
LICS
Ramana Nagasamudram, David A. Naumann
2021 J jnl
Alignment Completeness for Relational Hoare Logics.
CoRR
Ramana Nagasamudram, David A. Naumann
2019 J jnl
Data Abstraction and Relational Program Logic.
CoRR
Anindya Banerjee, Ramana Nagasamudram, David A. Naumann, Mohammad Nikouei