kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Ivan Kuraj
8 papers
cited 263×
cites 141
Reply guy/gal
Isil Dillig
cited you 33×
Mutuals
  1. Ranjit Jhala7 ⇄ 4
  2. Rastislav Bodík8 ⇄ 4
  3. Sumit Gulwani9 ⇄ 4
  4. Suresh Jagannathan7 ⇄ 4
  5. Armando Solar-Lezama3 ⇄ 5
you ⇄ them
Parasocial crush
Gowtham Kaki
you: 6 · them: 0
Secret admirer
Yu Feng
them: 13 · you: 0
Main character
Program synthesis from polymorphic refinement types
PLDI 2016 · cited 135×
Ratio'd
Local type inference
TOPLAS 2000 · cited 125× · by your 135×
Vintage
You cite like it's 2012
Deepest dig
A Methodology for Lisp Program Construction from Examples
POPL 1976
Lamport number4
  1. you
  2. Armando Solar-Lezama
  3. Thomas H. Austin
  4. Martín Abadi
  5. Leslie Lamport

Load-bearing co-author: Armando Solar-Lezama. 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.