Vikraman Choudhury

According to our database, Vikraman Choudhury authored at least 6 papers between 2017 and 2020.

Collaborative distances:

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

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