pldb wrapped

FMFrédéric Mesnard

8 papers

cited 34×

cites 77

Reply guy/gal

SGSamir Genaim

cited you 9×

Mutuals

1. AMBAmir M. Ben-Amram3 ⇄ 3
2. ARAndrey Rybalchenko7 ⇄ 3
3. BCByron Cook8 ⇄ 2
4. MBMaurice Bruynooghe2 ⇄ 2
5. PWOPeter W. O'Hearn5 ⇄ 2

you ⇄ them

Parasocial crush

PCPatrick Cousot

you: 7 · them: 0

Secret admirer

CFCarsten Fuhs

them: 3 · you: 0

Main character

A termination analyzer for Java bytecode based on path-length

TOPLAS 2010 · cited 28×

Ratio'd

Proving thread termination

PLDI 2007 · cited 25× · by your 28×

Vintage

You cite like it's 2005

Deepest dig

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

POPL 1977

Lamport number6

1. FMyou
2. FSFausto Spoto
3. MDEMichael D. Ernst
4. STSerdar Tasiran
5. RARajeev Alur
6. RPKRobert P. Kurshan
7. LLLeslie Lamport

Load-bearing co-author: Fausto Spoto. 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.