pldb wrapped

PMPetar Maksimovic

11 papers

cited 100×

cites 173

Reply guy/gal

PMPeter Müller

cited you 14×

Mutuals

1. Derek Dreyer11 ⇄ 11
2. AJSAlexander J. Summers6 ⇄ 5
3. PMPeter Müller5 ⇄ 14
4. RKRobbert Krebbers7 ⇄ 5
5. RJRalf Jung8 ⇄ 4

you ⇄ them

Parasocial crush

CCCristiano Calcagno

you: 9 · them: 0

Secret admirer

OSOpale Sjöstedt

them: 13 · you: 0

Main character

Gillian, part i: a multi-language platform for symbolic execution

PLDI 2020 · cited 27×

Ratio'd

Lem: reusable engineering of real-world semantics

ICFP 2014 · cited 26× · by your 27×

Vintage

You cite like it's 2014

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number4

1. PMyou
2. NRKNeelakantan R. Krishnaswami
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Neelakantan R. Krishnaswami. 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.