Detecting Numerical Deviations in Deep Learning Models Introduced by the TVM Compiler.
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024
OPASS: Orchestrating TVM's Passes for Lowering Memory Footprints of Computation Graphs.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2024
Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations.
ACM Trans. Softw. Eng. Methodol., January, 2023
GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
ApproxiFuzzer: Fuzzing towards Deep Code Snippets in Java Programs.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021
Guided, Deep Testing of X.509 Certificate Validation via Coverage Transfer Graphs.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020