here's a new paper about bridging the gap between discovering a missing compiler optimization (both humans and superoptimizers are good at this) and obtaining a correct and general implementation of that optimization in a production compiler (this is very hard, even for experts)
https://users.cs.utah.edu/~regehr/generalization-oopsla24.pdf
this is my student Manasij's thesis work. I'll just throw modesty to the wind and say that this is a really important paper for how we'll build compilers in the future!
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.