| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://marisa.moe/
x-github-request-id: 2AC5:123DE:9EE976:B27C93:6953A8B5
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 10:26:03 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210092-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767090363.076347,VS0,VE206
vary: Accept-Encoding
x-fastly-request-id: 5b36d0a5474742ca184e1ed6ed9ae433a0e76659
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 22 Aug 2025 23:50:29 GMT
access-control-allow-origin: *
etag: W/"68a90245-977"
expires: Tue, 30 Dec 2025 10:36:03 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: CFCB:2BC55:9F2344:B2B6C9:6953A8BA
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 10:26:03 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210045-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767090363.452085,VS0,VE207
vary: Accept-Encoding
x-fastly-request-id: 6763683bf740dc2b7affdc4a2d388e11f1d247c7
content-length: 1095
Marisa Kirisame
I work at incremental computing.
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
Thomas J. Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar
OOPSLA 2025
Optimal Heap Limits for Reducing Browser Memory Use
Marisa Kirisame, Pranav Shenoy, Pavel Panchekha
OOPSLA 2022
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)
Marisa Kirisame, Steven Lyubomirsky, Altan Haan, Jennifer Brennan, Mike He, Jared Roesch, Tianqi Chen, Zachary Tatlock
ICLR 2021 (Spotlight)