blog.regehr.org: 25 stories from 30 submitters

  1. 5
    Why Do Peephole Optimizations Work? compilers blog.regehr.org
    dmetwo avatar via dmetwo 27 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 12
    Use of Assertions (2014) debugging programming blog.regehr.org
    hwayne avatar via hwayne 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  3. 5
    Formal-Methods-Based Bugfinding for LLVM's AArch64 Backend compilers formalmethods blog.regehr.org
    fcambus avatar via fcambus 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 7
    A Guide to Undefined Behavior in C and C++ c c++ blog.regehr.org
    inactive-user avatar via inactive-user 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 21
    Explaining Code using ASCII Art (2019) programming blog.regehr.org
    bshanks avatar via bshanks 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 11
    Responsible and Effective Bugfinding programming blog.regehr.org
    GeoffWozniak avatar via GeoffWozniak 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 23
    The Saturation Effect in Fuzzing compilers blog.regehr.org
    glacambre avatar via glacambre 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 4
    Verifying Popcount formalmethods blog.regehr.org
    hwayne avatar via hwayne 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 3
    Precision Opportunities for Demanded Bits in LLVM compilers blog.regehr.org
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 5
    Levels of Fuzzing programming testing blog.regehr.org
    hyperpape avatar via hyperpape 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  11. 6
    Helping Generative Fuzzers Avoid Looking Only Where the Light is Good, Part 1 programming testing blog.regehr.org
    hyperpape avatar via hyperpape 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 5
    Margin in Software Systems (2010) practices blog.regehr.org
    hwayne avatar via hwayne 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 26
    Write Fuzzable Code formalmethods blog.regehr.org
    GeoffWozniak avatar via GeoffWozniak 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  14. 1
    Race Condition vs. Data Race (2011) programming security blog.regehr.org
    cujanovic avatar via cujanovic 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 9
    Design and Evolution of C-Reduce (Part 1) programming testing blog.regehr.org
    hyperpape avatar via hyperpape 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 29
    It’s Time for a Modern Synthesis Kernel osdev blog.regehr.org
    mjn avatar via mjn 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  17. 26
    Verifying Popcount formalmethods programming blog.regehr.org
    hyperpape avatar via hyperpape 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  18. 2
    Fun With Saturating Arithmetic (2010) education performance blog.regehr.org
    icefox avatar via icefox 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 22
    Explaining Code using ASCII Art programming blog.regehr.org
    pushcx avatar via pushcx 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  20. 28
    Operant Conditioning by Software Bugs programming testing blog.regehr.org
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  21. 5
    Synthesizable Constants assembly formalmethods blog.regehr.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 9
    What’s the difference between an integer and a pointer? c blog.regehr.org
    GeoffWozniak avatar via GeoffWozniak 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 16
    How LLVM Optimizes a Function compilers blog.regehr.org
    GeoffWozniak avatar via GeoffWozniak 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 6
    How Clang Compiles a Function compilers blog.regehr.org
    calvin avatar via calvin 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 6
    A Guide to Undefined Behavior in C and C++, Part 1 – Embedded in Academia c c++ blog.regehr.org
    bowyakka avatar via bowyakka 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>