Vikraman Choudhury

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 14

Top Topics

Lambda Calculus

Programming Language

Top Venues

Proc. ACM Program. Lang.

Publications

Vikraman Choudhury, Jacek Karwowski, Amr Sabry
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages. Proc. ACM Program. Lang. 6 (POPL) (2022)
Vikraman Choudhury, Marcelo Fiore
Free Commutative Monoids in Homotopy Type Theory. CoRR (2021)
Vikraman Choudhury, Jacek Karwowski, Amr Sabry
Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages. CoRR (2021)
Vikraman Choudhury, Neel Krishnaswami
Recovering purity with comonads and capabilities. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
Fractional Types - Expressive and Safe Space Management for Ancilla Bits. RC (2020)
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
Fractional Types: Expressive and Safe Space Management for Ancilla Bits. CoRR (2020)
Vikraman Choudhury, Neel Krishnaswami
Recovering Purity with Comonads and Capabilities. CoRR (2019)
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
From Reversible Programs to Univalent Universes and Back. MFPS (2018)
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
Refinement reflection: complete verification with SMT. Proc. ACM Program. Lang. 2 (POPL) (2018)
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping. CoRR (2017)
Ryan G. Scott, Vikraman Choudhury, Ryan Newton, Niki Vazou, Ranjit Jhala
Deriving Law-Abiding Instances. CoRR (2017)
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. Haskell (2017)
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
From Reversible Programs to Univalent Universes and Back. CoRR (2017)
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
Refinement Reflection: Complete Verification with SMT. CoRR (2017)