Hey, I'm Yonathan

I'm a PhD student at the University of Michigan. I'm advised by Prof. Austin and Prof. Jeannin working at the intersection of computer architecture and programming languages. My work applies techniques from programming language theory to the security and design of hardware and ISAs.

Outside of work, I spend my time making and drinking coffee ☕️ I also like photography, working out, and the occasional hiking trips when it's not freezing cold outside.

CV LinkedIn GitHub

Latest news

  • Website update

    May 01, 2025

    The website is getting a much needed update. Hopefully will update things more than once a year this time :)

  • Will be at Intel this summer

    April 01, 2025

    Will be working with Intel's GPU compilers team again this summer. Excited to learn more about memory models.

  • At NYU for CSAW'24

    Nov, 2024

    Got to present our CCS'23 paper as a poster. It was a lot of fun talking to all the amazing people at NYU. And NYC was fun as always.

Selected Works

Project Image

In progress

HardKAT: An Algebraic Approach to HDLs

We apply algebraic techniques, particularly variations of Kleene Algebra, to better understand the semantics of Hardware Description Languages (HDLs).

Blog
Slides Paper
Project Image

CCS · 2023

🏆 Formal Verification of Low-Trust Architectures

We formalize the semantics and type system of an ISA extension for low-trust architectures. We then use model checking to verify the implementation of this extension on a RISC-V core.

Blog
Slides Paper
Project Image

DATE · 2021

Twine: A Chisel Extension for Component-Level Heterogeneous Design

We provide a Chisel extension that standardizes the interface between heterogeneous components, allowing for better onboarding.

Blog
Slides Paper
Project Image

Under Submission · 2025

Integrity Aware, Low-Trust Architectures

We introduce the dual notion of integrity to both computation and data. This allows the user to verify that the computation was done faithfully. Formalized in Lean4.

Blog
Slides Paper
Project Image

In progress · 2025

Towards a Better Understanding of SAT Solvers' Performance

We study the performance of modern SAT solvers to better understand the techniques that yield performance improvements in practice.

Blog
Slides Paper