This image shows Marie Salm

Marie Salm

M.Sc.

Research Associate
Institute of Architecture of Application Systems (IAAS)

Contact

Universitätsstraße
38 Stuttgart
Germany
Room: 1.162

Office Hours

By arrangement.

Scientific Profiles

Projects

 
PlanQK

Platform and Ecosystem for Quantum Aapplications.

 

Software Projects

QuAntiL

QuAntiL covers several aspects of the quantum application lifecycle and provides tooling support for the implementation, deployment, execution, and monitoring of quantum applications.

Publications

Journal Papers

  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}
    }

Conference Papers

  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}
    }

Workshop Papers

  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}
}
To the top of the page