pldb wrapped

AAAlejandro Aguirre

17 papers

cited 103×

cites 340

Reply guy/gal

Alexandra Silva

cited you 8×

Mutuals

1. RJRalf Jung32 ⇄ 6
2. Alexandra Silva5 ⇄ 8
3. KCKrishnendu Chatterjee7 ⇄ 5
4. NZNoam Zilberstein5 ⇄ 8
5. JBJialu Bao7 ⇄ 4

you ⇄ them

Parasocial crush

RKRobbert Krebbers

you: 25 · them: 0

Secret admirer

EVElizaveta Vasilenko

them: 6 · you: 0

Main character

A relational logic for higher-order programs

ICFP 2017 · cited 30×

Ratio'd

A relational modal logic for higher-order stateful ADTs

POPL 2010 · cited 25× · by your 30×

Vintage

You cite like it's 2018

Deepest dig

Termination of Probabilistic Concurrent Program

TOPLAS 1983

Early adopter

cited 1 paper before they were published

e.g. Modular Reasoning about Error Bounds… (2025) → Probabilistic Concurrent Reasoning in Outcome… (POPL 2026)

Lamport number4

1. AAyou
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.