BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: Choudhury:Vikraman

Contributed to:

Haskell 20172017
POPL 20182018

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.