4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.DC2023★ 4 cited
Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL
Maya Gokhale, Ganesh Gopalakrishnan, Jackson Mayo +3
This report is a digest of the DOE/NSF Workshop on Correctness in Scientific Computing (CSC'23) held on June 17, 2023, as part of the Federated Computing Research Conference (FCRC)…
cs.PL2016★ 1 cited
Precondition Inference for Peephole Optimizations in LLVM
David Menendez, Santosh Nagarakatte
Peephole optimizations are a common source of compiler bugs. Compiler developers typically transform an incorrect peephole optimization into a valid one by strengthening the precon…