pldb wrapped

MPMichele Pasqua

6 papers

cited 21×

cites 44

Reply guy/gal

AOAlessandro Orso

cited you 3×

Mutuals

1. PCPatrick Cousot10 ⇄ 3
2. AOAlessandro Orso1 ⇄ 3
3. Caterina Urban1 ⇄ 2
4. DBDaniel Blackwell1 ⇄ 1
5. DCDavid Clark1 ⇄ 1

you ⇄ them

Parasocial crush

RCRadhia Cousot

you: 8 · them: 0

Secret admirer

JWJeffery Wang

them: 3 · you: 0

Main character

Verifying Bounded Subset-Closed Hyperproperties

SAS 2018 · cited 9×

Ratio'd

The PER Model of Abstract Non-interference

SAS 2005 · cited 8× · by your 9×

Vintage

You cite like it's 2017

Deepest dig

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

POPL 1977

Lamport number5

1. MPyou
2. PTPaolo Tonella
3. LBLuciano Baresi
4. MYVMoshe Y. Vardi
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Paolo Tonella. Without them: 6.

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.