default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStephanie Balzer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j10]Yue Yao
, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, Lukasz Ziarek:
Semantic Logical Relations for Timed Message-Passing Protocols. Proc. ACM Program. Lang. 9(POPL): 1750-1781 (2025)- 2024
- [j9]Farzaneh Derakhshan, Stephanie Balzer, Yue Yao:
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact). Dagstuhl Artifacts Ser. 10(2): 4:1-4:3 (2024) - [j8]Alexandre Moine, Sam Westrick, Stephanie Balzer:
DisLog: A Separation Logic for Disentanglement. Proc. ACM Program. Lang. 8(POPL): 302-331 (2024) - [c16]Farzaneh Derakhshan, Stephanie Balzer, Yue Yao:
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. ECOOP 2024: 11:1-11:29 - [c15]Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer:
Information Flow Control in Cyclic Process Networks. ECOOP 2024: 40:1-40:30 - [i10]Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer:
Information Flow Control in Cyclic Process Networks. CoRR abs/2407.02304 (2024) - [i9]Farzaneh Derakhshan, Stephanie Balzer, Yue Yao:
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. CoRR abs/2407.20410 (2024) - [i8]Yue Yao, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, Lukasz Ziarek:
Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version). CoRR abs/2411.07215 (2024) - [i7]Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann:
Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). Dagstuhl Reports 14(1): 108-129 (2024) - 2023
- [j7]Jules Jacobs, Stephanie Balzer:
Higher-Order Leak and Deadlock Free Locks. Proc. ACM Program. Lang. 7(POPL): 1027-1057 (2023) - [i6]Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao:
Logical Relations for Session-Typed Concurrency. CoRR abs/2309.00192 (2023) - 2022
- [j6]Ruofei Chen, Stephanie Balzer, Bernardo Toninho:
Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact). Dagstuhl Artifacts Ser. 8(2): 14:1-14:2 (2022) - [j5]Stephanie Balzer, Luca Padovani:
Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020. J. Log. Algebraic Methods Program. 127: 100777 (2022) - [j4]Jules Jacobs, Stephanie Balzer, Robbert Krebbers:
Multiparty GV: functional multiparty session types with certified deadlock freedom. Proc. ACM Program. Lang. 6(ICFP): 466-495 (2022) - [j3]Jules Jacobs, Stephanie Balzer, Robbert Krebbers:
Connectivity graphs: a method for proving deadlock freedom based on separation logic. Proc. ACM Program. Lang. 6(POPL): 1-33 (2022) - [c14]Ruofei Chen, Stephanie Balzer, Bernardo Toninho:
Ferrite: A Judgmental Embedding of Session Types in Rust. ECOOP 2022: 22:1-22:28 - [i5]Farzaneh Derakhshan, Stephanie Balzer:
Recursive Session Logical Relations. CoRR abs/2208.13741 (2022) - 2021
- [c13]Chuta Sano, Stephanie Balzer, Frank Pfenning:
Manifestly Phased Communication via Shared Session Types. COORDINATION 2021: 23-40 - [c12]Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, Ishani Santurkar:
Resource-Aware Session Types for Digital Contracts. CSF 2021: 1-16 - [c11]Farzaneh Derakhshan, Stephanie Balzer, Limin Jia:
Session Logical Relations for Noninterference. LICS 2021: 1-14 - [i4]Chuta Sano, Stephanie Balzer, Frank Pfenning:
Manifestly Phased Communication via Shared Session Types. CoRR abs/2101.06249 (2021) - [i3]Farzaneh Derakhshan, Stephanie Balzer, Limin Jia:
Session Logical Relations for Noninterference. CoRR abs/2104.14094 (2021) - 2020
- [e1]Stephanie Balzer, Luca Padovani:
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020. EPTCS 314, 2020 [contents] - [i2]Ruofei Chen, Stephanie Balzer:
Ferrite: A Judgmental Embedding of Session Types in Rust. CoRR abs/2009.13619 (2020)
2010 – 2019
- 2019
- [c10]Stephanie Balzer, Bernardo Toninho, Frank Pfenning:
Manifest Deadlock-Freedom for Shared Session Types. ESOP 2019: 611-639 - [i1]Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning:
Resource-Aware Session Types for Digital Contracts. CoRR abs/1902.06056 (2019) - 2018
- [c9]Stephanie Balzer, Frank Pfenning, Bernardo Toninho:
A Universal Session Type for Untyped Asynchronous Communication. CONCUR 2018: 30:1-30:18 - 2017
- [j2]Stephanie Balzer, Frank Pfenning:
Manifest sharing with session types. Proc. ACM Program. Lang. 1(ICFP): 37:1-37:29 (2017) - 2015
- [c8]Stephanie Balzer, Frank Pfenning:
Objects as session-typed processes. AGERE!@SPLASH 2015: 13-24 - 2014
- [c7]Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert:
Object Propositions. FM 2014: 497-513 - 2013
- [c6]Stephanie Balzer, Ulrik Pagh Schultz:
Splash'13 workshops summary. SPLASH (Companion Volume) 2013: 177-178 - 2011
- [b1]Stephanie Balzer:
Rumer: A programming language and modular verification technique based on relationships. ETH Zurich, Zürich, Switzerland, 2011 - [c5]Stephanie Balzer, Thomas R. Gross:
Verifying Multi-object Invariants with Relationships. ECOOP 2011: 358-382 - 2010
- [c4]Stephanie Balzer, Thomas R. Gross:
Modular reasoning about invariants over shared state with interposed data members. PLPV 2010: 49-56
2000 – 2009
- 2009
- [j1]Stephanie Balzer, Thomas R. Gross:
Modular reasoning about invariants over shared state with interposed data members: (abstract only). ACM SIGPLAN Notices 44(11): 6-7 (2009) - 2008
- [c3]Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip:
Relationships and associations in object-oriented languages. OOPSLA Companion 2008: 855-856 - 2007
- [c2]Stephanie Balzer, Thomas R. Gross, Patrick Eugster:
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships. ECOOP 2007: 323-346 - 2005
- [c1]Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer:
Can Aspects Implement Contracts?. RISE 2005: 145-157
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
