Hacker News
- Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing https://www.pypy.org/posts/2022/12/jit-bug-finding-smt-fuzzing.html 10 comments
Linking pages
Linked pages
- What is Property Based Testing? - Hypothesis http://hypothesis.works/articles/what-is-property-based-testing/ 75 comments
- Embedded in Academia – John Regehr, Professor of Computer Science, University of Utah, USA http://blog.regehr.org/ 8 comments
- Max Bernstein http://bernsteinbear.com/ 4 comments
- GCC Translation Validation – Krister Walfridsson's blog – Compilers, programming languages, etc. https://kristerw.github.io/2022/09/13/translation-validation/ 2 comments
- https://www.cs.utah.edu/~regehr/alive2-pldi21.pdf 1 comment
- GitHub - AliveToolkit/alive2: Automatic verification of LLVM optimizations https://github.com/AliveToolkit/alive2 1 comment
- Automated Reasoning About LLVM Optimizations and Undefined Behavior – Embedded in Academia http://blog.regehr.org/archives/1122/ 1 comment
- SMT-LIB The Satisfiability Modulo Theories Library http://smtlib.cs.uiowa.edu/index.shtml 0 comments
- GitHub - HypothesisWorks/hypothesis: Hypothesis is a powerful, flexible, and easy to use library for property-based testing. https://github.com/HypothesisWorks/hypothesis 0 comments
Related searches:
Search whole site: site:pypy.org
Search title: Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing | PyPy
See how to search.