Computing summaries of string loops in C for better testing and refactoring. - Timotej Kapus; Oren Ish-Shalom; Shachar Itzhaky; Noam Rinetzky; Cristian Cadar (PLDI, 2019)

Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation. - Oren Ish-Shalom; Shachar Itzhaky; Roman Manevich; Noam Rinetzky (VMCAI, 2020)

Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction. - Oren Ish-Shalom; Shachar Itzhaky; Noam Rinetzky; Sharon Shoham (VMCAI, 2020)

Run-time Complexity Bounds Using Squeezers. - Oren Ish-Shalom; Shachar Itzhaky; Noam Rinetzky; Sharon Shoham (ESOP, 2021)

Scaling Symbolic Execution - Oren Ish-Shalom (2021)

Runtime Complexity Bounds Using Squeezers. - Oren Ish-Shalom; Shachar Itzhaky; Noam Rinetzky; Sharon Shoham (ACM Trans. Program. Lang. Syst., 2022)