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

SPLASH 2016-profile
View general profile