ICST 2021
Mon 12 - Fri 16 April 2021
Shachar Itzhaky

Registered user since Sat 1 Oct 2016

Name: Shachar Itzhaky

Affiliation: Technion

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

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