By Nick Fitzgerald :
Synthesizing Loop-Free Programs with Rust and Z3 | fitzgeraldnick.com
This post makes extensive use of math symbols, and uses MathJax.js to render them, therefore I recommend enabling JavaScript.
Writing Programs! That Write Other Programs!! | fitzgeraldnick.com
I gave a short talk about program synthesis at !!ConWest this year titled “Writing Programs! ThatWrite Other Progams!!” Here’s the abstract for the talk:
Announcing Better Support for Fuzzing with Structured Inputs in Rust | fitzgeraldnick.com
Today, on behalf of the Rust Fuzzing Authority, I’d like toannounce new releases of the arbitrary,libfuzzer-sys, and cargo fuzzcrates. Collectively, these re...
Writing a Test Case Generator for a Programming Language | fitzgeraldnick.com
Maxime Chevalier-Boisvert requested resources for learning about fuzzingprogramming language implementations on Twitter:

Featured Contributors

Nick Fitzgerald
Rust ..
Install the Toplog Bookmarklet to submit page with a single click. To Install, Just Drag or Right Click the below Link to bookmark it:
Post to Toplog Bookmarklet