A Fuzzer for the Toy Optimizer

3 comments

• r9295 4 days ago
  Those interested in testing optimizers may have a look at equivalence modulo testing, a fascinating research field:

  https://dl.acm.org/doi/10.1145/2666356.2594334
• cinntaile 4 days ago
  It would have been nice if the article explained what an optimizer is in this case?
  [-]
  • tekknolagi 4 days ago
    I will add "compiler" before "optimizer" and link to the toy optimizer series
    [-]
    • cinntaile 3 days ago
      Thanks! I had to go to the rest of your site to make sense of it so that seems like the right approach.
• ashwinnair99 13 hours ago
  Fuzzing your own optimizer before shipping it is the kind of thing that sounds obvious in hindsight and almost nobody does upfront.