Insights and Techniques

Hello there, I'm Marisa Kirisame!

I'm a final year University of Utah phd student, being advised by Pavel Panchekha.
I work at incremental computing.

Selected Publications:

Incremental Bidirectional Typing via Order Maintenance
Thomas J. Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar
OOPSLA 2025
Spineless Traversal for Layout Invalidation
Marisa Kirisame, Tiezhi Wang, Pavel Panchekha
PLDI 2025
Optimal Heap Limits for Reducing Browser Memory Use
Marisa Kirisame, Pranav Shenoy, Pavel Panchekha
OOPSLA 2022
Dynamic Tensor Rematerialization
Marisa Kirisame, Steven Lyubomirsky, Altan Haan, Jennifer Brennan, Mike He, Jared Roesch, Tianqi Chen, Zachary Tatlock
ICLR 2021 (Spotlight)

Notes on Staging and Partial Evaluation

I also write stuff on Zhihu (Chinese).