Write a Blog >>
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


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