Dieses Bild zeigt Marie Salm

Marie Salm

Frau M.Sc.

Wissenschaftliche Mitarbeiterin
Institut für Architektur von Anwendungssystemen (IAAS)

Kontakt

Universitätsstraße
38 Stuttgart
Deutschland
Raum: 1.162

Sprechstunde

Nach Vereinbarung.

Wissenschaftliche Profile

Projekte

 
PlanQK

Plattform und Ökosystem für Quantenapplikationen.

 

Softwareprojekte

QuAntiL

QuAntiL deckt mehrere Aspekte des Lebenszyklus von Quantenanwendungen ab und bietet Tooling-Unterstützung für die Implementierung, Bereitstellung, Ausführung und Überwachung von Quantenanwendungen.

Publikationen

Artikel in Zeitschriften

  1. Weigold, Manuela; Barzen, Johanna; Leymann, Frank; Salm, Marie: Encoding patterns for quantum algorithms. In: IET Quantum Communication. Vol. 2(4), Wiley Online Library, 2021. pdf, ‌
    BibTeX
    @article{Weigold2021_EncodingPatterns,
        Title = {{Encoding patterns for quantum algorithms}},
        Author = {Weigold, Manuela and Barzen, Johanna and Leymann, Frank and Salm, Marie},
        Year = 2021,
        Month = dec,
        Journal = {IET Quantum Communication},
        Publisher = {Wiley Online Library},
        Pages = {141--152},
        Volume = {2},
        Number = {4},
        Doi = {10.1049/qtc2.12032},
        url = {https://ietresearch.onlinelibrary.wiley.com/doi/10.1049/qtc2.12032},
        projects = {PlanQK}
    }
  2. Weder, Benjamin; Barzen, Johanna; Leymann, Frank; Salm, Marie; Wild, Karoline: QProv: A provenance system for quantum computing. In: IET Quantum Communication. Vol. 2(4), Wiley Online Library, 2021. pdf, ‌
    BibTeX
    @article{Weder2021_QuantumProvenance,
        Title = {{QProv: A provenance system for quantum computing}},
        Author = {Weder, Benjamin and Barzen, Johanna and Leymann, Frank and Salm, Marie and Wild, Karoline},
        Year = 2021,
        Month = dec,
        Journal = {IET Quantum Communication},
        Publisher = {Wiley Online Library},
        Pages = {171--181},
        Volume = {2},
        Number = {4},
        Doi = {10.1049/qtc2.12012},
        url = {https://ietresearch.onlinelibrary.wiley.com/doi/10.1049/qtc2.12012},
        projects = {SimTech,PlanQK}
    }
  3. Weder, Benjamin; Barzen, Johanna; Leymann, Frank; Salm, Marie: Automated Quantum Hardware Selection for Quantum Workflows. In: Electronics. Vol. 10(8), MDPI, 2021. pdf, ‌
    BibTeX
    @article{Weder2021_QuantumWorkflowHardwareSelection,
        Title = {{Automated Quantum Hardware Selection for Quantum Workflows}},
        Author = {Benjamin Weder and Johanna Barzen and Frank Leymann and Marie Salm},
        Year = 2021,
        Month = apr,
        Journal = {Electronics},
        Publisher = {MDPI},
        Volume = {10},
        Number = {8},
        url = {https://www.mdpi.com/2079-9292/10/8/984},
        projects = {PlanQK,SimTech,OpenTOSCA}
    }

Konferenzbeiträge

  1. Salm, Marie; Barzen, Johanna; Leymann, Frank; Wundrack, Philipp: How to Select Quantum Compilers and Quantum Computers Before Compilation. In: Proceedings of the 13th International Conference on Cloud Computing and Services Science (CLOSER 2023), SciTePress, 2023. pdf, ‌
    BibTeX
    @inproceedings{Salm2023_SelectBeforeCompilation,
        Title = {{How to Select Quantum Compilers and Quantum Computers Before Compilation}},
        Author = {Salm, Marie and Barzen, Johanna and Leymann, Frank and Wundrack, Philipp},
        Year = 2023,
        Month = apr,
        Booktitle = {Proceedings of the 13\textsuperscript{th} International Conference on Cloud Computing and Services Science (CLOSER 2023)},
        Publisher = {SciTePress},
        Pages = {172--183},
        Doi = {10.5220/0011775300003488},
        url = {https://www.scitepress.org/PublicationsDetail.aspx?ID=pUR0dnxdXI4=&t=1},
        projects = {PlanQK}
    }
  2. Salm, Marie; Barzen, Johanna; Leymann, Frank; Wundrack, Philipp: Optimizing the Prioritization of Compiled Quantum Circuits by Machine Learning Approaches. In: Proceedings of the 16th Symposium and Summer School on Service-Oriented Computing (SummerSOC 2022), Springer, 2022.
    BibTeX
    @inproceedings{Salm2022_OptimizingPrioritizationCompiledQuantumCircuits,
        Title = {{Optimizing the Prioritization of Compiled Quantum Circuits by Machine Learning Approaches}},
        Author = {Salm, Marie and Barzen, Johanna and Leymann, Frank and Wundrack, Philipp},
        Year = 2022,
        Month = oct,
        Booktitle = {Proceedings of the 16\textsuperscript{th} Symposium and Summer School on Service-Oriented Computing (SummerSOC 2022)},
        Publisher = {Springer},
        Pages = {161--181},
        Doi = {10.1007/978-3-031-18304-1_9},
        url = {https://link.springer.com/chapter/10.1007/978-3-031-18304-1_9},
        projects = {PlanQK}
    }
  3. Salm, Marie; Barzen, Johanna; Leymann, Frank; Weder, Benjamin; Wild, Karoline: Automating the Comparison of Quantum Compilers for Quantum Circuits. In: Proceedings of the 15th Symposium and Summer School on Service-Oriented Computing (SummerSOC 2021), Springer International Publishing, 2021. pdf, ‌
    BibTeX
    @inproceedings{Salm2021_CompilerComparison,
        Title = {{Automating the Comparison of Quantum Compilers for Quantum Circuits}},
        Author = {Salm, Marie and Barzen, Johanna and Leymann, Frank and Weder, Benjamin and Wild, Karoline},
        Year = 2021,
        Month = sep,
        Booktitle = {Proceedings of the 15\textsuperscript{th} Symposium and Summer School on Service-Oriented Computing (SummerSOC 2021)},
        Publisher = {Springer International Publishing},
        Pages = {64--80},
        Doi = {10.1007/978-3-030-87568-8_4},
        url = {https://link.springer.com/chapter/10.1007/978-3-030-87568-8_4},
        projects = {PlanQK,SimTech}
    }
  4. Salm, Marie; Barzen, Johanna; Breitenbücher, Uwe; Leymann, Frank; Weder, Benjamin; Wild, Karoline: The NISQ Analyzer: Automating the Selection of Quantum Computers for Quantum Algorithms. In: Proceedings of the 14th Symposium and Summer School on Service-Oriented Computing (SummerSOC 2020), Springer International Publishing, 2020. pdf, ‌
    BibTeX
    @inproceedings{Salm2020_NISQAnalyzer,
        Title = {{The NISQ Analyzer: Automating the Selection of Quantum Computers for Quantum Algorithms}},
        Author = {Salm, Marie and Barzen, Johanna and Breitenb{\"u}cher, Uwe and Leymann, Frank and Weder, Benjamin and Wild, Karoline},
        Year = 2020,
        Month = dec,
        Booktitle = {Proceedings of the 14\textsuperscript{th} Symposium and Summer School on Service-Oriented Computing (SummerSOC 2020)},
        Publisher = {Springer International Publishing},
        Pages = {66--85},
        Doi = {10.1007/978-3-030-64846-6_5},
        url = {https://link.springer.com/chapter/10.1007/978-3-030-64846-6_5},
        projects = {PlanQK,SimTech}
    }
  5. Weigold, Manuela; Barzen, Johanna; Leymann, Frank; Salm, Marie: Data Encoding Patterns For Quantum Algorithms. In: Proceedings of the 27th Conference on Pattern Languages of Programs (PLoP ’20), HILLSIDE, 2020. pdf, ‌
    BibTeX
    @inproceedings{Weigold2020_DataEncodingPatterns,
        Title = {{Data Encoding Patterns For Quantum Algorithms}},
        Author = {Weigold, Manuela and Barzen, Johanna and Leymann, Frank and Salm, Marie},
        Year = 2020,
        Month = oct,
        Booktitle = {Proceedings of the 27\textsuperscript{th} Conference on Pattern Languages of Programs (PLoP '20)},
        Publisher = {HILLSIDE},
        Pages = {1--11},
        url = {https://dl.acm.org/doi/10.5555/3511065.3511068},
        projects = {PlanQK}
    }

Workshopbeiträge

  1. Obst, Julian; Barzen, Johanna; Beisel, Martin; Leymann, Frank; Salm, Marie; Truger, Felix: Comparing Quantum Service Offerings. In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), IEEE, 2023. pdf, ‌
    BibTeX
    @inproceedings{Obst2023_ComparingQuantumOfferings,
        Title = {{Comparing Quantum Service Offerings}},
        Author = {Obst, Julian and Barzen, Johanna and Beisel, Martin and Leymann, Frank and Salm, Marie and Truger, Felix},
        Year = 2023,
        Month = sep,
        Booktitle = {2023 IEEE International Conference on Quantum Computing and Engineering (QCE)},
        Publisher = {IEEE},
        Pages = {181--184},
        Volume = {02},
        Doi = {10.1109/QCE57702.2023.10206},
        url = {https://ieeexplore.ieee.org/document/10313655},
        type = {Workshop},
        projects = {PlanQK,EniQmA,SeQuenC}
    }
  2. Salm, Marie; Barzen, Johanna; Leymann, Frank; Weder, Benjamin: Prioritization of Compiled Quantum Circuits for Different Quantum Computers. In: Proceedings of the 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022), IEEE, 2022. pdf, ‌
    BibTeX
    @inproceedings{Salm2022_PrioritizationCompiledQuantumCircuits,
        Title = {{Prioritization of Compiled Quantum Circuits for Different Quantum Computers}},
        Author = {Salm, Marie and Barzen, Johanna and Leymann, Frank and Weder, Benjamin},
        Year = 2022,
        Booktitle = {Proceedings of the 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)},
        Publisher = {IEEE},
        Pages = {1258--1265},
        Doi = {10.1109/SANER53432.2022.00150},
        url = {https://ieeexplore.ieee.org/document/9825780},
        type = {workshop},
        projects = {PlanQK}
    }
  3. Weigold, Manuela; Barzen, Johanna; Leymann, Frank; Salm, Marie: Expanding Data Encoding Patterns For Quantum Algorithms. In: 2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C), IEEE, 2021. pdf, ‌
    BibTeX
    @inproceedings{Weigold2021_ExpandingDataEncodingPatterns,
        Title = {{Expanding Data Encoding Patterns For Quantum Algorithms}},
        Author = {Weigold, Manuela and Barzen, Johanna and Leymann, Frank and Salm, Marie},
        Year = 2021,
        Month = mar,
        Booktitle = {2021 IEEE 18\textsuperscript{th} International Conference on Software Architecture Companion (ICSA-C)},
        Publisher = {IEEE},
        Pages = {95--101},
        Doi = {10.1109/ICSA-C52384.2021.00025},
        url = {https://ieeexplore.ieee.org/document/9425837/},
        type = {Workshop},
        projects = {PlanQK}
    }
  4. Weder, Benjamin; Barzen, Johanna; Leymann, Frank; Salm, Marie; Vietz, Daniel: The Quantum Software Lifecycle. In: Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS 2020), ACM, 2020. pdf, ‌
    BibTeX
    @inproceedings{Weder2020_QuantumSoftwareLifecycle,
        Title = {{The Quantum Software Lifecycle}},
        Author = {Weder, Benjamin and Barzen, Johanna and Leymann, Frank and Salm, Marie and Vietz, Daniel},
        Year = 2020,
        Month = nov,
        Booktitle = {Proceedings of the 1\textsuperscript{st} ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS 2020)},
        Publisher = {ACM},
        Pages = {2--9},
        Doi = {10.1145/3412451.3428497},
        url = {https://dl.acm.org/doi/10.1145/3412451.3428497},
        type = {Workshop},
        projects = {PlanQK,SimTech}
    }
  5. Salm, Marie; Barzen, Johanna; Leymann, Frank; Weder, Benjamin: About a Criterion of Successfully Executing a Circuit in the NISQ Era: What wd << 1/εeff Really Means. In: Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS 2020), ACM, 2020. pdf, ‌
    BibTeX
    @inproceedings{Salm2020_CriterionExecutingCircuit,
        Title = {{About a Criterion of Successfully Executing a Circuit in the NISQ Era: What wd $\ll$ 1/\epsilon\textsubscript{eff} Really Means}},
        Author = {Salm, Marie and Barzen, Johanna and Leymann, Frank and Weder, Benjamin},
        Year = 2020,
        Month = nov,
        Booktitle = {Proceedings of the 1\textsuperscript{st} ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS 2020)},
        Publisher = {ACM},
        Pages = {10--13},
        Doi = {10.1145/3412451.3428498},
        url = {https://dl.acm.org/doi/10.1145/3412451.3428498},
        Note = {{About a Criterion of Successfully Executing a Circuit in the NISQ Era: What $wd \ll 1/\epsilon_\text{eff}$ Really Means}},
        type = {Workshop},
        projects = {PlanQK,SimTech}
    }

Tutorials

  1. Beisel, Martin; Gemeinhardt, Felix; Salm, Marie; Weder, Benjamin: A Practical Introduction for Developing and Operating Hybrid Quantum Applications. In: Web Engineering – ICWE 2023, Springer, 2023.
    BibTeX
    @inproceedings{Beisel2023_PracticalQCIntroduction,
        Title = {{A Practical Introduction for Developing and Operating Hybrid Quantum Applications}},
        Author = {Beisel, Martin and Gemeinhardt, Felix and Salm, Marie and Weder, Benjamin},
        Year = 2023,
        Month = jun,
        Booktitle = {Web Engineering -- ICWE 2023},
        Publisher = {Springer},
        Pages = {409--412},
        Doi = {10.1007/978-3-031-34444-2_36},
        url = {https://link.springer.com/chapter/10.1007/978-3-031-34444-2_36},
        type = {Tutorial},
        projects = {EniQmA,SeQuenC,PlanQK}
    }

Awards

SummerSOC 2021
Young Researcher Award

Salm, Marie; Barzen, Johanna; Leymann, Frank; Weder, Benjamin; Wild, Karoline: Automating the Comparison of Quantum Compilers for Quantum Circuits. In: Proceedings of the 15th Symposium and Summer School on Service-Oriented Computing (SummerSOC 2021), Springer International Publishing, 2021. pdf, ‌

BibTeX
@inproceedings{Salm2021_CompilerComparison,
    Author = {Salm, Marie and Barzen, Johanna and Leymann, Frank and Weder, Benjamin and Wild, Karoline},
    Title = {{Automating the Comparison of Quantum Compilers for Quantum Circuits}},
    Booktitle = {Proceedings of the 15\textsuperscript{th} Symposium and Summer School on Service-Oriented Computing (SummerSOC 2021)},
    Publisher = {Springer International Publishing},
    Pages = {64--80},
    Month = sep,
    Year = 2021,
    URL = {https://link.springer.com/chapter/10.1007/978-3-030-87568-8_4},
    DOI = {10.1007/978-3-030-87568-8_4},
    projects = {PlanQK,SimTech}
}
Zum Seitenanfang