kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Joshua B. Tenenbaum
6 papers
cited 26×
cites 59
Reply guy/gal
Isil Dillig
cited you 5×
Mutuals
  1. Isil Dillig3 ⇄ 5
  2. Chandrakana Nandi2 ⇄ 2
  3. Max Willsey2 ⇄ 2
  4. Nadia Polikarpova3 ⇄ 2
  5. Sam Staton3 ⇄ 2
you ⇄ them
Parasocial crush
Feras A. Saad
you: 6 · them: 0
Secret admirer
David Sanán
them: 2 · you: 0
Main character
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library…
PLDI 2021 · cited 15×
Vintage
You cite like it's 2019
Deepest dig
A Deductive Approach to Program Synthesis
TOPLAS 1980
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.