Sumith Kulal
Title
Cited by
Cited by
Year
SymPy: symbolic computing in Python
A Meurer, CP Smith, M Paprocki, O Čertík, SB Kirpichev, M Rocklin, ...
PeerJ Computer Science 3, e103, 2017
6142017
Contract-based resource verification for higher-order functions with memoization
R Madhavan, S Kulal, V Kuncak
Acm Sigplan Notices 52 (1), 330-343, 2017
312017
Spoc: Search-based pseudocode to code
S Kulal, P Pasupat, K Chandra, M Lee, O Padon, A Aiken, P Liang
arXiv preprint arXiv:1906.04908, 2019
202019
What’s hard about Boolean functional synthesis?
S Akshay, S Chakraborty, S Goel, S Kulal, S Shah
International Conference on Computer Aided Verification, 251-269, 2018
132018
SymPy: symbolic computing in python. PeerJ Comput. Sci. 3, e103 (2017)
A Meurer, CP Smith, M Paprocki, O Čertík, SB Kirpichev, M Rocklin, ...
8
Boolean functional synthesis: hardness and practical algorithms
S Akshay, S Chakraborty, S Goel, S Kulal, S Shah
Formal Methods in System Design 57 (1), 53-86, 2021
22021
Hierarchical Motion Understanding via Motion Programs
S Kulal, J Mao, A Aiken, J Wu
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2021
2021
Scalable Synthesis with Symbolic Syntax Graphs
R Shah, S Kulal, R Bodik
Space Leaks Exploration in Haskell
S Kulal, R Ganvir, S Sudhakaran
Indian Institute of Technology Bombay Mumbai 400076, India, 0
Pushing The Envelope for Boolean Functional Synthesis
S Akshay, S Chakraborty, S Goel, S Kulal, S Shah
The system can't perform the operation now. Try again later.
Articles 1–10