pldb wrapped

CSChristoph Sprenger

4 papers

cited 31×

cites 41

Reply guy/gal

JWJosef Widder

cited you 5×

Mutuals

1. CDCezara Dragoi3 ⇄ 2
2. JWJosef Widder2 ⇄ 5
3. DZDamien Zufferey4 ⇄ 1
4. DWDoug Woos2 ⇄ 1
5. IKIgor Konnov1 ⇄ 3

you ⇄ them

Parasocial crush

TAHThomas A. Henzinger

you: 4 · them: 0

Secret admirer

CWChristopher Wagner

them: 3 · you: 0

Main character

Cutoff Bounds for Consensus Algorithms

CAV 2017 · cited 14×

Ratio'd

SMT and POR Beat Counter Abstraction: Parameterized Model Checking of…

CAV 2015 · cited 12× · by your 14×

Vintage

You cite like it's 2015

Deepest dig

Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions

POPL 1989

Lamport number5

1. CSyou
2. MCMartin Clochard
3. Swarat Chaudhuri
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. 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.