kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Dong Wang
10 papers
cited 27×
cites 103
Reply guy/gal
Burcu Kulahcioglu Ozkan
cited you 4×
Mutuals
  1. Constantin Enea3 ⇄ 2
  2. Rupak Majumdar2 ⇄ 4
  3. Feng Li1 ⇄ 3
  4. Haicheng Chen1 ⇄ 1
  5. Haoyu Wang1 ⇄ 1
you ⇄ them
Parasocial crush
Zhendong Su
you: 6 · them: 0
Secret admirer
Srinidhi Nagendra
them: 3 · you: 0
Main character
An empirical study on crash recovery bugs in large-scale distributed systems
FSE 2018 · cited 13×
Ratio'd
PREFAIL: a programmable tool for multiple-failure injection
OOPSLA 2011 · cited 7× · by your 13×
Vintage
You cite like it's 2018
Deepest dig
Model Checking and Abstraction
POPL 1992
Early adopter
cited 1 paper before they were published
e.g. Making Predicate Abstraction Efficient… (2003) → A Temporal Logic of Nested Calls and Returns (TACAS 2004)
Lamport number4
  1. you
  2. Edmund M. Clarke
  3. E. Allen Emerson
  4. Robert P. Kurshan
  5. Leslie Lamport
pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.