Randomised Testing of the Dafny Compiler: Into the CI

This conference talk explores the integration of the fuzz-d fuzzer into the Dafny compiler's continuous integration (CI) workflow through a framework called CompFuzzCI. Learn how randomized testing can be incorporated directly into the development process rather than as a separate periodic testing campaign. Discover the results of this integration, including the detection of three previously unknown bugs, and understand the challenges and successes encountered during implementation. The presentation also covers a controlled simulation evaluating whether this CI-integrated fuzzing approach would have identified bugs in past development cycles, offering valuable insights for compiler development teams seeking to enhance their bug detection capabilities. The talk was presented at the Dafny 2025 workshop on January 19, 2025, sponsored by ACM SIGPLAN.