kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Bui Phi Diep
3 papers
cited 30×
cites 49
Reply guy/gal
Vojtech Havlena
cited you 8×
Mutuals
  1. Anthony W. Lin8 ⇄ 6
  2. Matthew Hague4 ⇄ 6
  3. Taolue Chen4 ⇄ 5
  4. Vijay Ganesh5 ⇄ 3
  5. Philipp Rümmer6 ⇄ 2
you ⇄ them
Parasocial crush
Yunhui Zheng
you: 5 · them: 0
Secret admirer
Ondrej Lengál
them: 7 · you: 0
Main character
Flatten and conquer: a framework for efficient analysis of string constraints
PLDI 2017 · cited 19×
Ratio'd
String Analysis via Automata Manipulation with Logic Circuit Representation
CAV 2016 · cited 17× · by your 19×
Vintage
You cite like it's 2014
Deepest dig
Symbolic Model Checking without BDDs
TACAS 1999
Lamport number4
  1. you
  2. Parosh Aziz Abdulla
  3. Doron A. Peled
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Parosh Aziz Abdulla. 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.