3 ms·Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers [pdf]1 points by matt_d 11mo ago