Fuzzing has become, in many respects, and experimental science. So why not treat it as such, preregistration of ideas and all? That's exactly the idea behind the FUZZING'22 workshop! The workshop accepts _registered reports_: papers that describe the suggested methodology for the fuzzing system, without the full evaluation and experiments done. Full evaluation + experiments will be conducted after and appear in a final journal article.

So excited that our work "Gauss: Program Synthesis by Reasoning over Graphs", led by @code_monet, will be making its appearance at OOPSLA 2021 next week! Full paper: rbavishi.github.io/docs/oopsla202… 1/5 The idea is to capture information about user intent as graphs that capture the core relationship between input-output examples. Then Gauss uses a new form of inductive reasoning over those graphs to prune the search space. 2/5