2 papers
cs.LG2018
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel
Chengdong Feng, Zhenbang Chen, Weijiang Hong +3
Deep Neural Network (DNN) is a widely used deep learning technique. How to ensure the safety of DNN-based system is a critical problem for the research and application of DNN. Robu…
cs.PL2018
Combining Symbolic Execution and Model Checking to Verify MPI Programs
Hengbiao Yu, Zhenbang Chen, Xianjin Fu +5
Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the comple…