Oren Ish-Shalom

According to our database, Oren Ish-Shalom authored at least 6 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Runtime Complexity Bounds Using Squeezers.

Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham

ACM Trans. Program. Lang. Syst., 2022

2021

Scaling Symbolic Execution

Oren Ish-Shalom

PhD thesis, 2021

Run-time Complexity Bounds Using Squeezers.

Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham

Proceedings of the Programming Languages and Systems, 2021

2020

Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction.

Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

Computing summaries of string loops in C for better testing and refactoring.

Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019