Regehr's platform  covers topics related to computer science, programming languages, and software engineering research. Through articles, research papers, and technical discussions, Regehr offers insights into compiler optimization techniques, programming language design principles, and software verification methods. Readers can learn about formal methods, type systems, and static analysis tools to improve the reliability and correctness of software systems. Additionally, Regehr provides updates on the latest research advancements, academic conferences, and industry collaborations to help readers stay informed and engaged in the field of computer science research.

Embedded in Academia

Fuzzing can experience saturation where the number of new bugs found by a fuzzer drops off over time, either due to the bugs being triggered at low probability or because some bugs are out of reach for the fuzzer. Saturation can be detected using coverage-based stopping criteria or by splitting a testing effort into subsets with their own coverage measure. Mitigating saturation can be done by finding more bugs before saturation occurs through wider net casting and adding new mutation operators for mutation-based fuzzers.

The Saturation Effect in Fuzzing – Embedded in Academia

Saturation in Practice: Fuzzing a Smart Contract Compiler