pldb wrapped

FRMFelipe R. Monteiro

5 papers

cited 36×

cites 20

Reply guy/gal

DBDirk Beyer

cited you 10×

Mutuals

1. DBDirk Beyer3 ⇄ 10
2. PSPeter Schrammel1 ⇄ 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 2013

Deepest dig

Symbolic Model Checking without BDDs

TACAS 1999

Lamport number5

1. FRMyou
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.