Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Songlin Jia
conf.researchr.org general profile
ICFP 2024 profile
ICSE 2023 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2023 profile
SPLASH 2024 profile
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
Author of Compiling Parallel Symbolic Execution with Continuations within the Artifact Evaluation-track
Author of Compiling Parallel Symbolic Execution with Continuations within the Technical Track-track
Share
x
Sat 9 Nov 02:34