Susmit Sarkar
17 papers
cited 606×
cites 115
Mutuals
- Viktor Vafeiadis12 ⇄ 91
Derek Dreyer5 ⇄ 20
- Jade Alglave6 ⇄ 5
- Jaroslav Sevcík5 ⇄ 6
- Ori Lahav5 ⇄ 74
you ⇄ them
Vintage
You cite like it's 2008
Early adopter
cited 1 paper before they were published
e.g. Ott: effective tool support for the… (2007) → Engineering formal metatheory (POPL 2008)
Lamport number3
Load-bearing co-author: Rajeev Alur. Without them: 4.
pldb.kirancodes.me/fun · within PLDB