Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vikraman Choudhury
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2018 profile
POPL 2018 profile
Registered user since Thu 2 Nov 2017
Name:
Vikraman Choudhury
Contributions
ICFP 2018
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Haskell 2017
Author of Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping within the Haskell 2017-track
POPL 2018
Author 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
Share
x
Fri 16 Nov 20:09