kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Jason Gross
3 papers
cited 59×
cites 27
Reply guy/gal
Yuepeng Wang
cited you 8×
Mutuals
  1. Armando Solar-Lezama3 ⇄ 3
  2. Anders Mörtberg1 ⇄ 3
  3. Cyril Cohen1 ⇄ 3
  4. Magnus O. Myreen1 ⇄ 1
  5. Rastislav Bodík1 ⇄ 1
you ⇄ them
Parasocial crush
Alex Aiken
you: 4 · them: 0
Secret admirer
Isil Dillig
them: 7 · you: 0
Main character
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant
POPL 2015 · cited 44×
Ratio'd
Synthesizing data structure manipulations from storyboards
FSE 2011 · cited 42× · by your 44×
Vintage
You cite like it's 2013
Deepest dig
Finite Differencing of Computable Expressions
TOPLAS 1982
Lamport number4
  1. you
  2. Adam Chlipala
  3. J. Gregory Morrisett
  4. Fred B. Schneider
  5. Leslie Lamport

Load-bearing co-author: Adam Chlipala. 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.