papers
Publications (2)
cs.PL2019
Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"
Sebastian Ertel, Justus Adam, Norman A. Rink +2
This manuscript gives a category-theoretic foundation to the composition of State Threads as a Foundation for Monadic Dataflow Parallelism. It serves as a supplementary formalizati…
cs.SE2026
Kani: A Model Checker for Rust
Rémi Delmas, Zyad Hassan, Qinheping Hu +9
Rust's ownership type system prevents memory errors in safe code, but certain desirable properties remain orthogonal to compilation: the soundness of unsafe operations (e.g., raw p…