Our research interests
- Automatically detecting, diagnosing and fixing bugs/vulnerabilities in software
- Machine learning for code
- Machine learning for medicine
- Analyzing machine learning systems for intepretability and debugging
Popular repositories Loading
-
DL-VD-Empirical-Study
DL-VD-Empirical-Study PublicCode for "An Empirical Study of Deep Learning Models for Vulnerability Detection", published in ICSE 2023.
-
soft-assertion-fuzzer
soft-assertion-fuzzer PublicDetect numerical instability in ML applications using learned invariants (Soft Assertions) without modifying model logic. ACM FSE 2025.
Python 1
-
Repositories
Showing 4 of 4 repositories
- soft-assertion-fuzzer Public
Detect numerical instability in ML applications using learned invariants (Soft Assertions) without modifying model logic. ACM FSE 2025.
ISU-PAAL/soft-assertion-fuzzer’s past year of commit activity - DeepDFA Public
Replication package for "Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection", ICSE 2024.
ISU-PAAL/DeepDFA’s past year of commit activity - DL-VD-Empirical-Study Public
Code for "An Empirical Study of Deep Learning Models for Vulnerability Detection", published in ICSE 2023.
ISU-PAAL/DL-VD-Empirical-Study’s past year of commit activity - .github Public
ISU-PAAL/.github’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…