Registered user since Fri 11 Jul 2014

Name: Rastislav Bodik

Affiliation: University of Washington

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

Research interests: Program Synthesis

SPLASH 2017 Activities

• Author of Domain-Specific Symbolic Compilation within the SPLASH-I-track in SPLASH 2017
• Author of Skip Blocks: Reusing Execution History to Accelerate Web Scripts within the OOPSLA-track in SPLASH 2017
• Show activities from other conferences