pldb wrapped

JHJad Hamza

9 papers

cited 123×

cites 88

Reply guy/gal

OLOri Lahav

cited you 9×

Mutuals

1. RJRanjit Jhala4 ⇄ 5
2. AFAzadeh Farzan3 ⇄ 4
3. BJBengt Jonsson3 ⇄ 4
4. NVNiki Vazou3 ⇄ 3
5. PAAParosh Aziz Abdulla3 ⇄ 7

you ⇄ them

Parasocial crush

SQShaz Qadeer

you: 7 · them: 0

Secret admirer

Umang Mathur

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

Deepest dig

Expressing Interesting Properties of Programs in Propositional Temporal Logic

POPL 1986

Lamport number5

1. JHyou
2. RGRachid Guerraoui
3. TAHThomas A. Henzinger
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. 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.