PhD Student working with Nadia Polikarpova
Programming Systems Group
Department of Computer Science
University of Califonia, San Diego
Email: sbarke [at] eng.ucsd.edu
Office: CSE 3260
[CV] [Github] [Twitter]








Programming is hard and error-prone, and involves tedious tasks. My research aims to create tools for software engineers and scientists that generate correct code efficiently and automate mundane tasks in their workflow. To that end, my current research focuses on developing techniques to make program synthesis technology scalable. I also aim to develop strategies and metrics to synthesize readable and generalizable code.

Publications

Teaching

Service