1. Verified High Performance Computing: The SyDPaCC Approach;Lecture Notes in Computer Science;2023-12-19
2. Towards Verified Scalable Parallel Computing with Coq and Spark;Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs;2023-07-18
3. Verified Programs for Frequent Itemset Mining;2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI);2018-10
4. Parallel Programming with OCaml: A Tutorial;2018 International Conference on High Performance Computing & Simulation (HPCS);2018-07