Sumith Kulal

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

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.