Sumith Kulal

Email: sumith [at]
CV here | Google Scholar
My GnuPG public key


I am a second year PhD student in Computer Science at Stanford University conducting research in programming languages and machine learning.

I am always up for a conversation, let's catch up if you are around!



Boolean Functional Synthesis: Hardness and Practical Algorithms*
SPoC: Search-based Pseudocode to Code
Scalable Synthesis with Symbolic Syntax Graphs
What's hard about Boolean Functional Synthesis? *
Contract-based Resource Verification for Higher-order Functions with Memoization
SymPy: Symbolic computing in Python

Tech Reports/Seminar

Pushing The Envelope for Boolean Function Synthesis *
Space Leaks Exploration in Haskell

* Equal contributions. Sorted alphabetically by last name.


PC Member

  • 2017: SciPy, Austin TX


Many thanks to Shumo Chu for the site inspiration.