yosh on Nostr: Oh amazing! Ralf Jung’s group at ETH Zürich has published a paper about ...
Oh amazing! Ralf Jung’s group at ETH Zürich has published a paper about Rustlantis: a differential fuzzer for the Rust compiler, intended to find discrepancies in codegen between various compiler versions, backends, and settings.
https://plf.inf.ethz.ch/research/oopsla24-rustlantis.htmlApparently it’s found 22 bugs so far in Rustc. This is really impressive (and useful) work!
Published at
2024-11-26 23:47:38Event JSON
{
"id": "be1cdc6056c591676bfbe5e5d53a6013cc3e498f83586972cf87fcf89c523048",
"pubkey": "e1f48d2f077b0d512e8666bf7a0dddded2e443d99b0c92cecf577b4e50b86563",
"created_at": 1732664858,
"kind": 1,
"tags": [
[
"proxy",
"https://toot.yosh.is/users/yosh/statuses/113551924147270656",
"activitypub"
]
],
"content": "Oh amazing! Ralf Jung’s group at ETH Zürich has published a paper about Rustlantis: a differential fuzzer for the Rust compiler, intended to find discrepancies in codegen between various compiler versions, backends, and settings.\n\nhttps://plf.inf.ethz.ch/research/oopsla24-rustlantis.html\n\nApparently it’s found 22 bugs so far in Rustc. This is really impressive (and useful) work!",
"sig": "a24fc3f545d9b9923a9b4152ddb303da778851a7ef34a1726821e4a079831a2e436168f6d95b9c2451b8d95d52742ff6668b25237e9c9f53cc092aa253c8cb77"
}
