- Defending Against Compiler-Based Backdoors - Sudo compiled with clang 3.3 http://blog.regehr.org/ 7 comments programming
Linking pages
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 382 comments
- GitHub - rigtorp/awesome-modern-cpp: A collection of resources on modern C++ https://github.com/rigtorp/awesome-modern-cpp 114 comments
- Fix your damned data races – Nicholas Nethercote https://blog.mozilla.org/nnethercote/2015/02/24/fix-your-damned-data-races/ 80 comments
- GitHub - aalhour/awesome-compilers: Curated list of awesome resources on Compilers, Interpreters and Runtimes https://github.com/aalhour/awesome-compilers 62 comments
- GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff. https://github.com/fffaraz/awesome-cpp 38 comments
- A maximally-dense encoding for n-choose-k https://www.farside.org.uk/201311/encoding_n_choose_k 28 comments
- Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing | PyPy https://www.pypy.org/posts/2022/12/jit-bug-finding-smt-fuzzing.html 11 comments
- Finding Simple Rewrite Rules for the JIT with Z3 | PyPy https://www.pypy.org/posts/2024/07/finding-simple-rewrite-rules-jit-z3.html 4 comments
- Top 96 Technology Blogs on Culture, Architecture and Theory https://www.sealights.io/blog/96-technology-blogs-that-will-make-you-stop-and-think/ 1 comment
- Programming language design and compilers: where to start? https://claucece.github.io/2020/06/05/programming-language-design-and-compilers.html 0 comments
- The Best Computer Science Blogs | Draft.dev https://draft.dev/learn/technical-blogs/computer-science 0 comments
- GitHub - amitmerchant1990/tech-blogs: A curated list of interesting tech blogs https://github.com/amitmerchant1990/tech-blogs 0 comments
- GitHub - andrew-canaday/giant_collection_of_programming_links: Exactly like the URI says... https://github.com/andrew-canaday/giant_collection_of_programming_links 0 comments
- Best C++ Programming Blogs in 2022 | hacking C++ https://hackingcpp.com/cpp/blogs.html 0 comments
Related searches:
Search whole site: site:blog.regehr.org
Search title: Embedded in Academia – John Regehr, Professor of Computer Science, University of Utah, USA
See how to search.