1. Formally Verifying an Efficient Sorter;Lecture Notes in Computer Science;2024
2. Formal Proof of Node Level Trust Evaluation in Wireless Sensor Network;Proceeding of First Doctoral Symposium on Natural Computing Research;2021
3. Better Late Than Never;Proceedings of the 28th International Symposium on High-Performance Parallel and Distributed Computing;2019-06-17
4. Program Verification by Coinduction;Programming Languages and Systems;2018
5. Don't sweat the small stuff;Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation;2014-06-09