About Me
Hi! I'm Paul Mure, a first-year PhD student at MIT, advised by
Adam Chlipala. My research revolves around the intersection of compilers, dataflow
architectures, and formal verification. Currently, I'm working on a
verified compiler framework for Reconfigurable Dataflow Architecture
in the Lean4 theorem prover.
Previously, I completed my undergrad in Computer Science at Stanford
University, where I was lucky enough to work on various projects with
Kunle Olukotun,
Caroline Trippel, and
Philip Levis.
Publications
Accelerating SLIDE: Exploiting Sparsity on Accelerator Architectures
IPDPS 2022: CGRA4HPC
Talks
Tags: A Framework for Distributed Event Ordering
PLDI 2023: PLARCH