pldb wrapped

KBKevin Batz

16 papers

cited 102×

cites 291

Reply guy/gal

AAAlejandro Aguirre

cited you 13×

Mutuals

1. KCKrishnendu Chatterjee31 ⇄ 9
2. HFHongfei Fu18 ⇄ 7
3. DZDorde Zikelic8 ⇄ 6
4. GBGilles Barthe13 ⇄ 6
5. JHJustin Hsu18 ⇄ 5

you ⇄ them

Parasocial crush

AMAnnabelle McIver

you: 19 · them: 0

Secret admirer

PGHPhilipp G. Haselwarter

them: 9 · you: 0

Main character

Quantitative separation logic: a logic for reasoning about probabilistic…

POPL 2019 · cited 29×

Ratio'd

An Assertion-Based Program Logic for Probabilistic Programs

ESOP 2018 · cited 22× · by your 29×

Vintage

You cite like it's 2018

Deepest dig

A Deductive Approach to Program Synthesis

TOPLAS 1980

Lamport number4

1. KByou
2. JKJoost-Pieter Katoen
3. DAPDoron A. Peled
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.