pldb wrapped

MLMarijana Lazic

3 papers

cited 35×

cites 40

Reply guy/gal

SSSharon Shoham

cited you 6×

Mutuals

1. MSMooly Sagiv5 ⇄ 5
2. JRWJames R. Wilcox5 ⇄ 3
3. IKIgor Konnov2 ⇄ 5
4. KLMKenneth L. McMillan4 ⇄ 2
5. ABAlexander Bakst2 ⇄ 1

you ⇄ them

Parasocial crush

ABAhmed Bouajjani

you: 4 · them: 0

Secret admirer

CWChristopher Wagner

them: 3 · you: 0

Main character

A short counterexample property for safety and liveness verification of…

POPL 2017 · cited 22×

Ratio'd

Mace: language support for building distributed systems

PLDI 2007 · cited 20× · by your 22×

Vintage

You cite like it's 2015

Deepest dig

Parallel Program Correctness Through Refinement

POPL 1977

Lamport number4

1. MLyou
2. OPOded Padon
3. KLMKenneth L. McMillan
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.