From Reo circuit to fast and safe Rust source

The Reo compiler is able to translate a textual protocol specification into source code in several target languages. Currently, low-level systems languages such as Rust are not supported. In addition to easy inter-operation with C and C++, Rust's strict type system allow for highly expressive APIs that give stronger safety assurances while achieving good performance at runtime. We discuss the (1) development of a type system for the Reo compiler such that affine and relevant types can be represented, (2) differences between the new and existing backends, and (3) changes to the runtime API for added safety and performance.

hosted by

social