pldb wrapped

MSMichael Stepp

4 papers

cited 139×

cites 35

Reply guy/gal

Max Willsey

cited you 12×

Mutuals

1. JGMJ. Gregory Morrisett1 ⇄ 1
2. JTJean-Baptiste Tristan1 ⇄ 2
3. KPKeshav Pingali1 ⇄ 1
4. NSBNikolaj S. Bjørner1 ⇄ 1
5. PGPaul Govereau1 ⇄ 1

you ⇄ them

Parasocial crush

DWDeborah Whitfield

you: 3 · them: 0

Secret admirer

NPLNuno P. Lopes

them: 9 · you: 0

Main character

Equality saturation: a new approach to optimization

POPL 2009 · cited 90×

Ratio'd

Denali: A Goal-directed Superoptimizer

PLDI 2002 · cited 51× · by your 90×

Vintage

You cite like it's 1998

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. MSyou
2. SKDSaumya K. Debray
3. RDSRichard D. Schlichting
4. FBSFred B. Schneider
5. LLLeslie Lamport

Load-bearing co-author: Saumya K. Debray. Without them: 5.

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.