| Annotating, tracking, and protecting cryptographic secrets with cryptompk X Jin, X Xiao, S Jia, W Gao, D Gu, H Zhang, S Ma, Z Qian, J Li 2022 IEEE Symposium on Security and Privacy (SP), 650-665, 2022 | 30 | 2022 |
| Graph IRS for impure higher-order languages: making aggressive optimizations affordable with precise effect dependencies O Bračevac, G Wei, S Jia, S Abeysinghe, Y Jiang, Y Bao, T Rompf Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 400-430, 2023 | 18 | 2023 |
| Polymorphic reachability types: Tracking freshness, aliasing, and separation in higher-order generic programs G Wei, O Bračevac, S Jia, Y Bao, T Rompf Proceedings of the ACM on Programming Languages 8 (POPL), 393-424, 2024 | 15 | 2024 |
| Compiling parallel symbolic execution with continuations G Wei, S Jia, R Gao, H Deng, S Tan, O Bračevac, T Rompf 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 14 | 2023 |
| Graph irs for impure higher-order languages (technical report) O Bračevac, G Wei, S Jia, S Abeysinghe, Y Jiang, Y Bao, T Rompf arXiv preprint arXiv:2309.08118, 2023 | 6 | 2023 |
| Accelerating SM2 digital signature algorithm using modern processor features L Mai, Y Yan, S Jia, S Wang, J Wang, J Li, S Ma, D Gu International Conference on Information and Communications Security, 430-446, 2019 | 5 | 2019 |
| Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking S Jia, G Wei, S He, Y Tang, Y Bao, T Rompf arXiv preprint arXiv:2404.08217, 2024 | | 2024 |
