Publications
Conference Papers
Chopped Symbolic Execution
David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar
ICSE 2018
[pdf]
[slides]
[code]
Relocatable Addressing Model for Symbolic Execution
David Trabish, Noam Rinetzky
ISSTA 2020
[pdf]
[slides]
[code]
Past-Sensitive Pointer Analysis for Symbolic Execution
David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
FSE 2020
[pdf]
[slides]
[code]
Address-Aware Query Caching for Symbolic Execution
David Trabish, Shachar Itzhaky, Noam Rinetzky
ICST 2021
[pdf]
[slides]
[code]
A Bounded Symbolic-Size Model for Symbolic Execution
David Trabish, Shachar Itzhaky, Noam Rinetzky
FSE 2021
[pdf]
[slides]
[code]
State Merging with Quantifiers in Symbolic Execution
David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma
FSE 2023
[pdf]
[slides]
[code]
Enhancing Symbolic Execution with Machine-Checked Safety Proofs
David Trabish, Shachar Itzhaky
POPL/CPP 2026
[pdf]
[code]