pldb wrapped

Mae Milano

@mpmilano.bsky.social

8 papers

cited 86×

cites 100

Reply guy/gal

SSSteffen Smolka

cited you 5×

Mutuals

1. DWDavid Walker5 ⇄ 3
2. ASArmando Solar-Lezama2 ⇄ 2
3. FHFarzin Houshmand2 ⇄ 2
4. KCSK. C. Sivaramakrishnan5 ⇄ 2
5. MLMohsen Lesani2 ⇄ 3

you ⇄ them

Parasocial crush

SJSuresh Jagannathan

you: 7 · them: 0

Secret admirer

TKTobias Kappé

them: 5 · you: 0

Main character

A Coalgebraic Decision Procedure for NetKAT

POPL 2015 · cited 26×

Ratio'd

VeriCon: towards verifying controller programs in software-defined networks

PLDI 2014 · cited 22× · by your 26×

Vintage

You cite like it's 2012

Deepest dig

The Aggregate Update Problem in Functional Programming Systems

POPL 1985

Lamport number4

1. you
2. AAAlex Aiken
3. KLMKenneth L. McMillan
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.