Registered user since Fri 11 Jul 2014

Name: Rastislav Bodik

Affiliation: University of Washington, USA

Personal website: http://www.cs.berkeley.edu/~bodik

SPLASH 2015 Activities

• Author of Toward tool support for interactive synthesis within the Onward! Papers-track in Onward! 2015
• Author of Synthesis of Layout Engines from Relational Constraints within the OOPSLA-track in SPLASH 2015
• Show activities from other conferences