pldb wrapped

MEMartin Erwig

37 papers

cited 162×

cites 306

Reply guy/gal

JPCJohn Peter Campora III

cited you 8×

Mutuals

1. MFMatthias Felleisen8 ⇄ 4
2. Arjun Guha3 ⇄ 3
3. KOKlaus Ostermann15 ⇄ 3
4. PGPaul Gazzillo3 ⇄ 5
5. RJRanjit Jhala3 ⇄ 4

you ⇄ them

Parasocial crush

DSBDon S. Batory

you: 14 · them: 0

Secret admirer

JWJun Wei

them: 8 · you: 0

Main character

Counter-factual typing for debugging type errors

POPL 2014 · cited 27×

Ratio'd

Symbolic model checking of software product lines

ICSE 2011 · cited 25× · by your 26×

Vintage

You cite like it's 2008

Deepest dig

Principal Type-Schemes for Functional Programs

POPL 1982

Lamport number5

1. MEyou
2. CKChristian Kästner
3. HZHaoran Zhang
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.