Vikraman Choudhury

Orcid: 0000-0003-2030-8056

According to our database1, Vikraman Choudhury authored at least 12 papers between 2017 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2017
2018
2019
2020
2021
2022
2023
2024
2025
0
1
2
3
1
1
1
1
1
1
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
The Duality of λ-Abstraction.
Proc. ACM Program. Lang., 2025

Intrinsically Correct Sorting in Cubical Agda.
Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024
Scheme Pearl: Quantum Continuations.
CoRR, 2024

Towards Quantum Multiparty Session Types.
Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

2022
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages.
Proc. ACM Program. Lang., 2022

Free Commutative Monoids in Homotopy Type Theory.
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

2020
Recovering purity with comonads and capabilities.
Proc. ACM Program. Lang., 2020

Fractional Types - Expressive and Safe Space Management for Ancilla Bits.
Proceedings of the Reversible Computation - 12th International Conference, 2020

2018
Refinement reflection: complete verification with SMT.
Proc. ACM Program. Lang., 2018

From Reversible Programs to Univalent Universes and Back.
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2017
Deriving Law-Abiding Instances.
CoRR, 2017

Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping.
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017


  Loading...