pldb wrapped

FSFausto Spoto

16 papers

cited 57×

cites 202

Reply guy/gal

SGSamir Genaim

cited you 8×

Mutuals

1. AMBAmir M. Ben-Amram3 ⇄ 3
2. EAElvira Albert3 ⇄ 4
3. PWOPeter W. O'Hearn8 ⇄ 3
4. PAPuri Arenas3 ⇄ 3
5. SGSamir Genaim3 ⇄ 8

you ⇄ them

Parasocial crush

RCRadhia Cousot

you: 16 · them: 0

Secret admirer

GPGerman Puebla

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 2003

Deepest dig

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

POPL 1977

Lamport number5

1. FSyou
2. MDEMichael D. Ernst
3. STSerdar Tasiran
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.