pldb wrapped

ETErmenegildo Tomasco

7 papers

cited 73×

cites 114

Reply guy/gal

DBDirk Beyer

cited you 21×

Mutuals

1. DBDirk Beyer4 ⇄ 21
2. TLNTruc L. Nguyen4 ⇄ 15
3. ABAhmed Bouajjani9 ⇄ 1
4. APAndreas Podelski1 ⇄ 2
5. AFAzadeh Farzan1 ⇄ 2

you ⇄ them

Parasocial crush

SQShaz Qadeer

you: 19 · them: 0

Secret admirer

FHFei He

them: 4 · you: 0

Main character

Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization

CAV 2014 · cited 28×

Ratio'd

Getting Rid of Store-Buffers in TSO Analysis

CAV 2011 · cited 26× · by your 28×

Vintage

You cite like it's 2012

Deepest dig

A New Approach to Proving the Correctness of Multiprocess Programs

TOPLAS 1979

Lamport number4

1. ETyou
2. SLTSalvatore La Torre
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Salvatore La Torre. 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.