pldb wrapped

KNKartik Nagar

10 papers

cited 42×

cites 129

Reply guy/gal

MLMohsen Lesani

cited you 9×

Mutuals

1. MLMohsen Lesani6 ⇄ 9
2. FHFarzin Houshmand4 ⇄ 5
3. CEConstantin Enea9 ⇄ 3
4. KCSK. C. Sivaramakrishnan11 ⇄ 3
5. ARAzalea Raad3 ⇄ 2

you ⇄ them

Parasocial crush

AGAlexey Gotsman

you: 17 · them: 0

Secret admirer

JSJavad Saberlatibari

them: 5 · you: 0

Main character

Alone together: compositional reasoning and inference for weak isolation

POPL 2018 · cited 14×

Ratio'd

Relaxing safely: verified on-the-fly garbage collection for x86-TSO

PLDI 2015 · cited 11× · by your 14×

Vintage

You cite like it's 2018

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number4

1. KNyou
2. ARAseem Rastogi
3. CFCédric Fournet
4. MAMartín Abadi
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.