PaperPrincipled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints
PaperIncorporating Signal Awareness in Source Code Modeling: An Application to Vulnerability Detection