Follow
Vikraman Choudhury
Vikraman Choudhury
Marie Skłodowska-Curie Fellow, Università di Bologna
Verified email at unibo.it - Homepage
Title
Cited by
Cited by
Year
Refinement reflection: complete verification with SMT
N Vazou, A Tondwalkar, V Choudhury, RG Scott, RR Newton, P Wadler, ...
Proceedings of the ACM on Programming Languages 2 (POPL), 53, 2017
98*2017
Recovering purity with comonads and capabilities
V Choudhury, N Krishnaswami
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-28, 2020
282020
Symmetries in reversible programming: From symmetric rig groupoids to reversible programming languages
V Choudhury, J Karwowski, A Sabry
Proceedings of the ACM on Programming Languages 6 (POPL), 1-32, 2022
18*2022
From reversible programs to univalent universes and back
J Carette, CH Chen, V Choudhury, A Sabry
Electronic Notes in Theoretical Computer Science 336, 5-25, 2018
112018
Free commutative monoids in homotopy type theory
V Choudhury, M Fiore
Electronic Notes in Theoretical Informatics and Computer Science 1, 2023
82023
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
CH Chen, V Choudhury, J Carette, A Sabry
Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway …, 2020
62020
The finite-multiset construction in HoTT
V Choudhury, M Fiore
Talk at the International Conference on Homotopy Type Theory (HoTT 2019), 2019
62019
Adaptive lock-free data structures in haskell: a general method for concurrent implementation swapping
CH Chen, V Choudhury, RR Newton
ACM SIGPLAN Notices 52 (10), 197-211, 2017
42017
Artifact for The Duality of 𝜆-Abstraction
V Choudhury
Zenodo. doi: https://doi.org/10.5281/ZENODO 14015102, 4, 2024
2*2024
Artifact for Symmetries in Reversible Programming
V Choudhury, J Karwowski, A Sabry
Zenodo, 2021
22021
Reversible Computation
I Lanese, S Devitt
Springer International Publishing, 2020
12020
Extended Version: Refinement Reflection: Complete Verification with SMT
N Vazou, A Tondwalkar, V Choudhury, RG Scott, RR Newton, P Wadler, ...
12017
Semantic Analysis of Normalisation for Directional Logic Programming
V Choudhury, N Krishnaswami, AS Suo
Fourth Workshop on the Implementation of Type Systems (WITS 2025), 2025
2025
The Duality of -Abstraction
V Choudhury, SJ Gay
52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025), 2025
2025
Intrinsically Correct Sorting in Cubical Agda
C Alexandru, V Choudhury, J Rot, N van der Weide
Proceedings of the 14th ACM SIGPLAN International Conference on Certified …, 2025
2025
Towards quantum multiparty session types
I Lanese, U Dal Lago, V Choudhury
International Conference on Software Engineering and Formal Methods, 385-403, 2024
2024
Scheme Pearl: Quantum Continuations
V Choudhury, B Agapiev, A Sabry
arXiv preprint arXiv:2409.11106, 2024
2024
On commutativity, total orders, and sorting
W Wong, V Choudhury, SJ Gay
2024
Mathematical Models of Resource-Conscious Computation
V Choudhury
Indiana University, 2023
2023
Deterministic Parallelism
V Choudhury
2018
The system can't perform the operation now. Try again later.
Articles 1–20