Mooly Sagiv

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Simple and precise static analysis of untrusted Linux kernel extensions

Elazar Gershuni and others (2019) · Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation · ACM

Ivy: safety verification by interactive generalization

Oded Padon and others (2016) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

Effectively-Propositional Reasoning about Reachability in Linked Data Structures

Shachar Itzhaky and others (2013) · Computer Aided Verification · Springer Berlin Heidelberg

The Boundary Between Decidability and Undecidability for Transitive-Closure Logics

Neil Immerman and others (2004) · Lecture notes in computer science · Springer Science+Business Media

Verifying Temporal Heap Properties Specified via Evolution Logic

Eran Yahav and others (2003) · Programming Languages and Systems · Springer Berlin Heidelberg