Jianlin Li -

Registered user since Fri 27 Jun 2025

Name:Jianlin Li

Bio:

I work with turnstiles. ⊢ ⊨ ⊤⊥ ∀ ∃ λ →

Country:Canada

Affiliation:University of Waterloo

Personal website: https://jianlin-herman-li.github.io/

GitHub: https://github.com/jianlin-herman-li

Research interests:Logic, Programming Languages, Compiler, Program Verification

Contributions

2025

ICFP

Author of Compiling with Generating Functions within the ICFP Papers-track

2024

PLDI

Author of Compiling Probabilistic Programs for Variable Elimination with Information Flow within the PLDI Research Papers-track

2023

POPL

Author of Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference within the POPL-track