kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
James H. Kukula
3 papers
cited 40×
cites 16
Reply guy/gal
Moshe Y. Vardi
cited you 4×
Mutuals
  1. Orna Grumberg3 ⇄ 4
  2. Adnan Aziz1 ⇄ 2
  3. Alessandro Cimatti3 ⇄ 1
  4. Bernard Boigelot2 ⇄ 1
  5. Fabio Somenzi1 ⇄ 2
you ⇄ them
Parasocial crush
Alberto L. Sangiovanni-Vincentelli
you: 2 · them: 0
Secret admirer
Sharon Shoham
them: 3 · you: 0
Main character
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
CAV 2002 · cited 21×
Ratio'd
An Iterative Approach to Language Containment
CAV 1993 · cited 14× · by your 21×
Vintage
You cite like it's 1996
Deepest dig
Model Checking and Abstraction
POPL 1992
Lamport number4
  1. you
  2. Thomas R. Shiple
  3. Robert K. Brayton
  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.