Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Balzer, Stephanie
128  Ergebnisse:
Personensuche X
?
1

DisLog: A Separation Logic for Disentanglement:

Moine, Alexandre ; Westrick, Sam ; Balzer, Stephanie
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 302-331 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Higher-Order Leak and Deadlock Free Locks:

Jacobs, Jules ; Balzer, Stephanie
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 1027-1057 , 2023
Link: https://doi.org/10.1145/..
 
?
3

Connectivity graphs: a method for proving deadlock freedom ..:

Jacobs, Jules ; Balzer, Stephanie ; Krebbers, Robbert
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-33 , 2022
Link: https://doi.org/10.1145/..
 
?
4

Preface to the special issue on the 12th Workshop on Progra..:

Balzer, Stephanie ; Padovani, Luca
Journal of Logical and Algebraic Methods in Programming.  127 (2022)  - p. 100777 , 2022
Link: https://doi.org/10.1016/..
 
?
5

Connectivity graphs: a method for proving deadlock freedom ..:

Jacobs, Jules ; Balzer, Stephanie ; Krebbers, Robbert
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-33 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Multiparty GV: functional multiparty session types with cer..:

Jacobs, Jules ; Balzer, Stephanie ; Krebbers, Robbert
Proceedings of the ACM on Programming Languages.  6 (2022)  ICFP - p. 466-495 , 2022
Link: https://doi.org/10.1145/..
 
?
7

Resource-Aware Session Types for Digital Contracts:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
Das, Ankush ; Balzer, Stephanie ; Hoffmann, Jan.. - p. 1-16 , 2021
Link: https://doi.org/10.1109/..
 
?
8

Manifestly Phased Communication via Shared Session Types:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Sano, Chuta ; Balzer, Stephanie ; Pfenning, Frank - p. 23-40 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Session logical relations for noninterference:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Derakhshan, Farzaneh ; Balzer, Stephanie ; Jia, Limin - p. 1-14 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Manifest Deadlock-Freedom for Shared Session Types:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Balzer, Stephanie ; Toninho, Bernardo ; Pfenning, Frank - p. 611-639 , 2019
Link: https://doi.org/10.1007/..
 
?
11

Manifest sharing with session types:

Balzer, Stephanie ; Pfenning, Frank
Proceedings of the ACM on Programming Languages.  1 (2017)  ICFP - p. 1-29 , 2017
Link: https://dl.acm.org/doi/1..
 
?
12

Manifest sharing with session types:

Balzer, Stephanie ; Pfenning, Frank
Proceedings of the ACM on Programming Languages.  1 (2017)  ICFP - p. 1-29 , 2017
Link: https://doi.org/10.1145/..
 
?
13

Objects as session-typed processes:

, In: Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control,
Balzer, Stephanie ; Pfenning, Frank - p. 13-24 , 2015
Link: https://dl.acm.org/doi/1..
 
?
14

Session details: Post Conference Workshop Summaries:

, In: Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity,
Balzer, Stephanie ; Li, Du , 2014
Link: https://dl.acm.org/doi/1..
 
?
15

Session details: Co-located workshop summaries:

, In: Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity,
Balzer, Stephanie ; Li, Du , 2014
Link: https://dl.acm.org/doi/1..
 
1-15