pldb wrapped

HHNHuu Hai Nguyen

8 papers

cited 131×

cites 90

Reply guy/gal

EAElvira Albert

cited you 7×

Mutuals

1. CCCristiano Calcagno4 ⇄ 5
2. MHMartin Hofmann3 ⇄ 5
3. SJSteffen Jost3 ⇄ 3
4. DDDino Distefano4 ⇄ 2
5. EAElvira Albert2 ⇄ 7

you ⇄ them

Parasocial crush

BCByron Cook

you: 5 · them: 0

Secret admirer

FPFrançois Pottier

them: 7 · you: 0

Main character

Automated Verification of Shape and Size Properties Via Separation Logic

VMCAI 2007 · cited 36×

Ratio'd

Combining programming with theorem proving

ICFP 2005 · cited 27× · by your 36×

Vintage

You cite like it's 2004

Deepest dig

Automatic Discovery of Linear Restraints Among Variables of a Program

POPL 1978

Lamport number5

1. HHNyou
2. CDCristina David
3. BWBow-Yaw Wang
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.