Blogs (2) >>
ISMM 2017
Sun 18 Jun 2017 Barcelona, Spain
co-located with PLDI 2017
Grigory Fedyukovich

Registered user since Wed 4 Nov 2015

Name: Grigory Fedyukovich

Affiliation: UW CSE

Personal website: http://homes.cs.washington.edu/~grigory

Research interests: Automated Formal Methods

Contributions

PLDI 2017Author of Gradual Synthesis for Static Parallelization within the PLDI Research Papers-track
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile