Travelled to:
2 × USA
Collaborated with:
S.Gulwani S.Padhi Prateek Jain 0002 D.Perelman T.D.Millstein
Talks about:
framework (2) profil (2) flash (2) data (2) synthesi (1) structur (1) strategi (1) synthes (1) program (1) laseweb (1)
Person: Oleksandr Polozov
DBLP: Polozov:Oleksandr
Contributed to:
Wrote 3 papers:
- OOPSLA-2015-PolozovG #framework #induction #named #synthesis
- FlashMeta: a framework for inductive program synthesis (OP, SG), pp. 107–126.
- KDD-2014-PolozovG #automation #named #web
- LaSEWeb: automating search strategies over semi-structured web data (OP, SG), pp. 741–750.
- OOPSLA-2018-PadhiJPPGM #framework #named
- FlashProfile: a framework for synthesizing data profiles (SP, PJ0, DP, OP, SG, TDM), p. 28.