15 citations · 25 across the 8 of their papers we have counts for
8 papers
EUF: A Decidable Extension to the Theory of Equality with Uninterpreted Functions
Yide Du, Zhenbang Chen, Weijiang Hong +1
The theory of Equality with Uninterpreted Functions (EUF) is fundamental to constraint solving and program verification. Uninterpreted functions abstract concrete implementations,…
deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search
Chen Zeng, Yue Yu, Shanshan Li +6
With the rapid increase in the amount of public code repositories, developers maintain a great desire to retrieve precise code snippets by using natural language. Despite existing…
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems
Yuanliang Zhang, Haochen He, Owolabi Legunsen +3
Many techniques were proposed for detecting software misconfigurations in cloud systems and for diagnosing unintended behavior caused by such misconfigurations. Detection and diagn…
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…
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…
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification
Liangze Yin, Wei Dong, Wanwei Liu +1
Bounded model checking is among the most efficient techniques for the automatic verification of concurrent programs. However, encoding all possible interleavings often requires a h…