pldb wrapped

MMKMilo M. K. Martin

13 papers

cited 424×

cites 143

Reply guy/gal

MFAMohamed Faouzi Atig

cited you 17×

Mutuals

1. Koushik Sen7 ⇄ 5
2. RBRastislav Bodík5 ⇄ 5
3. Dan Grossman4 ⇄ 4
4. SGSumit Gulwani4 ⇄ 4
5. ASArmando Solar-Lezama3 ⇄ 6

you ⇄ them

Parasocial crush

JTJean-Baptiste Tristan

you: 7 · them: 0

Secret admirer

PAAParosh Aziz Abdulla

them: 14 · you: 0

Main character

CheckFence: checking consistency of concurrent data types on relaxed memory…

PLDI 2007 · cited 74×

Ratio'd

Engineering formal metatheory

POPL 2008 · cited 68× · by your 73×

Vintage

You cite like it's 2006

Deepest dig

A Unified Approach to Global Program Optimization

POPL 1973

Early adopter

cited 1 paper before they were published

e.g. Generating Litmus Tests for Contrasting… (2010) → Sound and Complete Monitoring of Sequential… (TACAS 2011)

Lamport number3

1. MMKyou
2. RARajeev Alur
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Rajeev Alur. Without them: 4.

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.