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

This post discusses the use of mutation-based fuzzing for LLVM optimization passes. It introduces a custom mutator for LLVM IR and describes the results of fuzzing with this mutator. Bugs found using alive-mutate are also highlighted.

High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM – Embedded in Academia