kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Herbert Jordan
5 papers
cited 99×
cites 40
Reply guy/gal
Yannis Smaragdakis
cited you 10×
Mutuals
  1. Yannis Smaragdakis7 ⇄ 10
  2. Neville Grech2 ⇄ 6
  3. Alan J. Hu1 ⇄ 1
  4. Andrew Gacek1 ⇄ 1
  5. Bill Kocik1 ⇄ 1
you ⇄ them
Parasocial crush
John Whaley
you: 5 · them: 0
Secret admirer
Aaron Bembenek
them: 8 · you: 0
Main character
Soufflé: On Synthesis of Program Analyzers
CAV 2016 · cited 53×
Ratio'd
Using Datalog with Binary Decision Diagrams for Program Analysis
APLAS 2005 · cited 52× · by your 53×
Vintage
You cite like it's 2012
Deepest dig
Solving Demand Versions of Interprocedural Analysis Problems
CC 1994
Lamport number5
  1. you
  2. David Zhao
  3. Mukund Raghothaman
  4. Rajeev Alur
  5. Robert P. Kurshan
  6. 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.