Songlin Jia

According to our database, Songlin Jia authored at least 10 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.

Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf

Proc. ACM Program. Lang., January, 2024

Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking.

Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf

CoRR, 2024

2023

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies.

Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf

Proc. ACM Program. Lang., October, 2023

Graph IRs for Impure Higher-Order Languages (Technical Report).

Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf

CoRR, 2023

Compiling Parallel Symbolic Execution with Continuations.

Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Annotating, Tracking, and Protecting Cryptographic Secrets with CryptoMPK.

Xuancheng Jin, Xuangan Xiao, Songlin Jia, Wang Gao, Dawu Gu, Hang Zhang, Siqi Ma, Zhiyun Qian, Juanru Li

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2019

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

Proceedings of the Information and Communications Security - 21st International Conference, 2019

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

Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Exploiting polarization to resist phase noise for digital self-interference cancellation in full-duplex.

Fangfang Liu, Songlin Jia, Caili Guo, Chunyan Feng

Proceedings of the 2016 IEEE International Conference on Communications, 2016

2014

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