• Sign in
  • Sign up
conf.researchr.org / David Trabish
  • * ICSE 2018 * profile
  • ESEC/FSE 2020 profile
  • ESEC/FSE 2021 profile
  • ESEC/FSE 2022 profile
  • ESEC/FSE 2023 profile
  • ICSE 2024 profile
  • ICST 2021 profile
  • ICST 2023 profile
  • ISSTA 2020 profile
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

2024

KLEE

  • Presenter of State Merging with Quantifiers in Symbolic Execution within the KLEE 2024-track

2023

ESEC/FSE

  • Author of State Merging with Quantifiers in Symbolic Execution within the Research Papers-track

ICST

  • Author of Address-Aware Query Caching for Symbolic Execution within the Previous Editions-track

2022

ESEC/FSE

  • 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

2021

ESEC/FSE

  • Author of A Bounded Symbolic-Size Model for Symbolic Execution within the Research Papers-track

ICST

  • Author of Address-Aware Query Caching for Symbolic Execution within the Research Papers-track

2020

ESEC/FSE

  • 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

  • Author of Relocatable Addressing Model for Symbolic Execution within the Technical Papers-track

2018

ICSE

  • Author of Chopped Symbolic Execution within the Technical Papers -track
Share
xMon 19 May 18:09
using conf.researchr.org (v1.69.0)
Support page
Sign Up