Registered user since Thu 2 Nov 2017

Name: Vikraman Choudhury

All Activities

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