Kamu erişimi zorunlu olan makaleler - Stephanie BalzerDaha fazla bilgi edinin
Bir yerde sunuluyor: 11
Manifest sharing with session types. PACMPL 1, ICFP (2017), 37: 1–37: 29
S Balzer, F Pfenning
Zorunlu olanlar: US National Science Foundation
Resource-aware session types for digital contracts
A Das, S Balzer, J Hoffmann, F Pfenning, I Santurkar
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
Zorunlu olanlar: US National Science Foundation
Wyvern: A simple, typed, and pure object-oriented language
L Nistor, D Kurilova, S Balzer, B Chung, A Potanin, J Aldrich
Proceedings of the 5th Workshop on MechAnisms for SPEcialization …, 2013
Zorunlu olanlar: Swiss National Science Foundation
Connectivity graphs: a method for proving deadlock freedom based on separation logic
J Jacobs, S Balzer, R Krebbers
Proceedings of the ACM on Programming Languages 6 (POPL), 1-33, 2022
Zorunlu olanlar: US National Science Foundation, Netherlands Organisation for Scientific Research
Multiparty GV: functional multiparty session types with certified deadlock freedom
J Jacobs, S Balzer, R Krebbers
Proceedings of the ACM on Programming Languages 6 (ICFP), 466-495, 2022
Zorunlu olanlar: US National Science Foundation, US Department of Defense, Netherlands …
A universal session type for untyped asynchronous communication
S Balzer, F Pfenning, B Toninho
29th International Conference on Concurrency Theory (CONCUR 2018), 30: 1-30: 18, 2018
Zorunlu olanlar: US National Science Foundation
Higher-order leak and deadlock free locks
J Jacobs, S Balzer
Proceedings of the ACM on Programming Languages 7 (POPL), 1027-1057, 2023
Zorunlu olanlar: US National Science Foundation, US Department of Defense
DisLog: A Separation Logic for Disentanglement
A Moine, S Westrick, S Balzer
Proceedings of the ACM on Programming Languages 8 (POPL), 302-331, 2024
Zorunlu olanlar: US National Science Foundation
Information Flow Control in Cyclic Process Networks
B van den Heuvel, F Derakhshan, S Balzer
38th European Conference on Object-Oriented Programming, ECOOP 2024, 35, 2024
Zorunlu olanlar: Netherlands Organisation for Scientific Research
Selective ownership: Combining object and type hierarchies for flexible sharing
S Balzer, TR Gross, P Müller
FOOL 2012: 19th International Workshop on Foundations of Object-Oriented …, 2012
Zorunlu olanlar: Swiss National Science Foundation
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact)
F Derakhshan, S Balzer, Y Yao
Dagstuhl Artifacts Series 10 (2), 4: 1-4: 3, 2024
Zorunlu olanlar: US Department of Defense
Yayıncılık ve maddi kaynak bilgileri otomatik olarak bir bilgisayar programı tarafından belirlenmektedir