pldb wrapped

CEConstantin Enea

50 papers

cited 300×

cites 722

Reply guy/gal

MLMohsen Lesani

cited you 22×

Mutuals

1. PAAParosh Aziz Abdulla30 ⇄ 14
2. SJSuresh Jagannathan13 ⇄ 10
3. TWThomas Wies10 ⇄ 16
4. APAndreas Pavlogiannis8 ⇄ 16
5. DESDennis E. Shasha8 ⇄ 8

you ⇄ them

Parasocial crush

SBSebastian Burckhardt

you: 33 · them: 0

Secret admirer

Umang Mathur

them: 19 · you: 0

Main character

On verifying causal consistency

POPL 2017 · cited 28×

Ratio'd

An Integrated Specification and Verification Technique for Highly Concurrent…

TACAS 2013 · cited 27× · by your 28×

Vintage

You cite like it's 2013

Deepest dig

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

POPL 1977

Lamport number4

1. CEyou
2. TAHThomas A. Henzinger
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.