I am doing an internship in the lab where the cited paper was produced right now :-D<p>If anyone has questions, I'll do my best to answer or relay(maybe tomorrow though as it is late here).
There also was a related discussion about 2 months ago:<p><a href="https://news.ycombinator.com/item?id=16894818" rel="nofollow">https://news.ycombinator.com/item?id=16894818</a>
This reminds of me Chris Domas' compiler that always outputs the same text segment:<p><a href="https://github.com/xoreaxeaxeax/reductio" rel="nofollow">https://github.com/xoreaxeaxeax/reductio</a>