Mooly Sagiv (1)
Identifiers
No identifiers captured yet.
Papers (1)
- Abstract Interpretation of Stateful Networks cs.PL · 2017 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- (2) Ben-Gurion University of the Negev 1 shared papers
- (3) NYU 1 shared papers
- (4) UC Berkeley 1 shared papers
- (5) Hebrew University of Jerusalem) 1 shared papers
- Aurojit Panda (3) 1 shared papers
- Kalev Alpernas (1) 1 shared papers
- Roman Manevich (2) 1 shared papers
- Scott Shenker (4) 1 shared papers
- Sharon Shoham (1) 1 shared papers
- Yaron Velner (5) ((1) Tel Aviv University 1 shared papers