kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Zhiwu Xu
12 papers
cited 128×
cites 168
Reply guy/gal
Bruno C. d. S. Oliveira
cited you 17×
Mutuals
  1. Charles Zhang2 ⇄ 4
  2. Véronique Benzaken2 ⇄ 3
  3. Yan Cai4 ⇄ 2
  4. Yi Li2 ⇄ 2
  5. Ashish Tiwari1 ⇄ 1
you ⇄ them
Parasocial crush
Isil Dillig
you: 11 · them: 0
Secret admirer
Xuejing Huang
them: 11 · you: 0
Main character
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and…
POPL 2014 · cited 23×
Ratio'd
Smoke: scalable path-sensitive memory leak detection for millions of lines of…
ICSE 2019 · cited 19× · by your 23×
Vintage
You cite like it's 2017
Deepest dig
Principal Type-Schemes for Functional Programs
POPL 1982
Lamport number4
  1. you
  2. Geguang Pu
  3. Moshe Y. Vardi
  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.