According to our database1, Sumith Kulal authored at least 5 papers between 2016 and 2018.
Legend:Book In proceedings Article PhD thesis Other
What's hard about Boolean Functional Synthesis.
What's Hard About Boolean Functional Synthesis?
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
SymPy: symbolic computing in Python.
PeerJ Computer Science, 2017
Contract-based resource verification for higher-order functions with memoization.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
SymPy: Symbolic computing in Python.
PeerJ PrePrints, 2016