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
∙
07/01/2022
