conf.researchr.org / Songlin Jia
Registered user since Mon 18 Oct 2021
Name:Songlin Jia
Country:United States
Affiliation:Purdue University, USA
Contributions
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