pldb wrapped

SPSungwoo Park

11 papers

cited 47×

cites 85

Reply guy/gal

JBJohannes Borgström

cited you 5×

Mutuals

1. Derek Dreyer3 ⇄ 3
2. AJSAlexander J. Summers1 ⇄ 2
3. ARAndreas Rossberg1 ⇄ 1
4. AHAquinas Hobor2 ⇄ 1
5. CVRClaudio V. Russo2 ⇄ 1

you ⇄ them

Parasocial crush

PWOPeter W. O'Hearn

you: 11 · them: 0

Secret admirer

UDLUgo Dal Lago

them: 5 · you: 0

Main character

A probabilistic language based upon sampling functions

POPL 2005 · cited 16×

Ratio'd

SeLoger: A Tool for Graph-Based Reasoning in Separation Logic

CAV 2013 · cited 8× · by your 9×

Vintage

You cite like it's 2003

Deepest dig

Type Definitions with Parameters

POPL 1978

Lamport number4

1. SPyou
2. JGJacques Garrigue
3. DRDidier Rémy
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Jacques Garrigue. 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.