Hai Duong

According to our database, Hai Duong authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

MFS-SubSC: an efficient algorithm for mining frequent sequences with sub-sequence constraint.

Hai Duong, Anh N. Tran

Knowl. Inf. Syst., October, 2024

Harnessing Neuron Stability to Improve DNN Verification.

Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer

Proc. ACM Softw. Eng., 2024

Training for Verification: Increasing Neuron Stability to Scale DNN Verification.

Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

A DPLL(T) Framework for Verifying Deep Neural Networks.

Hai Duong, Linhan Li, ThanhVu Nguyen, Matthew B. Dwyer

CoRR, 2023

2022

SymInfer: Inferring Numerical Invariants using Symbolic States.

ThanhVu Nguyen, KimHao Nguyen, Hai Duong

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022