pldb wrapped

AVArnaud Venet

9 papers

cited 91×

cites 115

Reply guy/gal

XRXavier Rival

cited you 10×

Mutuals

1. JFJérôme Feret6 ⇄ 8
2. XRXavier Rival5 ⇄ 10
3. GSGagandeep Singh7 ⇄ 4
4. MPMarkus Püschel7 ⇄ 4
5. MTVMartin T. Vechev7 ⇄ 4

you ⇄ them

Parasocial crush

TWRThomas W. Reps

you: 12 · them: 0

Secret admirer

BECBor-Yuh Evan Chang

them: 6 · you: 0

Main character

Precise and efficient static array bound checking for large embedded C programs

PLDI 2004 · cited 34×

Ratio'd

Estimating the Impact of Scalable Pointer Analysis on Optimization

SAS 2001 · cited 27× · by your 34×

Vintage

You cite like it's 2005

Deepest dig

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

POPL 1977

Lamport number5

1. AVyou
2. AVTAditya V. Thakur
3. SKRSriram K. Rajamani
4. RARajeev Alur
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.