pldb wrapped

JWJosef Widder

10 papers

cited 58×

cites 93

Reply guy/gal

SSSharon Shoham

cited you 15×

Mutuals

1. KGKlaus von Gleissenthall7 ⇄ 9
2. ABAlexander Bakst5 ⇄ 5
3. RGKRami Gökhan Kici5 ⇄ 5
4. RJRanjit Jhala7 ⇄ 5
5. JRWJames R. Wilcox6 ⇄ 4

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 9 · them: 0

Secret admirer

GLGiuliano Losa

them: 11 · you: 0

Main character

A Logic-Based Framework for Verifying Consensus Algorithms

VMCAI 2014 · cited 22×

Ratio'd

Mace: language support for building distributed systems

PLDI 2007 · cited 20× · by your 22×

Vintage

You cite like it's 2009

Deepest dig

Parallel Program Correctness Through Refinement

POPL 1977

Lamport number4

1. JWyou
2. TAHThomas A. Henzinger
3. RARajeev Alur
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.