ByNobleID
    Artifact for Nice to Meet You: Synthesizing Practical Abstract Transformers for MLIR | NobleID