

2·
4 months agoRust has no Undefined Behaviour.
That is simply not true. See here for a list of behavior that is considered undefined in Rust: https://doc.rust-lang.org/reference/behavior-considered-undefined.html
However, most (all?) of these require the use of unsafe, which helps narrow down where the problem might be, if you trigger any of this behavior
I haven’t read the paper in dept, but these are deeply unserious reasons for disparaging it.
The length of this paper entirely within the norm for scientific publications. In fact, depending on the type of paper, they can be much shorter. For example, Nature expects submissions at around 2500 words or around 4300 words, depending on the format, while this paper is around 4800 words long (excluding references and SI).
The authors also obviously not “a few college students publishing their CS research assignment”: Gloaguen, Mündler, Raychev, Müller, and Vechev.
The entire point of the study was to see what kind of context files were useful and which were useless, which according to the authors was not something that had been done before:
They found that,
So when you say that they “admitted that they started with useless context files”, you are referring to the results of the study. Complaining that they didn’t base their study on the conclusions of that very study is just absurd