Vikraman Choudhury
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2017–2025
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CPP | Intrinsically Correct Sorting in Cubical Agda. | Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide |
| 2024 | SEFM | Towards Quantum Multiparty Session Types. | Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury |
| 2020 | RC | Fractional Types - Expressive and Safe Space Management for Ancilla Bits. | Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry |
| 2017 | HASKELL | Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. | Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton |