Songlin Jia

19 papers A* 2C 2Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types.
CoRR
Siyuan He, Songlin Jia, Tiark Rompf
2025 J jnl
Adaptive Proof Refinement with LLM-Guided Strategy Selection.
CoRR
Minghai Lu, Zhe Zhou, Danning Xie, Songlin Jia, Benjamin Delaware, Tianyi Zhang
2025 J jnl
Complete the Cycle: Reachability Types with Expressive Cyclic References.
CoRR
Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
2025 J jnl
Complete the Cycle: Reachability Types with Expressive Cyclic References.
Proc. ACM Program. Lang.
Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
2025 J jnl
Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer.
CoRR
Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
2025 J jnl
Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory.
Proc. ACM Program. Lang.
Yuyan Bao, Songlin Jia, Guannan Wei, Oliver Bracevac, Tiark Rompf
2025 J jnl
Typestate via Revocable Capabilities.
CoRR
Songlin Jia, Craig Liu, Siyuan He, Haotian Deng, Yuyan Bao, Tiark Rompf
2025 J jnl
When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking.
CoRR
Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
2024 J jnl
Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking.
CoRR
Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf
2024 J jnl
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.
Proc. ACM Program. Lang.
Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
2023 A* conf
Compiling Parallel Symbolic Execution with Continuations.
ICSE
Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf
2023 J jnl
Graph IRs for Impure Higher-Order Languages (Technical Report).
CoRR
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
2023 J jnl
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies.
Proc. ACM Program. Lang.
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
2023 J jnl
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.
CoRR
Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
2022 A* conf
Annotating, Tracking, and Protecting Cryptographic Secrets with CryptoMPK.
SP
Xuancheng Jin, Xuangan Xiao, Songlin Jia, Wang Gao, Dawu Gu, Hang Zhang, Siqi Ma, Zhiyun Qian, Juanru Li
2019 C conf
Accelerating SM2 Digital Signature Algorithm Using Modern Processor Features.
ICICS
Long Mai, Yuan Yan, Songlin Jia, Shuran Wang, Jianqiang Wang, Juanru Li, Siqi Ma, Dawu Gu
2016 — conf
Exploiting polarization to resist phase noise for digital self-interference cancellation in full-duplex.
ICC
Fangfang Liu, Songlin Jia, Caili Guo, Chunyan Feng
2016 C conf
The effect of cloud optical thickness, ground surface albedo and above-cloud absorbing dust layer on the cloudbow structure.
IGARSS
Huazhe Shang, Liangfu Chen, Husi Letu, Shenshen Li, Songlin Jia, Yang Wang
2014 J jnl
Synergetic Use of MODIS Cloud Parameters for Distinguishing High Aerosol Loadings From Clouds Over the North China Plain.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Huazhe Shang, Liangfu Chen, Jinhua Tao, Lin Su, Songlin Jia