pldb wrapped

ASAnna Slobodová

5 papers

cited 20×

cites 13

Reply guy/gal

JCJoonwon Choi

cited you 4×

Mutuals

1. ARAlastair Reid2 ⇄ 1
2. AZAli Zaidi2 ⇄ 1
3. ADAnastasios Deligiannis2 ⇄ 1
4. APAshan Pathirane2 ⇄ 1
5. DGDavid Gilday2 ⇄ 1

you ⇄ them

Parasocial crush

AMAlan Mishchenko

you: 2 · them: 0

Secret admirer

HZHongce Zhang

them: 3 · you: 0

Main character

Replacing Testing with Formal Verification in Intel CoreTM i7 Processor…

CAV 2009 · cited 14×

Ratio'd

A reflective functional language for hardware design and theorem proving

JFP 2006 · cited 6× · by your 14×

Vintage

You cite like it's 2009

Deepest dig

Formal Verification of Backward Compatibility of Microcode

CAV 2005

Lamport number4

1. ASyou
2. RSRob Sumners
3. JSMJ Strother Moore
4. RESRobert E. Shostak
5. LLLeslie Lamport

Load-bearing co-author: Rob Sumners. Without them: 6.

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.