Shachar Itzhaky - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Registered user since Sat 1 Oct 2016

Name:Shachar Itzhaky

Country:Israel

Affiliation:Technion, Israel

Personal website: http://www.cs.technion.ac.il/~shachari

Research interests:Program Synthesis, Automated Reasoning

Contributions

2018

VMCAI

Abstraction-Based Interaction Model for Synthesis

Show activities from other conferences

POPL 2018-profile
View general profile