pldb wrapped

HSHarald Søndergaard

22 papers

cited 142×

cites 156

Reply guy/gal

TWRThomas W. Reps

cited you 15×

Mutuals

1. TWRThomas W. Reps7 ⇄ 15
2. AKAndy King8 ⇄ 5
3. AGArie Gurfinkel6 ⇄ 4
4. GSGagandeep Singh4 ⇄ 4
5. MPMarkus Püschel4 ⇄ 4

you ⇄ them

Parasocial crush

RCRadhia Cousot

you: 23 · them: 0

Secret admirer

AVTAditya V. Thakur

them: 6 · you: 0

Main character

An Application of Abstract Interpretation of Logic Programs: Occur Check…

ESOP 1986 · cited 23×

Ratio'd

A fast and low-overhead technique to secure programs against integer overflows

CGO 2013 · cited 11× · by your 12×

Vintage

You cite like it's 2006

Deepest dig

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

POPL 1977

Lamport number5

1. HSyou
2. JANJorge A. Navas
3. RJTRichard J. Trefler
4. KSNKedar S. Namjoshi
5. RPKRobert P. Kurshan
6. 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.