Curious about Rust, fuzzing, and type systems? Interested in GSoC? Then LibAFL may have a project for you.
We are currently looking to implement a generic/associated-type bounds over-specification linter as a GSoC project this year. We have opened an RFC for developing such a project, and are looking for feedback from academics or professionals specialising in Rust tooling and type systems, so do please chime in if you're interested!
=> More informations about this toot | More toots from addison@nothing-ever.works
Paging @regehr@mastodon.social -- know anyone who might be interested? Seems up your alley 😄
=> More informations about this toot | More toots from addison@nothing-ever.works
@addison it is up my alley! nobody comes to mind yet, let me keep thinking about it. also circulate this among students here too.
=> More informations about this toot | More toots from regehr@mastodon.social
@addison I’d be interested to know if your library could implement this after the RFC: https://core.ac.uk/download/pdf/70594393.pdf!
=> More informations about this toot | More toots from april@cyberglot.lol
@april@cyberglot.lol Interesting! Something similar might be quite useful for an evaluation. e.g. we could make some metamorphic relation to rewrite testcases and use that as an oracle for completeness (I think SMT solver testing is done similarly...)
=> More informations about this toot | More toots from addison@nothing-ever.works
@addison I am well-versed in how to use Palkas’s work, but I don’t understand much of the actual fuzzing required. Happy to help in any possible because it would be a game changer for me to be able to use Rust rather than Haskell to test my Rust compilers.
=> More informations about this toot | More toots from april@cyberglot.lol This content has been proxied by September (3851b).Proxy Information
text/gemini