Oleksandr Polozov
Oleksandr Polozov
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
FlashMeta: A framework for inductive program synthesis
O Polozov, S Gulwani
ACM SIGPLAN Notices 50 (10), 107-126, 2015
1562015
Program synthesis
S Gulwani, O Polozov, R Singh
Foundations and Trendsģ in Programming Languages 4 (1-2), 1-119, 2017
1332017
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
1052017
User interaction models for disambiguation in programming by example
M Mayer, G Soares, M Grechkin, V Le, M Marron, O Polozov, R Singh, ...
Proceedings of the 28th Annual ACM Symposium on User Interface Software†…, 2015
472015
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples
A Kalyan, A Mohta, O Polozov, D Batra, P Jain, S Gulwani
International Conference on Learning Representations, 2018
462018
Generative code modeling with graphs
M Brockschmidt, M Allamanis, AL Gaunt, O Polozov
International Conference on Learning Representations, 2019
332019
Personalized mathematical word problem generation
O Polozov, E O'Rourke, AM Smith, L Zettlemoyer, S Gulwani, Z Popović
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
332015
Robust text-to-SQL generation with execution-guided decoding
C Wang, K Tatwawadi, M Brockschmidt, PS Huang, Y Mao, O Polozov, ...
arXiv preprint arXiv:1807.03100, 2018
29*2018
IncSQL: Training incremental text-to-SQL parsers with non-deterministic oracles
T Shi, K Tatwawadi, K Chakrabarti, Y Mao, O Polozov, W Chen
arXiv preprint arXiv:1809.05054, 2018
192018
FlashProfile: a framework for synthesizing data profiles
S Padhi, P Jain, D Perelman, O Polozov, S Gulwani, T Millstein
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018
8*2018
Program Synthesis and Semantic Parsing with Learned Code Idioms
R Shin, M Allamanis, M Brockschmidt, O Polozov
Neural Information Processing Systems, 2019
7*2019
Interactive Program Synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
52017
Structure and term prediction for mathematical text
O Polozov, S Gulwani, S Rajamani
Tech. Rep. MSR-TR-2012-7, 2012
52012
Program synthesis in the industrial world: Inductive, incremental, interactive
O Polozov, S Gulwani
5th Workshop on Synthesis (SYNT), 2016
42016
LaSEWeb: Automating search strategies over semi-structured web data
O Polozov, S Gulwani
Knowledge Discovery and Data Mining, 2014
42014
Control of automated tasks executed over search engine results
S Gulwani, O Polozov, SK Tiwary
US Patent App. 14/619,702, 2015
32015
RAT-SQL: Relation-Aware Schema Encoding and Linking for Text-to-SQL Parsers
B Wang, R Shin, X Liu, O Polozov, M Richardson
2020 Annual Conference of the Association for Computational Linguistics (ACL), 2020
22020
Systems, methods, and computer-readable media for improved table identification using a neural network
BG Zorn, MMJ Brockschmidt, P Choudhury, O Polozov, R Singh, S Padhi
US Patent App. 16/034,447, 2020
2020
Syntactic profiling of alphanumeric strings
S Gulwani, P Jain, DA Perelman, S Padhi, O Polozov
US Patent App. 16/448,805, 2019
2019
Neural-guided deductive search for program synthesis
O Polozov, S Gulwani, P Jain, AK Vijayakumar, A Mohta
US Patent App. 16/019,280, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20