pldb wrapped

FPFrank Pfenning

33 papers

cited 904×

cites 268

Reply guy/gal

BCSBruno C. d. S. Oliveira

cited you 35×

Mutuals

1. NYNobuko Yoshida16 ⇄ 28
2. PWPhilip Wadler16 ⇄ 15
3. PTPeter Thiemann12 ⇄ 18
4. VTVVasco T. Vasconcelos11 ⇄ 20
5. DWDavid Walker7 ⇄ 11

you ⇄ them

Parasocial crush

KHKohei Honda

you: 14 · them: 0

Secret admirer

RJRanjit Jhala

them: 27 · you: 0

Main character

Dependent Types in Practical Programming

POPL 1999 · cited 164×

Ratio'd

Proving the Correctness of Reactive Systems Using Sized Types

POPL 1996 · cited 75× · by your 164×

Vintage

You cite like it's 2008

Deepest dig

Implementation of an Array Bound Checker

POPL 1977

Lamport number4

1. FPyou
2. ANAleksandar Nanevski
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
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.