Oleksandr Polozov
Oleksandr Polozov
Microsoft Research
Verified email at microsoft.com - Homepage
Cited by
Cited by
Program synthesis
S Gulwani, O Polozov, R Singh
Foundations and Trendsģ in Programming Languages 4 (1-2), 1-119, 2017
FlashMeta: A framework for inductive program synthesis
O Polozov, S Gulwani
ACM SIGPLAN Notices 50 (10), 107-126, 2015
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
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
Generative code modeling with graphs
M Brockschmidt, M Allamanis, AL Gaunt, O Polozov
International Conference on Learning Representations, 2019
RAT-SQL: Relation-Aware Schema Encoding and Linking for Text-to-SQL Parsers
B Wang, R Shin, X Liu, O Polozov, M Richardson
Proceedings of the 58th Annual Meeting of the Association for Computational†…, 2020
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
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
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
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
Program Synthesis and Semantic Parsing with Learned Code Idioms
R Shin, M Allamanis, M Brockschmidt, O Polozov
Neural Information Processing Systems, 2019
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
Neuro-Symbolic Visual Reasoning: Disentangling "Visual" from "Reasoning"
S Amizadeh, H Palangi, O Polozov, Y Huang, K Koishida
International Conference on Machine Learning, 279-290, 2020
Interactive program synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
Control of automated tasks executed over search engine results
S Gulwani, O Polozov, SK Tiwary
US Patent 10,664,530, 2020
Program synthesis in the industrial world: Inductive, incremental, interactive
O Polozov, S Gulwani
5th Workshop on Synthesis (SYNT), 2016
Structure and term prediction for mathematical text
O Polozov, S Gulwani, S Rajamani
Tech. Rep. MSR-TR-2012-7, 2012
LaSEWeb: Automating search strategies over semi-structured web data
O Polozov, S Gulwani
Knowledge Discovery and Data Mining, 2014
Structure-Grounded Pretraining for Text-to-SQL
X Deng, AH Awadallah, C Meek, O Polozov, H Sun, M Richardson
arXiv preprint arXiv:2010.12773, 2020
User interaction models for disambiguation in programming-by-example
S Gulwani, BG Zorn, R Singh, M Marron, O Polozov, VM Le, M Mayer, ...
US Patent 9,891,895, 2018
The system can't perform the operation now. Try again later.
Articles 1–20