Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ramana Nagasamudram
conf.researchr.org general profile
ICFP 2023 profile
ICFP 2024 profile
NASA Formal Methods 2024 profile
POPL 2023 profile
Registered user since Fri 19 Aug 2022
Name:
Ramana Nagasamudram
Country:
United States
Affiliation:
Stevens Institute of Technology
Contributions
2024
ICFP
Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track
NFM
Author of Verifying a C implementation of Derecho's coordination mechanism using VST and Coq within the NFM 2024-track
2023
ICFP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of An Algebra of Alignment for Relational Verification within the POPL-track
Share
x
Thu 12 Jun 12:21
