Registered user since Sat 1 Oct 2016

Name: Shachar Itzhaky

Country: United States

Affiliation: MIT CSAIL

Research interests: Program Synthesis, Automated Reasoning

SPLASH 2016 Activities

• Author of Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications within the Onward! Papers-track in Onward! 2016
• Author of Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations within the OOPSLA-track in SPLASH 2016
• Show activities from other conferences