Oren Ish-Shalom

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 6

Top Topics

Recursive Programs

Inductive Reasoning

Complexity Bounds

Top Venues

Publications

Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Runtime Complexity Bounds Using Squeezers. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction. CoRR (2021)
Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Run-time Complexity Bounds Using Squeezers. ESOP (2021)
Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction. VMCAI (2020)
Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation. VMCAI (2020)
Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar
Computing summaries of string loops in C for better testing and refactoring. PLDI (2019)