Bookmarks for 2023-11-30

2 bookmarks were saved this day.

Semantic fuzzing of the Rust compiler and interpreter

ethz.ch/content/dam/ethz/special-interest/infk/inst-pls/plf-dam/documents/StudentProjects/MasterTheses/2023-Andy-Thesis.pdf

A very nice paper about fuzzing Rust compiler by generating custom MIR. Found some bugs in both rustc and LLVM, but notably not in Cranelift.

about-compilers,about-rust,is-paper,to-show

jaq: A jq clone focussed on correctness, speed, and simplicity

github.com/01mf02/jaq
about-tools,is-repo,to-try