Sumit Gulwani, Ph.D.
Affiliations: | 2005 | University of California, Berkeley, Berkeley, CA, United States |
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysisGoogle:
"Sumit Gulwani"Parents
Sign in to add mentorGeorge Necula | grad student | 2005 | UC Berkeley | |
(Program analysis using random interpretation.) |
BETA: Related publications
See more...
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 |