kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Kasra Ferdowsifard
2 papers
cited 10×
cites 78
Reply guy/gal
Milos Gligoric
cited you 2×
Mutuals
  1. Armando Solar-Lezama3 ⇄ 1
  2. Isil Dillig9 ⇄ 1
  3. Michael B. James1 ⇄ 1
  4. Rui Dong1 ⇄ 1
  5. Xinyu Wang1 ⇄ 1
you ⇄ them
Parasocial crush
Rastislav Bodík
you: 7 · them: 0
Secret admirer
Owolabi Legunsen
them: 2 · you: 0
Main character
LooPy: interactive program synthesis with control structures
OOPSLA 2021 · cited 11×
Ratio'd
TF-Coder: Program Synthesis for Tensor Manipulations
TOPLAS 2022 · cited 10× · by your 11×
Vintage
You cite like it's 2019
Deepest dig
Towards Automatic Imperative Program Synthesis Through Proof Planning
ASE 1999
Lamport number4
  1. you
  2. Hila Peleg
  3. Benjamin C. Pierce
  4. Martín Abadi
  5. Leslie Lamport

Load-bearing co-author: Hila Peleg. 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.