1 citations · 1 across the 3 of their papers we have counts for
3 papers · 1 filter
Dynamic Robustness Verification Against Weak Memory (Extended Version)
Roy Margalit, Michalis Kokologiannakis, Shachar Itzhaky +1
Dynamic race detection is a highly effective runtime verification technique for identifying data races by instrumenting and monitoring concurrent program runs. However, standard dy…
Kotlin's Type System is (Also) Unsound
Elad Kinsbruner, Hila Peleg, Shachar Itzhaky
Soundness of a type system is a fundemental property that guarantees that no operation that is not supported by a value will be performed on that value at run time. A type checker…
Colored E-Graph: Equality Reasoning with Conditions
Eytan Singher, Shachar Itzhaky
E-graphs are a prominent data structure that has been increasing in popularity in recent years due to their expanding range of applications in various formal reasoning tasks. Often…