ICST 2021
Mon 12 - Fri 16 April 2021
Shachar Itzhaky

Registered user since Sat 1 Oct 2016

Name:Shachar Itzhaky
Affiliation:Technion
Research interests:Program Synthesis, Automated Reasoning

Contributions

ICST 2021 Address-Aware Query Caching for Symbolic Execution
Show activities from other conferences

ICST 2021-profile
View general profile