7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.SE2024
PTE: Axiomatic Semantics based Compiler Testing
Guoliang Dong, Jun Sun, Richard Schumi +2
The correctness of a compiler affects the correctness of every program written in the language, and thus must be thoroughly evaluated. Existing automatic compiler testing methods h…
cs.LG2023★ 7 cited
Semantic-Based Neural Network Repair
Richard Schumi, Jun Sun
Recently, neural networks have spread into numerous fields including many safety-critical systems. Neural networks are built (and trained) by programming in frameworks such as Tens…