Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Stephanie Balzer"'
Autor:
Jules Jacobs, Stephanie Balzer
Publikováno v:
Proceedings of the ACM on Programming Languages, 7, POPL, pp. 1027-1057
Proceedings of the ACM on Programming Languages, 7, 1027-1057
Proceedings of the ACM on Programming Languages, 7, 1027-1057
Reasoning about concurrent programs is challenging, especially if data is shared among threads. Program correctness can be violated by the presence of data races—whose prevention has been a topic of concern both in research and in practice. The Rus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f39a40dd4f7f9b79186b3eef3bc0984
Publikováno v:
Proceedings of the ACM on Programming Languages, 6, 1-33
Proceedings of the ACM on Programming Languages, 6, POPL, pp. 1-33
Proceedings of the ACM on Programming Languages, 6, POPL, pp. 1-33
We introduce the notion of a connectivity graph —an abstract representation of the topology of concurrently interacting entities, which allows us to encapsulate generic principles of reasoning about deadlock freedom . Connectivity graphs are parame
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::561f45f8b7bc81fb9c1c5ff858f4a6cf
http://hdl.handle.net/2066/241515
http://hdl.handle.net/2066/241515
Publikováno v:
Proceedings of the ACM on Programming Languages, 6, 1-30
Proceedings of the ACM on Programming Languages, 6, ICFP, pp. 1-30
Proceedings of the ACM on Programming Languages, 6, ICFP, pp. 1-30
Session types have recently been integrated with functional languages, bringing message-passing concurrency to functional programming. Channel endpoints then become first-class and can be stored in data structures, captured in closures, and sent alon
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c993135337aac5b516d33e17d1fe287e
http://hdl.handle.net/2066/253552
http://hdl.handle.net/2066/253552
Autor:
Stephanie Balzer, Luca Padovani
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 127:100777
Publikováno v:
LICS
Information flow control type systems statically restrict the propagation of sensitive data to ensure end-to-end confidentiality. The property to be shown is noninterference, asserting that an attacker cannot infer any secrets from made observations.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e9ef3f9e8bb79c92b324f44dea3778ff
http://arxiv.org/abs/2104.14094
http://arxiv.org/abs/2104.14094
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030781415
COORDINATION
Lecture Notes in Computer Science
23th International Conference on Coordination Languages and Models (COORDINATION)
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.23-40, ⟨10.1007/978-3-030-78142-2_2⟩
COORDINATION
Lecture Notes in Computer Science
23th International Conference on Coordination Languages and Models (COORDINATION)
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.23-40, ⟨10.1007/978-3-030-78142-2_2⟩
Session types denote message protocols between concurrent processes, allowing a type-safe expression of inter-process communication. Although previous work demonstrate a well-defined notion of subtyping where processes have different perceptions of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc6d164f79a54dcebe5f0e069111aae7
http://arxiv.org/abs/2101.06249
http://arxiv.org/abs/2101.06249
Autor:
Stephanie Balzer, Frank Pfenning
Publikováno v:
Proceedings of the ACM on Programming Languages. 1:1-29
Session-typed languages building on the Curry-Howard isomorphism between linear logic and session-typed communication guarantee session fidelity and deadlock freedom. Unfortunately, these strong guarantees exclude many naturally occurring programming
Publikováno v:
CSF
Programming digital contracts comes with unique challenges, which include (i) expressing and enforcing protocols of interaction, (ii) controlling resource usage, and (iii) preventing the duplication or deletion of a contract's assets. This article pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89b6f7ed7c5a9a6e77eb4148eeee3077
http://arxiv.org/abs/1902.06056
http://arxiv.org/abs/1902.06056
Publikováno v:
Programming Languages and Systems ISBN: 9783030171834
ESOP
ESOP
Shared session types generalize the Curry-Howard correspondence between intuitionistic linear logic and the session-typed \(\pi \)-calculus with adjoint modalities that mediate between linear and shared session types, giving rise to a programming mod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a49ba1efee8faacdfb552c0c49225171
https://doi.org/10.1007/978-3-030-17184-1_22
https://doi.org/10.1007/978-3-030-17184-1_22
Autor:
Stephanie Balzer, Frank Pfenning
Publikováno v:
AGERE!@SPLASH
A key idea in object-oriented programming is that objects encapsulate state and interact with each other by message exchange. This perspective suggests a model of computation that is inherently concurrent (to facilitate simultaneous message exchange)