Prasanth Prahladan -

Registered user since Thu 7 Apr 2022

Name:Prasanth Prahladan

Affiliation:University of Colorado Boulder

Personal website: https://www.linkedin.com/in/prahladanprasanth/

Contributions

2025

PLDI

Author of Weakly consistent memory models for safe languages made EPR within the Student Research Competition-track

TPSA

Author of Distributed transactions over mergeable types: A meta-theory for 5G control-plane protocol verification within the TPSA 2025-track

2022

PLDI

Author of RunTime-Assisted Convergence in Replicated Data Types within the PLDI-track