Collaborated with:R.R.Newton C.Chen N.Vazou Anish Tondwalkar R.G.Scott P.Wadler R.Jhala
Talks about:implement (1) structur (1) reflect (1) general (1) concurr (1) complet (1) method (1) haskel (1) verif (1) refin (1)
Person: Vikraman Choudhury
DBLP: Choudhury:Vikraman
Contributed to:
2017
2018Wrote 2 papers:
- Haskell-2017-ChenCN #adaptation #concurrent #data type #haskell #implementation
- Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping (CHC, VC, RRN), pp. 197–211.
- POPL-2018-VazouTCSNWJ #refinement #smt #verification
- Refinement reflection: complete verification with SMT (NV, AT, VC, RGS, RRN, PW, RJ), p. 31.