Vikraman Choudhury

According to our database, Vikraman Choudhury authored at least 8 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages.

Vikraman Choudhury, Jacek Karwowski, Amr Sabry

Proc. ACM Program. Lang., 2022

Free Commutative Monoids in Homotopy Type Theory.

Vikraman Choudhury, Marcelo Fiore

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

2020

Recovering purity with comonads and capabilities.

Vikraman Choudhury, Neel Krishnaswami

Proc. ACM Program. Lang., 2020

Fractional Types - Expressive and Safe Space Management for Ancilla Bits.

Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry

Proceedings of the Reversible Computation - 12th International Conference, 2020

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

From Reversible Programs to Univalent Universes and Back.

Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2017

Deriving Law-Abiding Instances.

Ryan G. Scott, Vikraman Choudhury, Ryan Newton, Niki Vazou, Ranjit Jhala

CoRR, 2017

Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping.

Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017