Vikraman Choudhury
Orcid: 0000-0003-2030-8056
According to our database1,
Vikraman Choudhury
authored at least 12 papers
between 2017 and 2025.
Collaborative distances:
Collaborative distances:
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 OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025
2024
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
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022
2020
Proceedings of the Reversible Computation - 12th International Conference, 2020
2018
Proc. ACM Program. Lang., 2018
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018
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