Songlin Jia

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 10

Top Topics

Particle Filtering

Object Oriented Languages

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf
Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking. CoRR (2024)
Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
Graph IRs for Impure Higher-Order Languages (Technical Report). CoRR (2023)
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf
Compiling Parallel Symbolic Execution with Continuations. ICSE (2023)
Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. CoRR (2023)
Xuancheng Jin, Xuangan Xiao, Songlin Jia, Wang Gao, Dawu Gu, Hang Zhang, Siqi Ma, Zhiyun Qian, Juanru Li
Annotating, Tracking, and Protecting Cryptographic Secrets with CryptoMPK. IEEE Symposium on Security and Privacy (2022)
Long Mai, Yuan Yan, Songlin Jia, Shuran Wang, Jianqiang Wang, Juanru Li, Siqi Ma, Dawu Gu
Accelerating SM2 Digital Signature Algorithm Using Modern Processor Features. ICICS (2019)
Huazhe Shang, Liangfu Chen, Husi Letu, Shenshen Li, Songlin Jia, Yang Wang
The effect of cloud optical thickness, ground surface albedo and above-cloud absorbing dust layer on the cloudbow structure. IGARSS (2016)
Fangfang Liu, Songlin Jia, Caili Guo, Chunyan Feng
Exploiting polarization to resist phase noise for digital self-interference cancellation in full-duplex. ICC (2016)
Huazhe Shang, Liangfu Chen, Jinhua Tao, Lin Su, Songlin Jia
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. 7 (12) (2014)