pldb wrapped

CTCatia Trubiani

3 papers

cited 13×

cites 46

Reply guy/gal

DBDirk Beyer

cited you 6×

Mutuals

1. DBDirk Beyer4 ⇄ 6
2. BFBernd Fischer5 ⇄ 1
3. ETErmenegildo Tomasco1 ⇄ 1
4. GPGennaro Parlato4 ⇄ 1
5. SLTSalvatore La Torre4 ⇄ 1

you ⇄ them

Parasocial crush

NSNorbert Siegmund

you: 4 · them: 0

Secret admirer

JSJan Strejcek

them: 2 · you: 0

Main character

Parallel and distributed bounded model checking of multi-threaded programs

PPoPP 2020 · cited 12×

Ratio'd

Parallel bug-finding in concurrent programs via reduced interleaving instances

ASE 2017 · cited 10× · by your 12×

Vintage

You cite like it's 2015

Deepest dig

Static Partial Order Reduction

TACAS 1998

Lamport number4

1. CTyou
2. MTMirco Tribastone
3. LCLuca Cardelli
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Mirco Tribastone. Without them: 5.

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.