Vikraman Choudhury

According to our database1, Vikraman Choudhury authored at least 6 papers between 2017 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...