Sumith Kulal
Programming Languages, verification and synthesis.
Presentation of the talk "Automatic Incrementalization through Synthesis" delivered to the Bodik group at UW on July 24th, 2017.
Build a solid career in tech without a CS major
Presented to Prof. Amitabha Sanyal and collaborators.
Presentation of the talk "Resource Verification of Lazy Evaluation and Memoization" delivered to team LARA at EPFL on July 13th, 2016.
Presentation of the talk "Teach the lazy snake some functions!" *hopefully* to be delivered at IIT Bombay (WnCC)
Presentation of the talk "SymPy, SymEngine and the interface!" delivered at Scientific Python Conference (SciPy) India 2015 on December 15th
Presentation of the talk "SymEngine: A future fast core of computer algebra systems" delivered at Python Conference (PyCon) India 2015 on October 4th
Final presentation of the Institute Technical Summer Project delivered to Web and Coding Club, IIT Bombay
Web and Coding Club's crash presentation to Python
Introduction to git by Web and Coding Club, IIT Bombay