pldb wrapped

MKMichalis Kokologiannakis

16 papers

cited 158×

cites 374

Reply guy/gal

Umang Mathur

cited you 26×

Mutuals

1. APAndreas Pavlogiannis26 ⇄ 23
2. PAAParosh Aziz Abdulla60 ⇄ 22
3. MFAMohamed Faouzi Atig46 ⇄ 18
4. OLOri Lahav30 ⇄ 9
5. RMRoland Meyer8 ⇄ 10

you ⇄ them

Parasocial crush

SAStavros Aronis

you: 35 · them: 0

Secret admirer

SNKShankara Narayanan Krishna

them: 10 · you: 0

Main character

Effective stateless model checking for C/C++ concurrency

POPL 2018 · cited 58×

Ratio'd

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we…

POPL 2015 · cited 52× · by your 58×

Vintage

You cite like it's 2016

Deepest dig

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic…

POPL 1983

Lamport number4

1. MKyou
2. Rupak Majumdar
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

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.