Research on Air-Supported Force Measurement Method and Air-Supported Triaxial Force Measurement Platform.
IEEE Access, 2019
Reusing constraint proofs in program analysis.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Reusing constraint proofs for scalable program analysis.
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism.
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013
Formal Verification of Netlog Protocols.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012