Apparently I'm the third person in the world to download this software, according to the public stats 😰
If you're interested in making computers automatically generate correct compilers, the GPLv3-licensed source code and git history that accompanies the paper "Synthesizing an Instruction Selection Rule Library from Semantic Specifications" is indeed buried in the Docker image provided with the paper:
