John M. Li

Identifiers

• name variant John M. Li 0.60 · backfill

Papers (3)

1. Multi-Language Probabilistic Programming cs.PL · 2025 · author #2
2. A Nominal Approach to Probabilistic Separation Logic cs.PL · 2024 · author #1
3. Lilac: A Modal Separation Logic for Conditional Probability cs.PL · 2023 · author #1

Mentions

• 2502.19538 #2 · arxiv_oai · confidence 0.70 John M. Li
• 2405.06826 #1 · arxiv_oai · confidence 0.70 John M. Li
• 2304.01339 #1 · arxiv_oai · confidence 0.70 John M. Li

Frequent Coauthors

• Steven Holtzen 3 shared papers
• Amal Ahmed 2 shared papers
• Jon Aytac 1 shared papers
• Philip Johnson-Freyd 1 shared papers
• Sam Stites 1 shared papers