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.Madhavan V.Kuncak S.Akshay S.Chakraborty S.Goel S.Shah
Talks about:
function (2) synthesi (1) contract (1) resourc (1) boolean (1) memoiz (1) higher (1) verif (1) order (1) about (1)

Person: Sumith Kulal

DBLP DBLP: Kulal:Sumith

Contributed to:

CAV (1) 20182018
POPL 20172017

Wrote 2 papers:

CAV-2018-AkshayCGKS #functional #question #synthesis #what
What's Hard About Boolean Functional Synthesis? (SA, SC, SG, SK, SS), pp. 251–269.
POPL-2017-MadhavanKK #contract #higher-order #verification
Contract-based resource verification for higher-order functions with memoization (RM, SK, VK), pp. 330–343.

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.