pldb wrapped

YQYicheng Qian

2 papers

cited 16×

cites 13

Reply guy/gal

GPGeorge Pîrlea

cited you 6×

Mutuals

1. ANAina Niemetz2 ⇄ 1
2. HBHaniel Barbosa1 ⇄ 1
3. HLHanna Lachnitt3 ⇄ 1
4. JLJannis Limperg2 ⇄ 1
5. MPMathias Preiner2 ⇄ 1

you ⇄ them

Parasocial crush

ANAndres Nötzli

you: 3 · them: 0

Secret admirer

Ilya Sergey

them: 6 · you: 0

Main character

lean-smt: An SMT Tactic for Discharging Proof Goals in Lean

CAV 2025 · cited 9×

Vintage

You cite like it's 2020

Deepest dig

Type Classes in Haskell

ESOP 1994

Lamport number4

1. YQyou
2. CWBClark W. Barrett
3. KSNKedar S. Namjoshi
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

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.