Shachar Itzhaky

Registered user since Sat 1 Oct 2016

Name: Shachar Itzhaky

Country: Israel

Affiliation: Technion, Israel

Personal website:

Research interests: Program Synthesis, Automated Reasoning


PLDI 2019 Computing Summaries of String Loops in C for Better Testing and Refactoring
Show activities from other conferences

PLDI 2019-profile
View general profile