pldb wrapped

RPRudy Peterson

2 papers

cited 13×

cites 17

Reply guy/gal

RGRoberto Guanciale

cited you 4×

Mutuals

1. Isil Dillig1 ⇄ 2
2. MEMatthias Eichholz2 ⇄ 1
3. MKMatthias Krebs1 ⇄ 1
4. MMMira Mezini2 ⇄ 1
5. TKTobias Kappé1 ⇄ 1

you ⇄ them

Parasocial crush

Arjun Guha

you: 3 · them: 0

Secret admirer

AAAditya Akella

them: 2 · you: 0

Main character

Petr4: formal foundations for p4 data planes

POPL 2021 · cited 10×

Ratio'd

Executable formal semantics for the POSIX shell

POPL 2020 · cited 6× · by your 10×

Vintage

You cite like it's 2015

Deepest dig

Local type inference

TOPLAS 2000

Lamport number4

1. RPyou
2. RDRyan Doenges
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.