Publication: PtrSplit(CCS'17)/CaSym(S&P'19)/Program-mandering(CCS'19)

Hi llvm-dev,

I am Shen Liu from NVIDIA’s deep learning compiler team. I browsed your “llvm related publications” website ( ) today by chance. During my Ph.D. period, I published three papers on top security conferences and the main implementation were all based on LLVM.

PtrSplit: Supporting general pointers in automatic program partitioning. In 24th ACM Conference on Computer and Communications Security (CCS), pages 2359–2371, Nov. 2017.


CaSym: Cache aware symbolic execution for side-channel detection and mitigation. In 40th IEEE Symposium on Security and Privacy (S&P), pages 364–380, May. 2019.

Program-mandering: Quantitative privilege separation. In 26th ACM Conference on Computer and Communications Security (CCS), pages 1023–1040, Nov. 2019.

It will be great if you can add these publications to the llvm-pubs list. I really appreciate your contribution to LLVM. Thanks for your great service!

Best regards,


Hi Shen,

It would be great to add them. Would you be willing to submit a patch to this file?


Hi Chris,
Very happy to receive your reply! You may refer to the attached patch file for details. Thanks!
Best regards,

shen_liu_pubs.patch (1.71 KB)