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