pldb wrapped

MVMuralidaran Vijayaraghavan

2 papers

cited 27×

cites 27

Reply guy/gal

TBThomas Bourgeat

cited you 4×

Mutuals

1. ARAlastair Reid1 ⇄ 1
2. PSPeter Sewell4 ⇄ 1

you ⇄ them

Parasocial crush

JAJade Alglave

you: 6 · them: 0

Secret admirer

Adrian Sampson

them: 2 · you: 0

Main character

Kami: a platform for high-level parametric hardware specification and its…

ICFP 2017 · cited 23×

Ratio'd

Microarchitecture Verification by Compositional Model Checking

CAV 2001 · cited 14× · by your 23×

Vintage

You cite like it's 2010

Deepest dig

Automatic verification of Pipelined Microprocessor Control

CAV 1994

Lamport number4

1. MVyou
2. ACAdam Chlipala
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. LLLeslie Lamport

Load-bearing co-author: Adam Chlipala. 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.