pldb wrapped

DANDenis A. Nicole

6 papers

cited 59×

cites 28

Reply guy/gal

DBDirk Beyer

cited you 24×

Mutuals

1. DBDirk Beyer3 ⇄ 24
2. HRHerbert Rocha2 ⇄ 2
3. HIHussama Ismail2 ⇄ 2
4. WRWilliame Rocha2 ⇄ 2
5. MDMatthias Dangl2 ⇄ 1

you ⇄ them

Parasocial crush

DKDaniel Kroening

you: 6 · them: 0

Secret admirer

EMEdoardo Manino

them: 4 · you: 0

Main character

ESBMC 5.0: an industrial-strength C model checker

ASE 2018 · cited 25×

Ratio'd

DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs -…

TACAS 2017 · cited 6× · by your 25×

Vintage

You cite like it's 2011

Deepest dig

Symbolic Model Checking without BDDs

TACAS 1999

Lamport number5

1. DANyou
2. BFBernd Fischer
3. SLTSalvatore La Torre
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Bernd Fischer. Without them: 6.

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.