pldb wrapped

AHAquinas Hobor

16 papers

cited 167×

cites 134

Reply guy/gal

LBLars Birkedal

cited you 25×

Mutuals

1. LBLars Birkedal12 ⇄ 25
2. MJPMatthew J. Parkinson15 ⇄ 8
3. PGPhilippa Gardner8 ⇄ 6
4. ANAleksandar Nanevski5 ⇄ 6
5. Derek Dreyer5 ⇄ 19

you ⇄ them

Parasocial crush

CCCristiano Calcagno

you: 19 · them: 0

Secret admirer

TDThibault Dardinier

them: 10 · you: 0

Main character

Oracle Semantics for Concurrent Separation Logic

ESOP 2008 · cited 63×

Ratio'd

A machine-checked model for a Java-like language, virtual machine, and compiler

TOPLAS 2006 · cited 58× · by your 63×

Vintage

You cite like it's 2010

Deepest dig

Unrestricted Procedure Calls in Hoare's Logic

POPL 1978

Lamport number4

1. AHyou
2. FZNFrancesco Zappa Nardelli
3. CFCédric Fournet
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Francesco Zappa Nardelli. 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.