pldb wrapped

JSJake Silverman

1 papers

cited 15×

cites 13

Reply guy/gal

SZShaowei Zhu

cited you 3×

Mutuals

1. AGArie Gurfinkel2 ⇄ 1
2. CHChristoph Haase1 ⇄ 1
3. Isil Dillig1 ⇄ 1
4. JCJohn Cyphert1 ⇄ 1
5. MBMichael Blondin1 ⇄ 1

you ⇄ them

Parasocial crush

JBJason Breck

you: 2 · them: 0

Secret admirer

FFFlorian Frohn

them: 2 · you: 0

Main character

Loop Summarization with Rational Vector Addition Systems

CAV 2019 · cited 15×

Ratio'd

Approaching the Coverability Problem Continuously

TACAS 2016 · cited 8× · by your 15×

Vintage

You cite like it's 2015

Deepest dig

Symbolic Implementation of the Best Transformer

VMCAI 2004

Lamport number5

1. JSyou
2. ZKZachary Kincaid
3. Swarat Chaudhuri
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Zachary Kincaid. Without them: ∞.

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.