We made the following presentations at the FM 2026 Doctoral Symposium:

Akira Hasegawa: Revealing Intent-mplementation Gaps in Schedulers via Learning-Based Fuzzing
Sinai Kakishita: Towards verified memory allocator for Rust