kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
David Mitchel Perry
4 papers
cited 28×
cites 46
Reply guy/gal
Dowon Song
cited you 3×
Mutuals
  1. Rishabh Singh5 ⇄ 2
  2. Sumit Gulwani5 ⇄ 2
  3. Alessandro Orso1 ⇄ 1
  4. Florian Zuleger2 ⇄ 1
  5. Gordon Fraser1 ⇄ 1
you ⇄ them
Parasocial crush
Alessandra Gorla
you: 4 · them: 0
Secret admirer
Hakjoo Oh
them: 3 · you: 0
Main character
SLF: fuzzing without valid seed inputs
ICSE 2019 · cited 11×
Ratio'd
Compositional Symbolic Execution with Memoized Replay
ICSE 2015 · cited 9× · by your 11×
Vintage
You cite like it's 2013
Deepest dig
Translation validation for an optimizing compiler
PLDI 2000
Lamport number4
  1. you
  2. Roopsha Samanta
  3. E. Allen Emerson
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Roopsha Samanta. Without them: 5.

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.