Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tarakaram Gollamudi
conf.researchr.org general profile
POPL 2025 profile
Not registered as user
Name:
Tarakaram Gollamudi
Contributions
2025
PriSC
Author of ILA: Correctness via Type Checking for Fully Homomorphic Encryption within the PriSC 2025-track
CoqPL
Author of A Semantic Logical Relation for Termination of Intuitionistic Linear Logic Session Types within the CoqPL 2025-track
Share
x
Fri 6 Jun 16:37
