Ramana Nagasamudram

According to our database, Ramana Nagasamudram authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verifying a C implementation of Derecho's coordination mechanism using VST and Coq (artifact).

Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano, David A. Naumann

Dataset, March, 2024

Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq.

Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano, David A. Naumann

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

An Algebra of Alignment for Relational Verification.

Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo

Proc. ACM Program. Lang., January, 2023

Alignment complete relational Hoare logics for some and all.

Ramana Nagasamudram, Anindya Banerjee, David A. Naumann

CoRR, 2023

The WhyRel Prototype for Relational Verification.

Ramana Nagasamudram, Anindya Banerjee, David A. Naumann

CoRR, 2023

The WhyRel Prototype for Modular Relational Verification of Pointer Programs.

Ramana Nagasamudram, Anindya Banerjee, David A. Naumann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

A Relational Program Logic with Data Abstraction and Dynamic Framing.

Anindya Banerjee, Ramana Nagasamudram, David A. Naumann, Mohammad Nikouei

ACM Trans. Program. Lang. Syst., December, 2022

Making Relational Hoare Logic Alignment Complete.

Anindya Banerjee, Ramana Nagasamudram, David A. Naumann

CoRR, 2022

2021

Alignment Completeness for Relational Hoare Logics.

Ramana Nagasamudram, David A. Naumann

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2019

Data Abstraction and Relational Program Logic.

Anindya Banerjee, Ramana Nagasamudram, David A. Naumann, Mohammad Nikouei

CoRR, 2019