Следене
Sumit Gulwani
Sumit Gulwani
Distinguished Scientist, Microsoft
Потвърден имейл адрес: microsoft.com - Начална страница
Заглавие
Позовавания
Позовавания
Година
Automating string processing in spreadsheets using input-output examples
S Gulwani
ACM Sigplan Notices 46 (1), 317-330, 2011
11872011
Program synthesis
S Gulwani, P Oleksandr, R Singh
Foundations and Trends® in Programming Languages 4, 1-119, 2017
7362017
Oracle-guided component-based program synthesis
S Jha, S Gulwani, SA Seshia, A Tiwari
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
6602010
Automated feedback generation for introductory programming assignments
R Singh, S Gulwani, A Solar-Lezama
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
6102013
Synthesis of loop-free programs
S Gulwani, S Jha, A Tiwari, R Venkatesan
ACM SIGPLAN Notices 46 (6), 62-73, 2011
4492011
Speed: precise and efficient static estimation of program computational complexity
S Gulwani, KK Mehra, T Chilimbi
ACM Sigplan Notices 44 (1), 127-139, 2009
4262009
Spreadsheet data manipulation using examples
S Gulwani, WR Harris, R Singh
Communications of the ACM 55 (8), 97-105, 2012
4052012
Flashmeta: A framework for inductive program synthesis
O Polozov, S Gulwani
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
3992015
From program verification to program synthesis
S Srivastava, S Gulwani, JS Foster
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
3842010
Dimensions in program synthesis
S Gulwani
Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010
3762010
Flashextract: A framework for data extraction by examples
V Le, S Gulwani
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
3102014
Learning syntactic program transformations from examples
R Rolim, G Soares, L D'Antoni, O Polozov, S Gulwani, R Gheyi, R Suzuki, ...
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
2862017
Program analysis as constraint solving
S Gulwani, S Srivastava, R Venkatesan
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
2762008
Inductive programming meets the real world
S Gulwani, J Hernández-Orallo, E Kitzelmann, SH Muggleton, U Schmid, ...
Communications of the ACM 58 (11), 90-99, 2015
2282015
Spreadsheet table transformations from examples
WR Harris, S Gulwani
ACM SIGPLAN Notices 46 (6), 317-328, 2011
2192011
Automated clustering and program repair for introductory programming assignments
S Gulwani, I Radiček, F Zuleger
ACM SIGPLAN Notices 53 (4), 465-480, 2018
2172018
Synchromesh: Reliable code generation from pre-trained language models
G Poesia, O Polozov, V Le, A Tiwari, G Soares, C Meek, S Gulwani
arXiv preprint arXiv:2201.11227, 2022
2132022
Recursive program synthesis
A Albarghouthi, S Gulwani, Z Kincaid
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
2132013
Lifting abstract interpreters to quantified logical domains
S Gulwani, B McCloskey, A Tiwari
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
2062008
A machine learning framework for programming by example
A Menon, O Tamuz, S Gulwani, B Lampson, A Kalai
International Conference on Machine Learning, 187-195, 2013
1972013
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20