Sumith Kulal

According to our database1, Sumith Kulal authored at least 5 papers between 2016 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
What's hard about Boolean Functional Synthesis.
CoRR, 2018

What's Hard About Boolean Functional Synthesis?
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
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

2016
SymPy: Symbolic computing in Python.
PeerJ PrePrints, 2016


  Loading...