default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stephanie Balzer
@article{DBLP:journals/darts/DerakhshanBY24,
author = {Farzaneh Derakhshan and
Stephanie Balzer and
Yue Yao},
title = {Regrading Policies for Flexible Information Flow Control in Session-Typed
Concurrency (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {4:1--4:3},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.4},
doi = {10.4230/DARTS.10.2.4},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DerakhshanBY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MoineWB24,
author = {Alexandre Moine and
Sam Westrick and
Stephanie Balzer},
title = {DisLog: {A} Separation Logic for Disentanglement},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {302--331},
year = {2024},
url = {https://doi.org/10.1145/3632853},
doi = {10.1145/3632853},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MoineWB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DerakhshanBY24,
author = {Farzaneh Derakhshan and
Stephanie Balzer and
Yue Yao},
editor = {Jonathan Aldrich and
Guido Salvaneschi},
title = {Regrading Policies for Flexible Information Flow Control in Session-Typed
Concurrency},
booktitle = {38th European Conference on Object-Oriented Programming, {ECOOP} 2024,
September 16-20, 2024, Vienna, Austria},
series = {LIPIcs},
volume = {313},
pages = {11:1--11:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.11},
doi = {10.4230/LIPICS.ECOOP.2024.11},
timestamp = {Thu, 12 Sep 2024 13:29:32 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DerakhshanBY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/0001DB24,
author = {Bas van den Heuvel and
Farzaneh Derakhshan and
Stephanie Balzer},
editor = {Jonathan Aldrich and
Guido Salvaneschi},
title = {Information Flow Control in Cyclic Process Networks},
booktitle = {38th European Conference on Object-Oriented Programming, {ECOOP} 2024,
September 16-20, 2024, Vienna, Austria},
series = {LIPIcs},
volume = {313},
pages = {40:1--40:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.40},
doi = {10.4230/LIPICS.ECOOP.2024.40},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/0001DB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-02304,
author = {Bas van den Heuvel and
Farzaneh Derakhshan and
Stephanie Balzer},
title = {Information Flow Control in Cyclic Process Networks},
journal = {CoRR},
volume = {abs/2407.02304},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.02304},
doi = {10.48550/ARXIV.2407.02304},
eprinttype = {arXiv},
eprint = {2407.02304},
timestamp = {Wed, 07 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-02304.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-20410,
author = {Farzaneh Derakhshan and
Stephanie Balzer and
Yue Yao},
title = {Regrading Policies for Flexible Information Flow Control in Session-Typed
Concurrency},
journal = {CoRR},
volume = {abs/2407.20410},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.20410},
doi = {10.48550/ARXIV.2407.20410},
eprinttype = {arXiv},
eprint = {2407.20410},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-20410.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BalzerC0024,
author = {Stephanie Balzer and
Marco Carbone and
Roland Kuhn and
Peter Thiemann},
title = {Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar
24051)},
journal = {Dagstuhl Reports},
volume = {14},
number = {1},
pages = {108--129},
year = {2024},
url = {https://doi.org/10.4230/DagRep.14.1.108},
doi = {10.4230/DAGREP.14.1.108},
timestamp = {Wed, 31 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BalzerC0024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JacobsB23,
author = {Jules Jacobs and
Stephanie Balzer},
title = {Higher-Order Leak and Deadlock Free Locks},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {1027--1057},
year = {2023},
url = {https://doi.org/10.1145/3571229},
doi = {10.1145/3571229},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/JacobsB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-00192,
author = {Stephanie Balzer and
Farzaneh Derakhshan and
Robert Harper and
Yue Yao},
title = {Logical Relations for Session-Typed Concurrency},
journal = {CoRR},
volume = {abs/2309.00192},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.00192},
doi = {10.48550/ARXIV.2309.00192},
eprinttype = {arXiv},
eprint = {2309.00192},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-00192.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ChenBT22,
author = {Ruofei Chen and
Stephanie Balzer and
Bernardo Toninho},
title = {Ferrite: {A} Judgmental Embedding of Session Types in Rust (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {14:1--14:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.14},
doi = {10.4230/DARTS.8.2.14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ChenBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BalzerP22,
author = {Stephanie Balzer and
Luca Padovani},
title = {Preface to the special issue on the 12th Workshop on Programming Language
Approaches to Concurrency and Communication-Centric Software {(PLACES)}
2020},
journal = {J. Log. Algebraic Methods Program.},
volume = {127},
pages = {100777},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100777},
doi = {10.1016/J.JLAMP.2022.100777},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/BalzerP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JacobsBK22a,
author = {Jules Jacobs and
Stephanie Balzer and
Robbert Krebbers},
title = {Multiparty {GV:} functional multiparty session types with certified
deadlock freedom},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {466--495},
year = {2022},
url = {https://doi.org/10.1145/3547638},
doi = {10.1145/3547638},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/JacobsBK22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JacobsBK22,
author = {Jules Jacobs and
Stephanie Balzer and
Robbert Krebbers},
title = {Connectivity graphs: a method for proving deadlock freedom based on
separation logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--33},
year = {2022},
url = {https://doi.org/10.1145/3498662},
doi = {10.1145/3498662},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/JacobsBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ChenBT22,
author = {Ruofei Chen and
Stephanie Balzer and
Bernardo Toninho},
editor = {Karim Ali and
Jan Vitek},
title = {Ferrite: {A} Judgmental Embedding of Session Types in Rust},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
pages = {22:1--22:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.22},
doi = {10.4230/LIPICS.ECOOP.2022.22},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ChenBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-13741,
author = {Farzaneh Derakhshan and
Stephanie Balzer},
title = {Recursive Session Logical Relations},
journal = {CoRR},
volume = {abs/2208.13741},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.13741},
doi = {10.48550/ARXIV.2208.13741},
eprinttype = {arXiv},
eprint = {2208.13741},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-13741.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SanoBP21,
author = {Chuta Sano and
Stephanie Balzer and
Frank Pfenning},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {Manifestly Phased Communication via Shared Session Types},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2021, Held as Part of the 16th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2021, Valletta, Malta, June 14-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12717},
pages = {23--40},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_2},
doi = {10.1007/978-3-030-78142-2\_2},
timestamp = {Wed, 09 Jun 2021 09:04:12 +0200},
biburl = {https://dblp.org/rec/conf/coordination/SanoBP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/DasB0PS21,
author = {Ankush Das and
Stephanie Balzer and
Jan Hoffmann and
Frank Pfenning and
Ishani Santurkar},
title = {Resource-Aware Session Types for Digital Contracts},
booktitle = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik,
Croatia, June 21-25, 2021},
pages = {1--16},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CSF51468.2021.00004},
doi = {10.1109/CSF51468.2021.00004},
timestamp = {Fri, 13 Aug 2021 09:20:41 +0200},
biburl = {https://dblp.org/rec/conf/csfw/DasB0PS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DerakhshanBJ21,
author = {Farzaneh Derakhshan and
Stephanie Balzer and
Limin Jia},
title = {Session Logical Relations for Noninterference},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--14},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470654},
doi = {10.1109/LICS52264.2021.9470654},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DerakhshanBJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-06249,
author = {Chuta Sano and
Stephanie Balzer and
Frank Pfenning},
title = {Manifestly Phased Communication via Shared Session Types},
journal = {CoRR},
volume = {abs/2101.06249},
year = {2021},
url = {https://arxiv.org/abs/2101.06249},
eprinttype = {arXiv},
eprint = {2101.06249},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-06249.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14094,
author = {Farzaneh Derakhshan and
Stephanie Balzer and
Limin Jia},
title = {Session Logical Relations for Noninterference},
journal = {CoRR},
volume = {abs/2104.14094},
year = {2021},
url = {https://arxiv.org/abs/2104.14094},
eprinttype = {arXiv},
eprint = {2104.14094},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2004-01062,
editor = {Stephanie Balzer and
Luca Padovani},
title = {Proceedings of the 12th International Workshop on Programming Language
Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS
2020, Dublin, Ireland, 26th April 2020},
series = {{EPTCS}},
volume = {314},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.314},
doi = {10.4204/EPTCS.314},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-01062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-13619,
author = {Ruofei Chen and
Stephanie Balzer},
title = {Ferrite: {A} Judgmental Embedding of Session Types in Rust},
journal = {CoRR},
volume = {abs/2009.13619},
year = {2020},
url = {https://arxiv.org/abs/2009.13619},
eprinttype = {arXiv},
eprint = {2009.13619},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-13619.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BalzerTP19,
author = {Stephanie Balzer and
Bernardo Toninho and
Frank Pfenning},
editor = {Lu{\'{\i}}s Caires},
title = {Manifest Deadlock-Freedom for Shared Session Types},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {611--639},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_22},
doi = {10.1007/978-3-030-17184-1\_22},
timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
biburl = {https://dblp.org/rec/conf/esop/BalzerTP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-06056,
author = {Ankush Das and
Stephanie Balzer and
Jan Hoffmann and
Frank Pfenning},
title = {Resource-Aware Session Types for Digital Contracts},
journal = {CoRR},
volume = {abs/1902.06056},
year = {2019},
url = {http://arxiv.org/abs/1902.06056},
eprinttype = {arXiv},
eprint = {1902.06056},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-06056.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BalzerPT18,
author = {Stephanie Balzer and
Frank Pfenning and
Bernardo Toninho},
editor = {Sven Schewe and
Lijun Zhang},
title = {A Universal Session Type for Untyped Asynchronous Communication},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {30:1--30:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.30},
doi = {10.4230/LIPICS.CONCUR.2018.30},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/BalzerPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BalzerP17,
author = {Stephanie Balzer and
Frank Pfenning},
title = {Manifest sharing with session types},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {37:1--37:29},
year = {2017},
url = {https://doi.org/10.1145/3110281},
doi = {10.1145/3110281},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BalzerP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/BalzerP15,
author = {Stephanie Balzer and
Frank Pfenning},
editor = {Elisa Gonzalez Boix and
Philipp Haller and
Alessandro Ricci and
Carlos A. Varela},
title = {Objects as session-typed processes},
booktitle = {Proceedings of the 5th International Workshop on Programming Based
on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh,
PA, USA, October 26, 2015},
pages = {13--24},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2824815.2824817},
doi = {10.1145/2824815.2824817},
timestamp = {Sat, 11 Sep 2021 23:19:19 +0200},
biburl = {https://dblp.org/rec/conf/agere/BalzerP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/NistorABM14,
author = {Ligia Nistor and
Jonathan Aldrich and
Stephanie Balzer and
Hannes Mehnert},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Object Propositions},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {497--513},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_34},
doi = {10.1007/978-3-319-06410-9\_34},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/NistorABM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BalzerS13,
author = {Stephanie Balzer and
Ulrik Pagh Schultz},
editor = {Antony L. Hosking and
Patrick Th. Eugster},
title = {Splash'13 workshops summary},
booktitle = {SPLASH'13 - The Proceedings of the 2013 Companion Publication for
Conference on Systems, Programming, {\&} Applications: Software
for Humanity, Indianapolis, IN, USA, October 26-31, 2013},
pages = {177--178},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508075.2514885},
doi = {10.1145/2508075.2514885},
timestamp = {Mon, 14 Feb 2022 15:11:24 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BalzerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Balzer11,
author = {Stephanie Balzer},
title = {Rumer: {A} programming language and modular verification technique
based on relationships},
school = {{ETH} Zurich, Z{\"{u}}rich, Switzerland},
year = {2011},
url = {https://hdl.handle.net/20.500.11850/72706},
doi = {10.3929/ETHZ-A-007086593},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Balzer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BalzerG11,
author = {Stephanie Balzer and
Thomas R. Gross},
editor = {Mira Mezini},
title = {Verifying Multi-object Invariants with Relationships},
booktitle = {{ECOOP} 2011 - Object-Oriented Programming - 25th European Conference,
Lancaster, UK, July 25-29, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6813},
pages = {358--382},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22655-7\_17},
doi = {10.1007/978-3-642-22655-7\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BalzerG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/BalzerG10,
author = {Stephanie Balzer and
Thomas R. Gross},
editor = {Jean{-}Christophe Filli{\^{a}}tre and
Cormac Flanagan},
title = {Modular reasoning about invariants over shared state with interposed
data members},
booktitle = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
pages = {49--56},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1707790.1707794},
doi = {10.1145/1707790.1707794},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/BalzerG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BalzerG09,
author = {Stephanie Balzer and
Thomas R. Gross},
title = {Modular reasoning about invariants over shared state with interposed
data members: (abstract only)},
journal = {{ACM} {SIGPLAN} Notices},
volume = {44},
number = {11},
pages = {6--7},
year = {2009},
url = {https://doi.org/10.1145/1816027.1816033},
doi = {10.1145/1816027.1816033},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BalzerG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/NelsonBBMNPST08,
author = {Stephen Nelson and
Stephanie Balzer and
Gavin M. Bierman and
Erik Meijer and
James Noble and
David J. Pearce and
Jiri Soukup and
Frank Tip},
editor = {Gail E. Harris},
title = {Relationships and associations in object-oriented languages},
booktitle = {Companion to the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-13, 2007, Nashville, TN, {USA}},
pages = {855--856},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449814.1449883},
doi = {10.1145/1449814.1449883},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/NelsonBBMNPST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BalzerGE07,
author = {Stephanie Balzer and
Thomas R. Gross and
Patrick Eugster},
editor = {Erik Ernst},
title = {A Relational Model of Object Collaborations and Its Use in Reasoning
About Relationships},
booktitle = {{ECOOP} 2007 - Object-Oriented Programming, 21st European Conference,
Berlin, Germany, July 30 - August 3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4609},
pages = {323--346},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73589-2\_16},
doi = {10.1007/978-3-540-73589-2\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BalzerGE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/BalzerEM05,
author = {Stephanie Balzer and
Patrick Th. Eugster and
Bertrand Meyer},
editor = {Nicolas Guelfi and
Anthony Savidis},
title = {Can Aspects Implement Contracts?},
booktitle = {Rapid Integration of Software Engineering Techniques, Second International
Workshop, {RISE} 2005, Heraklion, Crete, Greece, September 8-9, 2005,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3943},
pages = {145--157},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11751113\_11},
doi = {10.1007/11751113\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/rise/BalzerEM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-14 02:04 CEST 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:
