Songlin Jia is a Ph.D. student since 2021 at Purdue CS. Interested in programming languages, he currently works with Prof. Tiark Rompf. He has been working on a performant, full-fledged symbolic execution engine by staging. Recently, he is interested in the implementation of algebraic effects.

In 2022, Songlin is a student volunteer in PLDI’22. He is a teaching assistant for CS565 Programming Languages in the fall semester.

Songlin got his bachelor’s degree at Shanghai Jiao Tong University, where he used to work on scientific computing and program analysis.


Graph IRs for Impure Higher-Order Languages
Oliver Bračevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, and Tiark Rompf
in OOPSLA 2023 (to appear), 2023

Compiling Parallel Symbolic Execution with Continuations
Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bračevac, and Tiark Rompf
in IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023

Annotating, Tracking, and Protecting Cryptographic Secrets with CryptoMPK
Xuancheng Jin, Xuangan Xiao, Songlin Jia, Wang Gao, Dawu Gu, Hang Zhang, Siqi Ma, Zhiyun Qian, and Juanru Li
in IEEE Symposium on Security and Privacy (SP), 2022

Accelerating SM2 Digital Signature Algorithm Using Modern Processor Features
Long Mai, Yuan Yan, Songlin Jia, Shuran Wang, Jianqiang Wang, Juanru Li, Siqi Ma, and Dawu Gu
in International Conference on Information and Communications Security, 2019


subscribe via RSS