pldb wrapped

TPJThomas P. Jensen

32 papers

cited 123×

cites 322

Reply guy/gal

DVHDavid Van Horn

cited you 10×

Mutuals

1. DVHDavid Van Horn12 ⇄ 10
2. MMMatthew Might14 ⇄ 8
3. HSHelmut Seidl3 ⇄ 4
4. HBSHenny B. Sipma3 ⇄ 3
5. SSSriram Sankaranarayanan3 ⇄ 3

you ⇄ them

Parasocial crush

RCRadhia Cousot

you: 27 · them: 0

Secret admirer

Francesco Ranzato

them: 4 · you: 0

Main character

A Calculational Approach to Control-Flow Analysis by Abstract Interpretation

SAS 2008 · cited 18×

Ratio'd

Compositional soundness proofs of abstract interpreters

ICFP 2018 · cited 12× · by your 14×

Vintage

You cite like it's 2005

Deepest dig

A Unified Approach to Global Program Optimization

POPL 1973

Lamport number4

1. TPJyou
2. ASAlan Schmitt
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
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.