You use the word proven as if it means something. The work you list is no more proven in terms of building production systems than any other research work.
Additionally, I find it interesting to note, that if you had in fact been very familiar with all the work you mention. You should actually have noted that many of these systems go through significant effort to sidestep the GC.
It is proven, because groups of people went through the effort of spending time and effort implementing those systems and used them for daily work as well.
It not just talk about some guys showing up papers at OS geek conferences.
The Oberon Native for example, was for long time the main operating system at the operating system research department at ETHZ. Most researchers used it as their daily OS for all tasks you can think of.