Shachar Itzhaky - SPLASH 2016

Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

Registered user since Sat 1 Oct 2016

Name:Shachar Itzhaky

Country:United States

Affiliation:MIT CSAIL

Research interests:Program Synthesis, Automated Reasoning

Contributions

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

SPLASH 2016-profile
View general profile