Lara Bargmann
Department of Computing Science (» Postal address)
Contact
Lara Bargmann
Lectures
Lectures
Winter term 2023 / 2024
2.01.489
Verification of Parallel Programs
Publications
- [inproceedings] bibtex | Go to documentH. Wehrheim, L. Bargmann, and B. Dongol, "Reasoning About Promises in Weak Memory Models with Event Structures" in Proc. Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-27481-7_17@inproceedings{DBLP:conf/fm/WehrheimBD23,
author = {Heike Wehrheim and Lara Bargmann and Brijesh Dongol},
editor = {Marsha Chechik and Joost{-}Pieter Katoen and Martin Leucker},
title = {Reasoning About Promises in Weak Memory Models with Event Structures},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck, Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {282--300},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_17},
doi = {10.1007/978-3-031-27481-7\_17},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/WehrheimBD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [inproceedings] bibtex | Go to documentL. Bargmann and H. Wehrheim, "Lifting the Reasoning Level in Generic Weak Memory Verification" in Proc. iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-47705-8_10@inproceedings{DBLP:conf/ifm/BargmannW23,
author = {Lara Bargmann and Heike Wehrheim},
editor = {Paula Herber and Anton Wijs},
title = {Lifting the Reasoning Level in Generic Weak Memory Verification},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {175--192},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_10},
doi = {10.1007/978-3-031-47705-8\_10},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BargmannW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [inproceedings] bibtex | Go to documentL. Bargmann and H. Wehrheim, "View-Based Axiomatic Reasoning for PSO" in Proc. Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-35257-7_17@inproceedings{DBLP:conf/tase/BargmannW23,
author = {Lara Bargmann and Heike Wehrheim},
editor = {Cristina David and Meng Sun},
title = {View-Based Axiomatic Reasoning for {PSO}},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium, {TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {286--304},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_17},
doi = {10.1007/978-3-031-35257-7\_17},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/BargmannW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [article] bibtex | Go to documentL. Bargmann and H. Wehrheim, "View-Based Axiomatic Reasoning for PSO (Extended Version)" CoRR, vol. abs/2301.07967, 2023.
doi: 10.48550/ARXIV.2301.07967@article{DBLP:journals/corr/abs-2301-07967,
author = {Lara Bargmann and Heike Wehrheim},
title = {View-Based Axiomatic Reasoning for {PSO} (Extended Version)},
journal = {CoRR},
volume = {abs/2301.07967},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.07967},
doi = {10.48550/ARXIV.2301.07967},
eprinttype = {arXiv},
eprint = {2301.07967},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-07967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [article] bibtex | Go to documentL. Bargmann and H. Wehrheim, "Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)" CoRR, vol. abs/2309.01433, 2023.
doi: 10.48550/ARXIV.2309.01433@article{DBLP:journals/corr/abs-2309-01433,
author = {Lara Bargmann and Heike Wehrheim},
title = {Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)},
journal = {CoRR},
volume = {abs/2309.01433},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.01433},
doi = {10.48550/ARXIV.2309.01433},
eprinttype = {arXiv},
eprint = {2309.01433},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-01433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [article] bibtex | Go to documentH. Wehrheim, L. Bargmann, and B. Dongol, "Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)" CoRR, vol. abs/2211.16330, 2022.
doi: 10.48550/ARXIV.2211.16330@article{DBLP:journals/corr/abs-2211-16330,
author = {Heike Wehrheim and Lara Bargmann and Brijesh Dongol},
title = {Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)},
journal = {CoRR},
volume = {abs/2211.16330},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.16330},
doi = {10.48550/ARXIV.2211.16330},
eprinttype = {arXiv},
eprint = {2211.16330},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
Theses
- [article] bibtexL. Bargmann, "Euklidische Zahlringe - Über einen Satz von P.J. Weinberger" , 2021.
@Article{Bargmann2021,
author = {Lara Bargmann},
title = {Euklidische Zahlringe - Über einen Satz von P.J. Weinberger},
year = {2021},
} - [article] bibtexL. Bargmann, "Euklidische Minima algebrischer Zahlkörper" , 2018.
@Article{Bargmann2018,
author = {Lara Bargmann},
title = {Euklidische Minima algebrischer Zahlkörper},
year = {2018},
}