conf.researchr.org / Songlin Jia
Registered user since Mon 18 Oct 2021
Name:Songlin Jia
Country:United States
Affiliation:Purdue University
Contributions
2026
SPLASH
PLDI
- Author of Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types within the PLDI Research Papers-track
- Author of [SIGPLAN OOPSLA’25] Complete the Cycle: Reachability Types with Expressive Cyclic References within the PLDI Research Papers-track
- Author of Typestate via Revocable Capabilities within the PLDI Research Papers-track
2025
SPLASH
- Author of Complete the Cycle: Reachability Types with Expressive Cyclic References within the OOPSLA-track
- Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
- Author of Modeling Reachability Types with Logical Relations -- Semantic Type Soundness, Termination, Effect Safety, and Equational Theory within the OOPSLA-track