Vikraman Choudhury

Identifiers

• name variant Vikraman Choudhury 0.60 · backfill

Papers (5)

1. Symmetries in Sorting cs.LO · 2025 · author #1
2. Refinement Reflection: Complete Verification with SMT cs.PL · 2017 · author #3
3. From Reversible Programs to Univalent Universes and Back cs.PL · 2017 · author #3
4. Deriving Law-Abiding Instances cs.PL · 2017 · author #2
5. Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping cs.PL · 2017 · author #2

Mentions

• 2512.07349 #1 · arxiv_oai · confidence 0.70 Vikraman Choudhury

Frequent Coauthors

• Chao-Hong Chen 2 shared papers
• Niki Vazou 2 shared papers
• Ranjit Jhala 2 shared papers
• Ryan R. Newton 2 shared papers
• Amr Sabry 1 shared papers
• Anish Tondwalkar 1 shared papers
• Jacques Carette 1 shared papers
• Philip Wadler 1 shared papers
• Ryan G. Scott 1 shared papers
• Ryan Newton 1 shared papers
• Ryan Scott 1 shared papers
• Wind Wong 1 shared papers