Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. - Chao-Hong Chen; Vikraman Choudhury; Ryan R. Newton (Haskell, 2017)

Deriving Law-Abiding Instances. - Ryan G. Scott; Vikraman Choudhury; Ryan Newton; Niki Vazou; Ranjit Jhala (CoRR, 2017)

From Reversible Programs to Univalent Universes and Back. - Jacques Carette; Chao-Hong Chen; Vikraman Choudhury; Amr Sabry (MFPS, 2018)

Refinement reflection: complete verification with SMT. - Niki Vazou; Anish Tondwalkar; Vikraman Choudhury; Ryan G. Scott; Ryan R. Newton; Philip Wadler; Ranjit Jhala (Proc. ACM Program. Lang., 2018)

Fractional Types - Expressive and Safe Space Management for Ancilla Bits. - Chao-Hong Chen; Vikraman Choudhury; Jacques Carette; Amr Sabry (RC, 2020)

Recovering purity with comonads and capabilities. - Vikraman Choudhury; Neel Krishnaswami (Proc. ACM Program. Lang., 2020)

Free Commutative Monoids in Homotopy Type Theory. - Vikraman Choudhury; Marcelo Fiore (MFPS, 2022)

Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages. - Vikraman Choudhury; Jacek Karwowski; Amr Sabry (Proc. ACM Program. Lang., 2022)

Towards Quantum Multiparty Session Types. - Ivan Lanese; Ugo Dal Lago; Vikraman Choudhury (SEFM, 2024)

Scheme Pearl: Quantum Continuations. - Vikraman Choudhury; Borislav Agapiev; Amr Sabry (CoRR, 2024)

Intrinsically Correct Sorting in Cubical Agda. - Cass Alexandru; Vikraman Choudhury; Jurriaan Rot; Niels van der Weide (CPP, 2025)

Report on POPL' 2025. - Vikraman Choudhury (Bull. EATCS, 2025)

The Duality of λ-Abstraction. - Vikraman Choudhury; Simon J. Gay (Proc. ACM Program. Lang., 2025)