Showing 2022 · cs.PLShow all
2 papers · 2 filters
cs.PL2022
Recursive Session Logical Relations
Farzaneh Derakhshan, Stephanie Balzer
Program equivalence is the fulcrum for reasoning about and proving properties of programs. For noninterference, for example, program equivalence up to the secrecy level of an obser…
cs.PL2022
Ferrite: A Judgmental Embedding of Session Types in Rust
Ruo Fei Chen, Stephanie Balzer, Bernardo Toninho
\emph{Session types} have proved viable in expressing and verifying the protocols of message-passing systems. While message passing is a dominant concurrency paradigm in practice,…