iiinova — where your digital self keeps evolving

Katherine Mohr

@kmohr.bsky.social

85 followers 196 following 8 posts

mit '23 | meng '24 | stanford phd ??? your friendly neighborhood PL enjoyer she/her

Posts Replies Media

Reposted by Katherine Mohr

Arnav Verma @arnavverma.bsky.social · 08/10/2026

🌄 a new dawn is approaching for cognitive science 🌄 --- Lio has been one of the wisest and most thoughtful collaborators I’ve ever worked with. If you’re interested in contributing to the future of the field, look no further: web.mit.edu/zyzzyva/www/...

Text as a movie review for Arrival:
much like they are arriving
i am also arriving
@ brown university | copsy => fall 2027.
prospective grad students / postdocs / lab managers / language and movie lovers please apply! and then we can watch it all again.
web.mit.edu/zyzzyva/www/academic.html for more info
for now!

1115

Katherine Mohr @kmohr.bsky.social · 04/10/2026

By giving the OS knowledge of LtRAM constraints instead of treating these memory technologies like slower DRAM, we aim to match the performance of pure DRAM on read-mostly workloads while delivering LtRAM's density and cost advantages.

000

Katherine Mohr @kmohr.bsky.social · 04/10/2026

We argue that LtRAM can be integrated as another memory category alongside DRAM, but to do so, we need to shift responsibility from the hardware to the OS. The OS handles wear and migration, and crucially, LtRAM pages are read-only to applications and written only by the OS during page migrations.

100

Katherine Mohr @kmohr.bsky.social · 04/10/2026

tl;dr: DRAM cost-per-bit scaling has stalled, and it's now a major bottleneck for datacenter growth. Long-term RAM (LtRAM) offers denser, cheaper memory, but has slow writes, limited endurance, and coarse write granularity.

100

Katherine Mohr @kmohr.bsky.social · 04/10/2026

That's a wrap on SOSP! Shout out to my collaborator David for giving a talk on our latest work "The Kernel's Write: Application Read-Only Memory" at the DIMES workshop. dl.acm.org/doi/10.1145/...

The Enzian research platform with a NOR flash device attached as LtRAM. Photo from the Enzian project.

131

Katherine Mohr @kmohr.bsky.social · 13/07/2026

2. Expose fine-grained dependency information to providers, enabling a new class of serverless optimizations. PDF: katherinemohr.github.io/assets/publi...

katherinemohr.github.io

000

Katherine Mohr @kmohr.bsky.social · 13/07/2026

Arca is an operating system with continuation-capture as a core primitive. By focusing on continuations in Arca's design, it is able to 1. Capture and resume serverless functions in lightweight, isolated "funclets" in as little as 2.55 µs, and

100

Katherine Mohr @kmohr.bsky.social · 13/07/2026

If you're at OSDI this week, come by on Wednesday to hear Akshay talk about our work on Continuation-Centric Computing with Arca! www.usenix.org/conference/o...

usenix.org

Continuation-Centric Computing with Arca | USENIX

140

Reposted by Katherine Mohr

Phil Eaton @eatonphil.bsky.social · 20/03/2026

As part of my goal to feed and learn from visiting PhD students, I brought @kmohr.bsky.social out for Banh Mi. Katherine's doing her PhD at Stanford and she taught me about new types of memory that might replace L1-L3 caches, serverless systems that track all I/O and move compute to data,

2242

Katherine Mohr @kmohr.bsky.social · 29/05/2025

looking forward to @hankgreen.bsky.social's commencement speech today!

071