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