pldb wrapped

FMFrancisco Martins

5 papers

cited 34×

cites 66

Reply guy/gal

SKMStefan K. Muller

cited you 7×

Mutuals

1. KAKunal Agrawal2 ⇄ 2
2. RHRaymond Hu2 ⇄ 2
3. VSVivek Sarkar4 ⇄ 2
4. DKDaniel Kroening1 ⇄ 1
5. DCDavid Castro-Perez1 ⇄ 2

you ⇄ them

Parasocial crush

AGAndy Georges

you: 4 · them: 0

Secret admirer

CVCaleb Voss

them: 4 · you: 0

Main character

Protocol-based verification of message-passing parallel programs

OOPSLA 2015 · cited 17×

Ratio'd

Protocols by Default - Safe MPI Code Generation Based on Session Types

CC 2015 · cited 12× · by your 17×

Vintage

You cite like it's 2011

Deepest dig

Multilisp: A Language for Concurrent Symbolic Computation

TOPLAS 1985

Lamport number5

1. FMyou
2. VSVivek Sarkar
3. Swarat Chaudhuri
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. 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.