Ravi Chugh
16 papers
cited 241×
cites 259
Mutuals
- Armando Solar-Lezama5 ⇄ 5
- Cormac Flanagan8 ⇄ 5
- Matthias Felleisen9 ⇄ 5
- Andrew D. Gordon6 ⇄ 4
Sam Tobin-Hochstadt4 ⇄ 10
you ⇄ them
Vintage
You cite like it's 2009
Early adopter
cited 1 paper before they were published
e.g. Type-preserving compilation of… (2010) → Refinement types for secure implementations (TOPLAS 2011)
Lamport number4
pldb.kirancodes.me/fun · within PLDB