Sumith Kulal

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


I am a third year PhD student in Computer Science at Stanford University. I'm grateful to be co-advised by Alex Aiken and Jiajun Wu. My research attempts to combine neural and symbolic techniques (graphs, programs, search) to build novel architectures for visual reasoning and program synthesis. My research is supported by the Brown Institute for Media Innovation.

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



Hierarchical Motion Uderstanding via Motion Programs
CVPR 2021  
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

* All authors contributed equally.


PC Member

  • 2017: SciPy, Austin TX


Many thanks to Shumo Chu for the site inspiration.