Balzer, Stephanie
- Session Logical Relations for Noninterference
2021/04/29 by Derakhshan, Farzaneh, Balzer, Stephanie, Jia, Limin · 3 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Resource-Aware Session Types for Digital Contracts
2019/02/16 by Das, Ankush, Balzer, Stephanie, Hoffmann, Jan +2 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Ferrite: A Judgmental Embedding of Session Types in Rust
2020/09/28 by Chen, Ruofei, Balzer, Stephanie, Toninho, Bernardo · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Ferrite: A Judgmental Embedding of Session Types in Rust
2022/05/13 by Ruo Fei Chen, Chen, Ruo Fei, Stephanie Balzer +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
2024/07/29 by Derakhshan, Farzaneh, Balzer, Stephanie, Yao, Yue · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Logical Relations for Session-Typed Concurrency
2023/09/01 by Balzer, Stephanie, Derakhshan, Farzaneh, Harper, Robert +1 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)