pldb wrapped

MBMatthias Brun

2 papers

cited 46×

cites 25

Reply guy/gal

PMPeter Müller

cited you 4×

Mutuals

1. Derek Dreyer6 ⇄ 3
2. NSNikhil Swamy2 ⇄ 2
3. PMPeter Müller2 ⇄ 4
4. RJRalf Jung4 ⇄ 2
5. YMYusuke Matsushita2 ⇄ 3

you ⇄ them

Parasocial crush

HDHoang-Hai Dang

you: 3 · them: 0

Secret admirer

JFJonás Fiala

them: 3 · you: 0

Main character

Verus: Verifying Rust Programs using Linear Ghost Types

OOPSLA 2023 · cited 41×

Vintage

You cite like it's 2019

Deepest dig

The Temporal Logic of Actions

TOPLAS 1994

Lamport number4

1. MByou
2. CHChris Hawblitzel
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.