pldb wrapped

PHPieter Hooimeijer

6 papers

cited 116×

cites 71

Reply guy/gal

AWLAnthony W. Lin

cited you 10×

Mutuals

1. TBTevfik Bultan4 ⇄ 8
2. FYFang Yu4 ⇄ 3
3. NSBNikolaj S. Bjørner7 ⇄ 2
4. VGVijay Ganesh2 ⇄ 3
5. CLGClaire Le Goues1 ⇄ 1

you ⇄ them

Parasocial crush

GWGary Wassermann

you: 8 · them: 0

Secret admirer

AAAbdulbaki Aydin

them: 8 · you: 0

Main character

Symbolic finite state transducers: algorithms and applications

POPL 2012 · cited 33×

Ratio'd

Higher-order multi-parameter tree transducers and recursion schemes for program…

POPL 2010 · cited 29× · by your 33×

Vintage

You cite like it's 2007

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. PHyou
2. NSBNikolaj S. Bjørner
3. KLMKenneth L. McMillan
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.