kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
David Lacey
4 papers
cited 36×
cites 42
Reply guy/gal
Gilles Muller
cited you 5×
Mutuals
  1. Sorin Lerner3 ⇄ 4
  2. Craig Chambers4 ⇄ 2
  3. Mary Lou Soffa2 ⇄ 3
  4. Todd D. Millstein2 ⇄ 2
  5. David A. Schmidt2 ⇄ 1
you ⇄ them
Parasocial crush
Bernhard Steffen
you: 6 · them: 0
Secret admirer
Julia L. Lawall
them: 5 · you: 0
Main character
Proving correctness of compiler optimizations by temporal logic
POPL 2002 · cited 24×
Ratio'd
Program Analysis as Model Checking of Abstract Interpretations
SAS 1998 · cited 22× · by your 24×
Vintage
You cite like it's 1997
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Lamport number5
  1. you
  2. Neil D. Jones
  3. Andreas Podelski
  4. Moshe Y. Vardi
  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.