research
∙
10/26/2022
Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework
Context sensitivity is essential for achieving the precision in inter-pr...
share
research
∙
02/09/2020
Input Validation for Neural Networks via Runtime Local Robustness Verification
Local robustness verification can verify that a neural network is robust...
research
∙
02/26/2019
