Synergetic Use of MODIS Cloud Parameters for Distinguishing High Aerosol Loadings From Clouds Over the North China Plain. - Huazhe Shang; Liangfu Chen; Jinhua Tao; Lin Su; Songlin Jia (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2014)

Exploiting polarization to resist phase noise for digital self-interference cancellation in full-duplex. - Fangfang Liu; Songlin Jia; Caili Guo; Chunyan Feng (ICC, 2016)

The effect of cloud optical thickness, ground surface albedo and above-cloud absorbing dust layer on the cloudbow structure. - Huazhe Shang; Liangfu Chen; Husi Letu; Shenshen Li; Songlin Jia; Yang Wang 196 (IGARSS, 2016)

Accelerating SM2 Digital Signature Algorithm Using Modern Processor Features. - Long Mai; Yuan Yan; Songlin Jia; Shuran Wang; Jianqiang Wang; Juanru Li; Siqi Ma; Dawu Gu (ICICS, 2019)

Annotating, Tracking, and Protecting Cryptographic Secrets with CryptoMPK. - Xuancheng Jin; Xuangan Xiao; Songlin Jia; Wang Gao; Dawu Gu; Hang Zhang 012; Siqi Ma; Zhiyun Qian; Juanru Li (SP, 2022)

Compiling Parallel Symbolic Execution with Continuations. - Guannan Wei 001; Songlin Jia; Ruiqi Gao; Haotian Deng 001; Shangyin Tan; Oliver Bracevac; Tiark Rompf (ICSE, 2023)

Graph IRs for Impure Higher-Order Languages (Technical Report). - Oliver Bracevac; Guannan Wei 001; Songlin Jia; Supun Abeysinghe; Yuxuan Jiang 006; Yuyan Bao; Tiark Rompf (CoRR, 2023)

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies. - Oliver Bracevac; Guannan Wei 001; Songlin Jia; Supun Abeysinghe; Yuxuan Jiang 006; Yuyan Bao; Tiark Rompf (Proc. ACM Program. Lang., 2023)

Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking. - Songlin Jia; Guannan Wei 001; Siyuan He; Yueyang Tang; Yuyan Bao; Tiark Rompf (CoRR, 2024)

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. - Guannan Wei 001; Oliver Bracevac; Songlin Jia; Yuyan Bao; Tiark Rompf (Proc. ACM Program. Lang., 2024)

Complete the Cycle: Reachability Types with Expressive Cyclic References. - Haotian Deng 001; Siyuan He; Songlin Jia; Yuyan Bao; Tiark Rompf (CoRR, 2025)