kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Eunsuk Kang
14 papers
cited 20×
cites 111
Reply guy/gal
Allison Sullivan
cited you 2×
Mutuals
  1. Emina Torlak4 ⇄ 2
  2. Armando Solar-Lezama6 ⇄ 1
  3. Darko Marinov1 ⇄ 1
  4. Hamid Bagheri1 ⇄ 1
  5. Sarfraz Khurshid1 ⇄ 2
you ⇄ them
Parasocial crush
Marsha Chechik
you: 5 · them: 0
Secret admirer
John Wickerson
them: 2 · you: 0
Main character
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver
ICSE 2015 · cited 10×
Ratio'd
Comfusy: A Tool for Complete Functional Synthesis
CAV 2010 · cited 5× · by your 10×
Vintage
You cite like it's 2012
Deepest dig
The Byzantine Generals Problem
TOPLAS 1982
Lamport number4
  1. you
  2. Stavros Tripakis
  3. Rajeev Alur
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Stavros Tripakis. 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.