The original author of the post also

- has designed the Mezzo programming language in his Ph.D. thesis and

- has worked on generating user-friendly C automatically. Most tools that generate C output pretty unreadable/unmaintainable code that you won't like to maintain, so this is a much under-researched topic.