Sumith Kulal


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

Biography

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

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

Projects

Publications

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.

Services

PC Member

  • 2017: SciPy, Austin TX

Connections

Many thanks to Shumo Chu for the site inspiration.