Shachar Itzhaky - DLS 2016

Tue 1 Nov 2016 Amsterdam, Netherlands

co-located with SPLASH 2016

Registered user since Sat 1 Oct 2016

Name:Shachar Itzhaky

Country:United States

Affiliation:MIT CSAIL

Research interests:Program Synthesis, Automated Reasoning

Contributions

2016

Onward!

Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications

SPLASH

Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations

Show activities from other conferences

SPLASH 2016-profile
View general profile