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
802017
Recovering purity with comonads and capabilities
V Choudhury, N Krishnaswami
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-28, 2020
232020
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages
V Choudhury, J Karwowski, A Sabry
arXiv preprint arXiv:2110.05404, 2021
122021
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
Refinement reflection: complete verification with SMT. PACMPL 2, POPL, 53: 1–53: 31
N Vazou, A Tondwalkar, V Choudhury, RG Scott, RR Newton, P Wadler, ...
92018
Free commutative monoids in homotopy type theory
V Choudhury, M Fiore
Electronic Notes in Theoretical Informatics and Computer Science 1, 2023
62023
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
Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages.(Oct. 2021)
V Choudhury, J Karwowski, A Sabry
32021
Artifact for Symmetries in Reversible Programming
V Choudhury, J Karwowski, A Sabry
Zenodo, 2021
22021
Refinement reflection: complete verification with SMT. PACMPL 2, POPL (2018), 53: 1ś53: 31
N Vazou, A Tondwalkar, V Choudhury, RG Scott, RR Newton, P Wadler, ...
22018
Refinement Reflection: Complete Verification with SMT. POPL
N Vazou, A Tondwalkar, V Choudhury, RG Scott, RR Newton, P Wadler, ...
22017
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
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
Scheme Pearl: Quantum Continuations
V Choudhury, B Agapiev, A Sabry
2022
Artifact for Symmetries in Reversible Programming. Zenodo
V Choudhury, J Karwowski, A Sabry
2021
Deterministic Parallelism
V Choudhury
2018
The system can't perform the operation now. Try again later.
Articles 1–20