pldb wrapped

JWJeffery Wang

1 papers

cited 1×

cites 23

Reply guy/gal

ARAzalea Raad

cited you 1×

Parasocial crush

IMIsabella Mastroeni

you: 4 · them: 0

Main character

Calculational Design of Hyperlogics by Abstract Interpretation

POPL 2025 · cited 1×

Vintage

You cite like it's 2019

Deepest dig

On the Algebraic Definition of Programming Languages

TOPLAS 1987

Lamport number4

1. JWyou
2. PCPatrick Cousot
3. BBBruno Blanchet
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Patrick Cousot. 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.