According to our database1, Qianchuan Ye authored at least 4 papers between 2019 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Narcissus: correct-by-construction derivation of decoders and encoders from binary formats.
Proc. ACM Program. Lang., 2019
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019