pldb wrapped

SKRSriram K. Rajamani

55 papers

cited 1,315×

cites 442

Reply guy/gal

Rupak Majumdar

cited you 43×

Mutuals

1. KLMKenneth L. McMillan23 ⇄ 24
2. Rupak Majumdar20 ⇄ 43
3. TWRThomas W. Reps20 ⇄ 38
4. RJRanjit Jhala19 ⇄ 25
5. TAHThomas A. Henzinger19 ⇄ 23

you ⇄ them

Parasocial crush

JHJohn Hatcliff

you: 13 · them: 0

Secret admirer

DKDaniel Kroening

them: 27 · you: 0

Main character

The SLAM project: debugging system software via static analysis

POPL 2002 · cited 188×

Ratio'd

Mining specifications

POPL 2002 · cited 150× · by your 188×

Vintage

You cite like it's 2003

Deepest dig

A Unified Approach to Global Program Optimization

POPL 1973

Early adopter

cited 1 paper before they were published

e.g. Verifying Sequential Consistency on… (1999) → Automatic Verification of Parameterized Cache… (CAV 2000)

Lamport number3

1. SKRyou
2. RARajeev Alur
3. RPKRobert P. Kurshan
4. 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.