pldb wrapped

JMJeremy Morse

4 papers

cited 47×

cites 18

Reply guy/gal

DBDirk Beyer

cited you 19×

Mutuals

1. DBDirk Beyer1 ⇄ 19
2. HRHerbert Rocha1 ⇄ 2
3. HIHussama Ismail1 ⇄ 2
4. MDMatthias Dangl1 ⇄ 1
5. PWPhilipp Wendler1 ⇄ 1

you ⇄ them

Parasocial crush

DKDaniel Kroening

you: 4 · them: 0

Secret admirer

NLNian-Ze Lee

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

A Temporal Logic of Nested Calls and Returns

TACAS 2004

Lamport number5

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