Jiaxin Song
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 30
Publications (10 Years): 30
Publications
- Jiaxin Song, Hongfei Fu, Charles Zhang
- Fanyu Kong, Cuixia Miao, Yujia Huo, Jiaxin Song
- Xiaolin Bu, Jiaxin Song
- Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, Biaoshuai Tao
- Xiaolin Bu, Jiaxin Song, Ziqi Yu
- Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, Biaoshuai Tao
- Xiaolin Bu, Jiaxin Song, Biaoshuai Tao
- Xiaolin Bu, Jiaxin Song, Ziqi Yu
- Feihu Dong, Jiaxin Song, Yasheng Zhang, Yuqi Wang, Tao Huang
- Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, Biaoshuai Tao
- Jialiang Lin, Jiaxin Song, Zhangping Zhou, Yidong Chen, Xiaodong Shi
- Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, Biaoshuai Tao
- Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, Guoqiang LiScalable linear invariant generation with Farkas' lemma. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
- Jialiang Lin, Jiaxin Song, Zhangping Zhou, Yidong Chen, Xiaodong Shi
- Jialiang Lin, Yao Yu, Jiaxin Song, Xiaodong Shi