VCLLVM was presented at ETAPS 2024. The goal is to compile both languages and specifications to LLVM IR.