pldb wrapped

RKRoope Kaivola

4 papers

cited 16×

cites 9

Reply guy/gal

RSRob Sumners

cited you 3×

Secret admirer

SGShilpi Goel

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 2001

Deepest dig

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985

Lamport number5

1. RKyou
2. ASAnna Slobodová
3. RSRob Sumners
4. JSMJ Strother Moore
5. RESRobert E. Shostak
6. LLLeslie Lamport

Load-bearing co-author: Anna Slobodová. Without them: 7.

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.