pldb wrapped

JMLJohn M. Li

7 papers

cited 30×

cites 163

Reply guy/gal

ACAdam Chlipala

cited you 4×

Mutuals

1. LBLars Birkedal8 ⇄ 4
2. Alexandra Silva3 ⇄ 2
3. JTJoseph Tassarotti2 ⇄ 4
4. YZYizhou Zhang2 ⇄ 2
5. ACAdam Chlipala1 ⇄ 4

you ⇄ them

Parasocial crush

Derek Dreyer

you: 14 · them: 0

Secret admirer

AAAlejandro Aguirre

them: 4 · you: 0

Main character

Lilac: A Modal Separation Logic for Conditional Probability

PLDI 2023 · cited 15×

Ratio'd

Verifying efficient function calls in CakeML

ICFP 2017 · cited 10× · by your 11×

Vintage

You cite like it's 2017

Deepest dig

Reflection and Semantics in Lisp

POPL 1984

Lamport number4

1. JMLyou
2. AAAmal Ahmed
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
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.