Alex Polozov

Registered user since Thu 13 Nov 2014

Name: Alex Polozov

Country: United States

Affiliation: Microsoft Research

Personal website: http://www.alexpolozov.com/

Research interests: Program Synthesis, Formal Logic, Machine Learning, Deep Learning

Contributions

GPCE 2018Committee Member in Program Committee within the GPCE 2018-track
SPLASH 2018Author of FlashProfile: A Framework for Synthesizing Data Profiles within the OOPSLA-track
Show activities from other conferences

Using general profile