Sumith Kulal

Biography

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!

Projects

• EGGEdit: Coming soon .
• SPoC: Search-based Pseudocode to Code.
• BlockchainDB: Trusted database built on blockchains.
• BFSS: Blazing Fast Skolem Synthesis.
• Syncro: Automatic Incrementalization through Synthesis.
• Orb: Resource Bounds Verifier for Functional Scala programs.
• tusSAT: A hardware based (VHDL) SAT solver.
• verify-xv6: Verification of buffer cache properties in xv6.
• SymPy: Computer Algebra System written in pure Python.
• SymEngine: Fast symbolic manipulation library written in C++.

Publications

Boolean Functional Synthesis: Hardness and Practical Algorithms^*

S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah.
Under Submission  

SPoC: Search-based Pseudocode to Code

Sumith Kulal^*, Panupong Pasupat^*, Kartik Chandra, Mina Lee, Oded Padon,
Alex Aiken, Percy Liang.
NeurIPS 2019

Scalable Synthesis with Symbolic Syntax Graphs

Rohin Shah, Sumith Kulal, Rastislav Bodik.
SYNT 2018  [slides] 

What's hard about Boolean Functional Synthesis? ^*

S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah.
CAV 2018  

Contract-based Resource Verification for Higher-order Functions with Memoization

Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak.
POPL 2017  

SymPy: Symbolic computing in Python

SymPy Development Team.
PeerJ CS 2016  

Tech Reports/Seminar

Pushing The Envelope for Boolean Function Synthesis ^*

S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah.
CSE IITB Technical Report  

Space Leaks Exploration in Haskell

Sumith Kulal, Rupanshu Ganvir, Suresh Sudhakaran.
Seminar Report, Spring 2017  

^* Equal contributions. Sorted alphabetically by last name.

Services

PC Member

• 2017: SciPy, Austin TX

Connections

Many thanks to Shumo Chu for the site inspiration.