pldb wrapped

JNJoachim Niehren

6 papers

cited 14×

cites 50

Reply guy/gal

BCSBruno C. d. S. Oliveira

cited you 3×

Mutuals

1. BCPBenjamin C. Pierce2 ⇄ 2
2. DNTDavid N. Turner2 ⇄ 2
3. NKNaoki Kobayashi2 ⇄ 2
4. AMAndrew Moran1 ⇄ 1
5. DSDavid Sands1 ⇄ 1

you ⇄ them

Parasocial crush

MFMatthias Felleisen

you: 5 · them: 0

Secret admirer

AMAleksandr Misonizhnik

them: 2 · you: 0

Main character

The first-order theory of subtyping constraints

POPL 2002 · cited 10×

Vintage

You cite like it's 1995

Deepest dig

Systematic Design of Program Analysis Frameworks

POPL 1979

Lamport number4

1. JNyou
2. AAAlex Aiken
3. KLMKenneth L. McMillan
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Alex Aiken. 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.