Continuing with our series of compiler socials, we are hosting another Compiler Social at the University of Cambridge’s Computer Laboratory.
We will host two tech talks: Mathieu Fehr will present “Formal Semantics for MLIR Dialects”, followed by Martin Erhart presenting “Arcilator: fast and cycle-accurate hardware simulation in CIRCT”. We then invite you to stay for an informal chat about Compilers & Co.
Here are all the details:
https://grosser.science/compiler-social-2024-12-04/
Date: 4 December 2024
Time: 16:00 - 20:00 (1h talk followed by 3h socializing)
Location: William Gates Building, 15 JJ Thomson Ave, Cambridge CB3 0FD 1
Rooms: LT1 (Talks), The Street (Social)
Hosts: Luisa Cicolini, Emma Urquhart, Tobias Grosser
If you’re planning to join us, please don’t forget to register here.
Hope to see you next Wednesday!
Tech Talk information:
1. Formal Semantics for MLIR Dialects - Mathieu Fehr
Bio: Mathieu Fehr is a final-year PhD student at the University of Edinburgh, currently visiting at the University of Cambridge. A large part of his research focuses on improving the accessibility of compiler technology, which includes the design and development of xDSL, a smoother entry-point for MLIR. His broader research interests encompass advancing declarative approaches in compiler design to facilitate formal reasoning and enable an ecosystem of compilation tools, including verifiers, fuzzers, and superoptimizers.
2. Arcilator: fast and cycle-accurate hardware simulation in CIRCT - Martin Erhart
Abstract: Arcilator is a cycle-accurate hardware simulator in CIRCT that eliminates the need to export the design to Verilog and use a third-party OSS or proprietary simulator. It supports all frontend languages that are fully lowered to CIRCT’s core representation, currently including Chisel and a subset of SystemVerilog. We will discuss the design and implementation of Arcilator and the novel IR that connects CIRCT’s core representation to LLVM IR. Moreover, we will show that it already delivers performance comparable to Verilator, and explore future developments of Arcilator.
Bio: Martin Erhart is a Senior Engineer at SiFive working on compilers for hardware design and verification. He got his MSc in Computer Science at ETH Zurich, and has gained valuable experience in compiler research and development through internships with Google Research, SiFive, and Oracle Labs, in addition to his academic endeavors. Martin has been actively contributing to CIRCT since its inception.