David Trabish -

Registered user since Mon 12 Feb 2018

Name:David Trabish

Country:Israel

Affiliation:Tel Aviv University

Personal website:https://davidtr1037.github.io/

Research interests:Program Analysis

Contributions

ICST 2023	Author of Address-Aware Query Caching for Symbolic Execution within the Previous Editions-track
ESEC/FSE 2022	Author of Past-Sensitive Pointer Analysis for Symbolic Execution within the ESEC/FSE 2020-track Author of A Bounded Symbolic-Size Model for Symbolic Execution within the ESEC/FSE 2021-track
ESEC/FSE 2021	Author of A Bounded Symbolic-Size Model for Symbolic Execution within the Research Papers-track
ICST 2021	Author of Address-Aware Query Caching for Symbolic Execution within the Research Papers-track
ESEC/FSE 2020	Author of Past-Sensitive Pointer Analysis for Symbolic Execution within the Research Papers-track Panelist of Conversations on Analysis 4 within the Paper Presentations-track
ISSTA 2020	Author of Relocatable Addressing Model for Symbolic Execution within the Technical Papers-track
* ICSE 2018 *	Author of Chopped Symbolic Execution within the Technical Papers -track