Marie Salm

Ehemalige Wissenschaftliche Mitarbeiterin

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