Songlin Jia -

Registered user since Mon 18 Oct 2021

Name:Songlin Jia

Country:United States

Affiliation:Purdue University, USA

Contributions

2025

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2024

SPLASH

Author of Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN) within the OOPSLA 2024-track

ICFP

Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track

POPL

Author of Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs within the POPL-track

2023

SPLASH

Author of Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies within the OOPSLA-track

ICSE