On: RealtimeSanitizer for Rust

[Sharlin]

Resource (including time) use is a type of (side) effect, and when effects are modeled at type system level we talk about effect systems[0]. There's definitely quite a bit of interest in effects among the programming language design/theory crowd.

[0]: https://en.wikipedia.org/wiki/Effect_system