Sumit Gulwani, Ph.D.

Affiliations: 
2005 University of California, Berkeley, Berkeley, CA, United States 
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysis
Google:
"Sumit Gulwani"

Parents

Sign in to add mentor
George Necula grad student 2005 UC Berkeley
 (Program analysis using random interpretation.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Gulwani S. (2016) Technical perspective program synthesis using stochastic techniques Communications of the Acm. 59: 113
Singh R, Gulwani S. (2016) Transforming spreadsheet data types using examples Acm Sigplan Notices. 51: 343-356
Polozov O, Gulwani S. (2015) FlashMeta: A framework for inductive program synthesis Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 107-126
Madhavan R, Mayer M, Gulwani S, et al. (2015) Automating grammar comparison Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 183-200
Gulwani S, Hernández-Orallo J, Kitzelmann E, et al. (2015) Inductive programming meets the real world Communications of the Acm. 58: 90-99
O'Rourke E, Andersen E, Gulwani S, et al. (2015) A framework for automatically generating interactive instructional scaffolding Conference On Human Factors in Computing Systems - Proceedings. 2015: 1545-1554
Singh R, Gulwani S. (2015) Predicting a correct program in programming by example Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9206: 398-414
Raza M, Gulwani S, Milic-Frayling N. (2015) Compositional program synthesis from natural language and examples Ijcai International Joint Conference On Artificial Intelligence. 2015: 792-800
Kini D, Gulwani S. (2015) FlashNormalize: Programming by examples for text normalization Ijcai International Joint Conference On Artificial Intelligence. 2015: 776-783
Gulwani S. (2014) Applications of program synthesis to end-user programming and intelligent tutoring systems? Gecco 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference. 5-6
See more...