pldb wrapped

OIOmar Inverso

13 papers

cited 111×

cites 163

Reply guy/gal

DBDirk Beyer

cited you 38×

Mutuals

1. DBDirk Beyer14 ⇄ 38
2. ABAhmed Bouajjani15 ⇄ 3
3. DKDaniel Kroening17 ⇄ 3
4. SLTSalvatore La Torre3 ⇄ 3
5. TLNTruc L. Nguyen3 ⇄ 10

you ⇄ them

Parasocial crush

SQShaz Qadeer

you: 30 · them: 0

Secret admirer

JSJan Strejcek

them: 8 · 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. OIyou
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.