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