Events¶
Compiler Social - 04.06.26From Software Programs to Digital CircuitsCompiler Social - 05.06.25Translation Validation for LLVM's AArch64 BackendCompiler Social - 12.02.25Hardware Datapath: For Machine Learning and BeyondCompiler Social - 04.12.24MLIR Formal Semantics & ArcilatorCompiler Social - 03.09.24Quidditch & MojoCompiler Social - 19.06.24Hyperblock Scheduling for Verified High-Level SynthesisCompiler Social - 07.02.24The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and VerificationCompiler Social - 22.02.23Towards MLIR-based single pass SYCL compilation