Paul Mure

Profile picture of Paul Mure

Hi! I'm Paul Mure, a third-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.

You can reach me at paulmure [at] mit [dot] edu.

LinkedIn GitHub

Publications

Nathan Zhang, Rubens Lacouture, Gina Sohn, Paul Mure, Qizheng Zhang, Fredrik Kjolstad, Kunle Olukotun
The Dataflow Abstract Machine Simulator Framework
ISCA 2024 πŸ“„ Link
Gina Sohn, Christophe Gyurgyik, Genghan Zhang, Suguna Velury, Paul Mure, Nathan Zhang, Kunle Olukotun
Streaming Tensor Programs: A Programming Abstraction for Streaming Dataflow Accelerators
ASPLOS YArch 2024 πŸ“„ Link
Paul Mure, Nathan Zhang, Caroline Trippel, Kunle Olukotun
Tags: A Framework for Distributed Event Ordering
PLARCH 2023 πŸ“„ Link
Hudson Ayers, Evan Laufer, Paul Mure, Jaehyeon Park, Eduardo Rodelo, Thea Rossman, Andrey Pronin, Philip Levis, Johnathan Van Why
Tighten rust’s belt: shrinking embedded Rust binaries
LCTES 2022 πŸ“„ Link
Sho Ko, Alexander Rucker, Yaqi Zhang, Paul Mure, Kunle Olukotun
Accelerating SLIDE: Exploiting Sparsity on Accelerator Architectures
IPDPSW 2022 πŸ“„ Link

Industry Experience