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
1852015
Program synthesis
S Gulwani, O Polozov, R Singh
Foundations and Trendsģ in Programming Languages 4 (1-2), 1-119, 2017
1822017
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
1232017
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
632018
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
522015
Generative code modeling with graphs
M Brockschmidt, M Allamanis, AL Gaunt, O Polozov
International Conference on Learning Representations, 2019
482019
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
42*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
382015
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
302018
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
122020
Program Synthesis and Semantic Parsing with Learned Code Idioms
R Shin, M Allamanis, M Brockschmidt, O Polozov
Neural Information Processing Systems, 2019
122019
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
12*2018
Interactive Program Synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
82017
Control of automated tasks executed over search engine results
S Gulwani, O Polozov, SK Tiwary
US Patent 10,664,530, 2020
52020
Program synthesis in the industrial world: Inductive, incremental, interactive
O Polozov, S Gulwani
5th Workshop on Synthesis (SYNT), 2016
52016
Structure and term prediction for mathematical text
O Polozov, S Gulwani, S Rajamani
Tech. Rep. MSR-TR-2012-7, 2012
52012
LaSEWeb: Automating search strategies over semi-structured web data
O Polozov, S Gulwani
Knowledge Discovery and Data Mining, 2014
42014
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
12018
Learning Web-based Procedures by Reasoning over Explanations and Demonstrations in Context
S Srivastava, O Polozov, N Jojic, C Meek
Proceedings of the 58th Annual Meeting of the Association for Computational†…, 2020
2020
Neuro-Symbolic Visual Reasoning: Disentangling "Visual" from "Reasoning"
S Amizadeh, H Palangi, O Polozov, Y Huang, K Koishida
arXiv preprint arXiv:2006.11524, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20