Vikraman Choudhury

22 papers B 4C 2Journal 16
YearRankTypeTitle / Venue / Authors
2025 B conf
Intrinsically Correct Sorting in Cubical Agda.
CPP
Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide
2025 J jnl
Report on POPL' 2025.
Bull. EATCS
Vikraman Choudhury
2025 J jnl
Symmetries in Sorting.
CoRR
Vikraman Choudhury, Wind Wong
2025 J jnl
The Duality of λ-Abstraction.
Proc. ACM Program. Lang.
Vikraman Choudhury, Simon J. Gay
2024 J jnl
Intrinsically Correct Sorting in Cubical Agda.
CoRR
Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide
2024 J jnl
Scheme Pearl: Quantum Continuations.
CoRR
Vikraman Choudhury, Borislav Agapiev, Amr Sabry
2024 B conf
Towards Quantum Multiparty Session Types.
SEFM
Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury
2024 J jnl
Towards Quantum Multiparty Session Types.
CoRR
Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury
2022 B conf
Free Commutative Monoids in Homotopy Type Theory.
MFPS
Vikraman Choudhury, Marcelo Fiore
2022 J jnl
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages.
Proc. ACM Program. Lang.
Vikraman Choudhury, Jacek Karwowski, Amr Sabry
2021 J jnl
Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages.
CoRR
Vikraman Choudhury, Jacek Karwowski, Amr Sabry
2020 C conf
Fractional Types - Expressive and Safe Space Management for Ancilla Bits.
RC
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
2020 J jnl
Fractional Types: Expressive and Safe Space Management for Ancilla Bits.
CoRR
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
2020 J jnl
Recovering purity with comonads and capabilities.
Proc. ACM Program. Lang.
Vikraman Choudhury, Neel Krishnaswami
2019 J jnl
Recovering Purity with Comonads and Capabilities.
CoRR
Vikraman Choudhury, Neel Krishnaswami
2018 B conf
From Reversible Programs to Univalent Universes and Back.
MFPS
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
2018 J jnl
Refinement reflection: complete verification with SMT.
Proc. ACM Program. Lang.
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
2017 J jnl
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping.
CoRR
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
2017 C conf
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping.
Haskell
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
2017 J jnl
Deriving Law-Abiding Instances.
CoRR
Ryan G. Scott, Vikraman Choudhury, Ryan Newton, Niki Vazou, Ranjit Jhala
2017 J jnl
From Reversible Programs to Univalent Universes and Back.
CoRR
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
2017 J jnl
Refinement Reflection: Complete Verification with SMT.
CoRR
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala