blog.regehr.org 4. 9. 2024Looking for Missed Alarm Bugs in a Formal Verification Tool – blog.regehr.org 20. 4. 2024Dataflow Analyses and Compiler Optimizations that Use Them, for Free – blog.regehr.org 1. 11. 2023Why Do Peephole Optimizations Work? – blog.regehr.org 6. 6. 2022Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend – blog.regehr.org 31. 5. 2022High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM – blog.regehr.org 6. 11. 2021A Close Look at a Spinlock – blog.regehr.org 13. 5. 2021llvm-reduce – blog.regehr.org 17. 8. 2020Responsible and Effective Bugfinding – blog.regehr.org 31. 7. 2020Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVM – blog.regehr.org 23. 7. 2020The Gods Pocket Peak Trail – blog.regehr.org 24. 6. 2020You Might as Well Be a Great Copy Editor – blog.regehr.org 17. 6. 2020The Saturation Effect in Fuzzing – blog.regehr.org 3. 6. 2020Alive2 Part 2: Tracking miscompilations in LLVM using its own unit tests – blog.regehr.org 14. 4. 2020Sid’s Mountain Backpacking Loop – blog.regehr.org 12. 3. 2020Alive2 Part 1: Introduction – blog.regehr.org 22. 1. 2020Precision Opportunities for Demanded Bits in LLVM – blog.regehr.org 10. 1. 2020Testing Dataflow Analyses for Precision and Soundness – blog.regehr.org 19. 8. 2019Write Fuzzable Code – blog.regehr.org 30. 4. 2019Floating the Dirty Devil River – blog.regehr.org 24. 4. 2019Verifying Popcount – blog.regehr.org 18. 2. 2019Explaining Code using ASCII Art – blog.regehr.org 13. 12. 2018Walking or Biking to NSF – blog.regehr.org 7. 11. 2018Synthesizing Constants – blog.regehr.org 3. 11. 2018Learning When Values are Changed by Implicit Integer Casts – blog.regehr.org 18. 9. 2018What’s the difference between an integer and a pointer? – blog.regehr.org 10. 9. 2018Future Directions for Optimizing Compilers – blog.regehr.org 4. 9. 2018How LLVM Optimizes a Function – blog.regehr.org 27. 6. 2018How Clang Compiles a Function – blog.regehr.org 15. 5. 2018Software Engineering Takeaways – blog.regehr.org 11. 4. 2018High Desert Camping – blog.regehr.org
4. 9. 2024Looking for Missed Alarm Bugs in a Formal Verification Tool – blog.regehr.org 20. 4. 2024Dataflow Analyses and Compiler Optimizations that Use Them, for Free – blog.regehr.org 1. 11. 2023Why Do Peephole Optimizations Work? – blog.regehr.org 6. 6. 2022Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend – blog.regehr.org 31. 5. 2022High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM – blog.regehr.org 6. 11. 2021A Close Look at a Spinlock – blog.regehr.org 13. 5. 2021llvm-reduce – blog.regehr.org 17. 8. 2020Responsible and Effective Bugfinding – blog.regehr.org 31. 7. 2020Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVM – blog.regehr.org 23. 7. 2020The Gods Pocket Peak Trail – blog.regehr.org 24. 6. 2020You Might as Well Be a Great Copy Editor – blog.regehr.org 17. 6. 2020The Saturation Effect in Fuzzing – blog.regehr.org 3. 6. 2020Alive2 Part 2: Tracking miscompilations in LLVM using its own unit tests – blog.regehr.org 14. 4. 2020Sid’s Mountain Backpacking Loop – blog.regehr.org 12. 3. 2020Alive2 Part 1: Introduction – blog.regehr.org 22. 1. 2020Precision Opportunities for Demanded Bits in LLVM – blog.regehr.org 10. 1. 2020Testing Dataflow Analyses for Precision and Soundness – blog.regehr.org 19. 8. 2019Write Fuzzable Code – blog.regehr.org 30. 4. 2019Floating the Dirty Devil River – blog.regehr.org 24. 4. 2019Verifying Popcount – blog.regehr.org 18. 2. 2019Explaining Code using ASCII Art – blog.regehr.org 13. 12. 2018Walking or Biking to NSF – blog.regehr.org 7. 11. 2018Synthesizing Constants – blog.regehr.org 3. 11. 2018Learning When Values are Changed by Implicit Integer Casts – blog.regehr.org 18. 9. 2018What’s the difference between an integer and a pointer? – blog.regehr.org 10. 9. 2018Future Directions for Optimizing Compilers – blog.regehr.org 4. 9. 2018How LLVM Optimizes a Function – blog.regehr.org 27. 6. 2018How Clang Compiles a Function – blog.regehr.org 15. 5. 2018Software Engineering Takeaways – blog.regehr.org 11. 4. 2018High Desert Camping – blog.regehr.org