/u/Saefroch on Reddit, @Saythin on Twitter, Saethlin everywhere else on the internet.
I'm currently working on...
- Spans which explain which accesses were part of data race in Miri: rust-lang/miri#2646
- mmap/MMIO support in Miri: rust-lang/miri#2520
- Detecting alignment UB without Miri: rust-lang/rust#99074
- Maintenance of miri.saethlin.dev/ub