Events¶
Compiler Social
4 Jun 2026
From Software Programs to Digital Circuits5 Jun 2025
Translation Validation for LLVM's AArch64 Backend12 Feb 2025
Hardware Datapath: For Machine Learning and Beyond4 Dec 2024
MLIR Formal Semantics & Arcilator3 Sep 2024
Quidditch & Mojo19 Jun 2024
Hyperblock Scheduling for Verified High-Level Synthesis7 Feb 2024
The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification22 Feb 2023
Towards MLIR-based single pass SYCL compilation
From Software Programs to Digital Circuits5 Jun 2025
Translation Validation for LLVM's AArch64 Backend12 Feb 2025
Hardware Datapath: For Machine Learning and Beyond4 Dec 2024
MLIR Formal Semantics & Arcilator3 Sep 2024
Quidditch & Mojo19 Jun 2024
Hyperblock Scheduling for Verified High-Level Synthesis7 Feb 2024
The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification22 Feb 2023
Towards MLIR-based single pass SYCL compilation
MLIR School
2023202420252026
MLIR SchoolMLIR School - 10.08.26ACM Europe School on MLIR, A CoruñaCompiler SocialCompiler Social - 04.06.26From Software Programs to Digital CircuitsMLIR SchoolMLIR School - 08.09.25MLIR (Un)School, CambridgeCompiler SocialCompiler Social - 05.06.25Translation Validation for LLVM's AArch64 BackendCompiler SocialCompiler Social - 12.02.25Hardware Datapath: For Machine Learning and BeyondMLIR SchoolMLIR School - 27.01.25MLIR Winter School, ParisCompiler SocialCompiler Social - 04.12.24MLIR Formal Semantics & ArcilatorCompiler SocialCompiler Social - 03.09.24Quidditch & MojoCompiler SocialCompiler Social - 19.06.24Hyperblock Scheduling for Verified High-Level SynthesisCompiler SocialCompiler Social - 07.02.24The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and VerificationCompiler SocialCompiler Social - 22.02.23Towards MLIR-based single pass SYCL compilation