pldb wrapped

FHFrédéric Haziza

5 papers

cited 63×

cites 82

Reply guy/gal

CEConstantin Enea

cited you 9×

Mutuals

1. TVTomás Vojnar6 ⇄ 5
2. MSMooly Sagiv7 ⇄ 4
3. KSNKedar S. Namjoshi4 ⇄ 3
4. ABAhmed Bouajjani2 ⇄ 3
5. DKDaniel Kroening2 ⇄ 2

you ⇄ them

Parasocial crush

GDGiorgio Delzanno

you: 9 · them: 0

Secret admirer

SSSharon Shoham

them: 7 · you: 0

Main character

An Integrated Specification and Verification Technique for Highly Concurrent…

TACAS 2013 · cited 27×

Ratio'd

Formal Verification of a Lazy Concurrent List-Based Set Algorithm

CAV 2006 · cited 23× · by your 27×

Vintage

You cite like it's 2006

Deepest dig

Systematic Design of Program Analysis Frameworks

POPL 1979

Lamport number4

1. FHyou
2. PAAParosh Aziz Abdulla
3. DAPDoron A. Peled
4. RPKRobert P. Kurshan
5. 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.