pldb wrapped

CSCaleb Stanford

9 papers

cited 40×

cites 109

Reply guy/gal

LHLukás Holík

cited you 6×

Mutuals

1. LHLukás Holík4 ⇄ 6
2. PRPhilipp Rümmer6 ⇄ 3
3. AWLAnthony W. Lin2 ⇄ 3
4. YCYu-Fang Chen4 ⇄ 2
5. CMChristoph Matheja1 ⇄ 1

you ⇄ them

Parasocial crush

MRMukund Raghothaman

you: 5 · them: 0

Secret admirer

VHVojtech Havlena

them: 6 · you: 0

Main character

Symbolic Boolean derivatives for efficiently solving extended regular…

PLDI 2021 · cited 21×

Ratio'd

Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests

POPL 2015 · cited 15× · by your 21×

Vintage

You cite like it's 2014

Deepest dig

Linearizability: A Correctness Condition for Concurrent Objects

TOPLAS 1990

Lamport number3

1. CSyou
2. RARajeev Alur
3. RPKRobert P. Kurshan
4. 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.