research
∙
02/03/2023
CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety
Spatial memory safety violation is still a major issue for C programs. C...
share
research
∙
11/11/2022
Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification
Many quantum programs are assured by formal verification, but such verif...
research
∙
03/13/2022
Homogeneity and Sub-homogeneity Pursuit: Iterative Complement Clustering PCA
Principal component analysis (PCA), the most popular dimension-reduction...
research
∙
02/28/2021