pldb wrapped

RTRené Thiemann

7 papers

cited 24×

cites 37

Reply guy/gal

NKNaoki Kobayashi

cited you 3×

Mutuals

1. AMAart Middeldorp4 ⇄ 2
2. AMBAmir M. Ben-Amram1 ⇄ 1
3. ARAndrey Rybalchenko2 ⇄ 1
4. CKChristina Kirk1 ⇄ 1
5. GMGeorg Moser1 ⇄ 1

you ⇄ them

Parasocial crush

BHBrian Huffman

you: 4 · them: 0

Secret admirer

APAndrei Popescu

them: 2 · you: 0

Main character

Automated termination proofs for haskell by term rewriting

TOPLAS 2011 · cited 15×

Ratio'd

Ranking Abstractions

ESOP 2008 · cited 13× · by your 15×

Vintage

You cite like it's 2007

Deepest dig

Efficiently Computing Static Single Assignment Form and the Control Dependence…

TOPLAS 1991

Lamport number5

1. RTyou
2. OKOndrej Kuncar
3. APAndrei Popescu
4. ELGElsa L. Gunter
5. RPKRobert P. Kurshan
6. 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.