pldb wrapped

DHDavid Hansel

1 papers

cited 52×

cites 2

Reply guy/gal

TWRThomas W. Reps

cited you 7×

Secret admirer

KEKousha Etessami

them: 6 · you: 0

Main character

Efficient Algorithms for Model Checking Pushdown Systems

CAV 2000 · cited 52×

Ratio'd

Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs

POPL 2000 · cited 22× · by your 52×

Deepest dig

Program Analysis as Model Checking of Abstract Interpretations

SAS 1998

Lamport number5

1. DHyou
2. JEJavier Esparza
3. Rupak Majumdar
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.