conf.researchr.org / Vikraman Choudhury

Registered user since Thu 2 Nov 2017

Name: Vikraman Choudhury

Contributions

ICFP 2018Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Haskell 2017Author of Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping within the Haskell 2017-track
POPL 2018Author of Refinement Reflection: Complete Verification with SMT within the Artifact Evaluation-track
Author of Refinement Reflection: Complete Verification with SMT within the Research Papers-track