pldb wrapped

AAAlessandro Abate

18 papers

cited 57×

cites 204

Reply guy/gal

DZDorde Zikelic

cited you 8×

Mutuals

1. DZDorde Zikelic9 ⇄ 8
2. KCKrishnendu Chatterjee26 ⇄ 7
3. SJSebastian Junges7 ⇄ 5
4. TAHThomas A. Henzinger7 ⇄ 5
5. JKJoost-Pieter Katoen15 ⇄ 4

you ⇄ them

Parasocial crush

SSSriram Sankaranarayanan

you: 15 · them: 0

Secret admirer

Loris D'Antoni

them: 3 · you: 0

Main character

Counterexample Guided Inductive Synthesis Modulo Theories

CAV 2018 · cited 21×

Ratio'd

Liveness of Randomised Parameterised Systems under Arbitrary Schedulers

CAV 2016 · cited 12× · by your 13×

Vintage

You cite like it's 2015

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Early adopter

cited 1 paper before they were published

e.g. Learning Probabilistic Termination… (2021) → Neural termination analysis (FSE 2022)

Lamport number4

1. AAyou
2. Rupak Majumdar
3. RARajeev Alur
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.