2 papers
cs.SE2023
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability
Wenjie Zhang, Guancheng Wang, Junjie Chen +3
The development of correct and efficient software can be hindered by compilation errors, which must be fixed to ensure the code's syntactic correctness and program language constra…
cs.SE2023
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects
Linyi Li, Yuhao Zhang, Luyao Ren +2
With the widespread deployment of deep neural networks (DNNs), ensuring the reliability of DNN-based systems is of great importance. Serious reliability issues such as system failu…