Mooly Sagiv
120 papers
cited 2,488×
cites 1,293
Mutuals
- Peter W. O'Hearn44 ⇄ 53
- Dino Distefano32 ⇄ 48
- Alex Aiken31 ⇄ 49
- Hongseok Yang31 ⇄ 66
- P. Madhusudan28 ⇄ 43
you ⇄ them
Main character
POPL 1995 · cited 391×
Vintage
You cite like it's 2005
Early adopter
cited 1 paper before they were published
e.g. Heap Decomposition for Concurrent Shape… (2008) → Shape-Value Abstraction for Verifying… (VMCAI 2009)
Lamport number3
pldb.kirancodes.me/fun · within PLDB