pldb wrapped

CHBChristopher H. Broadbent

1 papers

cited 7×

cites 13

Reply guy/gal

CLOC.-H. Luke Ong

cited you 3×

Mutuals

1. CLOC.-H. Luke Ong4 ⇄ 3
2. NKNaoki Kobayashi3 ⇄ 2
3. SJRSteven J. Ramsay2 ⇄ 2
4. ASMAndrzej S. Murawski1 ⇄ 1
5. RPNRobin P. Neatherway1 ⇄ 1

you ⇄ them

Parasocial crush

DHDavid Hopkins

you: 2 · them: 0

Secret admirer

TTTaku Terao

them: 2 · you: 0

Main character

C-SHORe: a collapsible approach to higher-order verification

ICFP 2013 · cited 7×

Vintage

You cite like it's 2010

Deepest dig

Even Simple Programs are Hard to Analyze

POPL 1975

Lamport number5

1. CHByou
2. MHMatthew Hague
3. Rupak Majumdar
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Matthew Hague. Without them: ∞.

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.