4 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Renshuang Jiang, Yichong Wang, Pan Dong +6
Eliminating undefined behaviors (UBs) in Rust programs requires a deep semantic understanding to enable accurate and reliable repair. While existing studies have demonstrated the p…