Kailiang Ji
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | NDSS | Practical Traceable Over-Threshold Multi-Party Private Set Intersection. | Le Yang, Weijing You, Huiyang He, Kailiang Ji, Jingqiang Lin |
| 2024 | ACSAC | CryptoPyt: Unraveling Python Cryptographic APIs Misuse with Precise Static Taint Analysis. | Xiangxin Guo, Shijie Jia, Jingqiang Lin, Yuan Ma, Fangyu Zheng, Guangzheng Li, Bowen Xu, Yueqiang Cheng, Kailiang Ji |
| 2018 | CAV | On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony. | Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer |
| 2017 | CAV | A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT. | Sylvain Conchon, Mohamed Iguernelala, Kailiang Ji, Guillaume Melquiond, Clment Fumex |
| 2015 | CADE | CTL Model Checking in Deduction Modulo. | Kailiang Ji |