1. 5
    Levels of Fuzzing programming testing blog.regehr.org
    hyperpape avatar via hyperpape 1 month ago | cached | 1 comment
  2. 6
    Helping Generative Fuzzers Avoid Looking Only Where the Light is Good, Part 1 programming testing blog.regehr.org
    hyperpape avatar via hyperpape 3 months ago | cached | no comments
  3. 11
    A theorem of software engineering practices bertrandmeyer.com
    hyperpape avatar via hyperpape 3 months ago | cached | no comments
  4. 11
    Using Uninitialized Memory for Fun and Profit programming research.swtch.com
    hyperpape avatar via hyperpape 4 months ago | cached | no comments
  5. 5
    Systematically Covering Input Structure pdf programming testing havrikov.github.io
    hyperpape avatar via hyperpape 4 months ago | cached | 1 comment
  6. 6
    Engineering a Sort Function pdf performance programming cs.fit.edu
    hyperpape avatar via hyperpape 4 months ago | cached | no comments
  7. 19
    On the Relationship Between Static Analysis and Type Theory formalmethods plt semantic-domain.blogspot.com
    hyperpape avatar via hyperpape 6 months ago | cached | 9 comments
  8. 5
    Active Benchmarking performance programming brendangregg.com
    hyperpape avatar via hyperpape 6 months ago | cached | no comments
  9. 8
    What are you working on this week? ☶ ask programming
    hyperpape avatar authored by hyperpape 7 months ago | 27 comments
  10. 9
    Design and Evolution of C-Reduce (Part 1) programming testing blog.regehr.org
    hyperpape avatar via hyperpape 7 months ago | cached | no comments
  11. 18
    What are you working on this week? ☶ ask programming
    hyperpape avatar authored by hyperpape 8 months ago | 53 comments
  12. 6
    Writing a producedural puzzle generator compsci games snellman.net
    hyperpape avatar via hyperpape 9 months ago | cached | no comments
  13. 2
    Reader/Reader blocking in reader/writer locks performance programming blog.nelhage.com
    hyperpape avatar via hyperpape 9 months ago | cached | no comments
  14. 36
    How Many Type Parameters Can a Java Method Have? java justinblank.com
    hyperpape avatar authored by hyperpape 10 months ago | cached | no comments
  15. 26
    Verifying Popcount formalmethods programming blog.regehr.org
    hyperpape avatar via hyperpape 10 months ago | cached | 4 comments
  16. 13
    What are you working on this week? ☶ ask programming
    hyperpape avatar authored by hyperpape 10 months ago | 29 comments
  17. 2
    Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing ☶ pdf formalmethods security testing cs.ucr.edu
    hyperpape avatar via hyperpape 11 months ago | cached | no comments
  18. 16
    What are you working on this week? ☶ ask culture
    hyperpape avatar authored by hyperpape 1 year ago | 32 comments
  19. 9
    String Representations and String APIs programming justinblank.com
    hyperpape avatar authored by hyperpape 1 year ago | cached | no comments
  20. 6
    Some Goals for High-impact Verified Compiler Research compilers formalmethods blog.regehr.org
    hyperpape avatar via hyperpape 2 years ago | cached | no comments