![Rastislav Bodík](https://pldi22.sigplan.org/getProfileImage/rastislavbodik/a54ef851-90d4-416e-9055-9137d0bd1daa/small.jpg?1711460656000)
Registered user since Fri 11 Jul 2014
Name:Rastislav Bodík
Affiliation:University of Washington
Personal website: https://homes.cs.washington.edu/~bodik
Research interests:Program Synthesis
Contributions
PLDI 2022-profile
View general profile
View general profile