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

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