Oren Ish-Shalom

Available identifiers

zbMath Open ish-shalom.orenMaRDI QIDQ784117

List of research outcomes

Publication	Date of Publication	Type
Run-time complexity bounds using squeezers	2021-10-18	Paper
Putting the squeeze on array programs: loop verification via inductive rank reduction	2020-08-05	Paper
Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation	2020-08-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Oren Ish-Shalom