pldb wrapped

NPNisarg Patel

5 papers

cited 22×

cites 153

Reply guy/gal

SWSebastian Wolff

cited you 8×

Mutuals

1. RMRoland Meyer7 ⇄ 7
2. SWSebastian Wolff7 ⇄ 8
3. AMAdam Morrison2 ⇄ 1
4. ANAleksandar Nanevski10 ⇄ 1
5. AOAnton Opaterny1 ⇄ 2

you ⇄ them

Parasocial crush

LBLars Birkedal

you: 21 · them: 0

Secret admirer

Duc-Than Nguyen

them: 5 · you: 0

Main character

Verifying concurrent search structure templates

PLDI 2020 · cited 16×

Ratio'd

Hoare-style specifications as correctness conditions for non-linearizable…

OOPSLA 2016 · cited 14× · by your 16×

Vintage

You cite like it's 2016

Deepest dig

On the Synthesis of a Reactive Module

POPL 1989

Lamport number3

1. NPyou
2. KSNKedar S. Namjoshi
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Kedar S. Namjoshi. 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.