avatar

Hai Duong

Ph.D. Student
George Mason University
hduong22 (at) gmu.edu


About Me

I am currently working on DNNs Verification with Prof. ThanhVu Nguyen at George Mason University.

Research Interests

Publications

  1. FSE'24
    Harnessing Neuron Stability to Improve DNN Verification (pp. 859-881)
    Hai Duong; Dong Xu; ThanhVu Nguyen; Matthew B. Dwyer
    Proceedings of the ACM on Software Engineering (PACMSE) Symposium on Foundations of Software Engineering (FSE), 2024.
    PDF Code

  2. TACAS'24
    Training for Verification: Increasing Neuron Stability to Scale DNN Verification (pp. 24-44)
    Dong Xu; Nusrat Jahan Mozumder; Hai Duong; Matthew B. Dwyer
    Proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
    PDF Code

  3. ICSE-Demo'22
    SymInfer: Inferring Numerical Invariants using Symbolic States (pp. 197–201)
    ThanhVu Nguyen; KimHao Nguyen; Hai Duong
    International Conference on Software Engineering (ICSE) - Tool Demo
    PDF Code

Misc

Proposal Contributions