DI Manfred Schlägl - Bibliography

@inproceedings{SG:2025,
  author = {Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
  title = {Fast Interpreter-Based Instruction Set Simulation for Virtual Prototypes},
  booktitle = {Design, Automation and Test in Europe Conference (DATE)},
  year = 2025,
  code = {https://github.com/ics-jku/riscv-vp-plusplus},
  url = {https://ics.jku.at/files/2025DATE_Fast_Interpreter-based_ISS.pdf}
}

@inproceedings{SG:2024b,
  author = {Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
  title = {Single Instruction Isolation for {RISC-V} Vector Test Failures},
  booktitle = {IEEE/ACM International Conference on Computer-Aided Design (ICCAD)},
  year = {2024},
  code = {https://github.com/ics-jku/RVVTS},
  url = {https://ics.jku.at/files/2024ICCAD_Single-Instruction-Isolation-for-RISC-V-Vector-Test-Failures.pdf}
}

@inproceedings{SG:2024,
  author = {Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
  title = {Bounded Load/Stores in Grammar-based Code Generation for Testing the {RISC-V} Vector Extension},
  booktitle = {RISC-V Summit Europe},
  year = 2024,
  code = {https://github.com/ics-jku/RVVTS},
  url = {https://ics.jku.at/files/2024RISCVSummit_BoundedLoadStoreGrammarTestRVV.pdf}
}

@inproceedings{SSG:2024,
  author = {Manfred Schl{\"{a}}gl and Moritz Stockinger and Daniel Gro{\ss}e},
  title = {A {RISC-V ``V'' VP}: Unlocking Vector Processing for Evaluation at the System Level},
  booktitle = {Design, Automation and Test in Europe Conference (DATE)},
  pages = {1--6},
  year = 2024,
  url = {https://ics.jku.at/files/2024DATE_RISCV-VP-plusplus_RVV.pdf},
  code = {https://github.com/ics-jku/riscv-vp-plusplus},
  doi = {10.23919/DATE58400.2024.10546838}
}

@inproceedings{SG:2023,
  author = {Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
  title = {{GUI-VP Kit}: A {RISC-V} {VP} Meets {Linux} Graphics - Enabling Interactive Graphical Application Development},
  booktitle = {ACM Great Lakes Symposium on VLSI (GLSVLSI)},
  pages = {599--605},
  year = 2023,
  url = {https://ics.jku.at/files/2023GLSVLSI_GUI-VP_Kit.pdf},
  code = {https://github.com/ics-jku/GUI-VP_Kit},
  doi = {10.1145/3583781.3590253}
}

@inproceedings{KSG:2022,
  author = {Lucas Klemmer and Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
  title = {{RVVRadar:} A Framework for Supporting the Programmer in Vectorization for {RISC-V}},
  booktitle = {ACM Great Lakes Symposium on VLSI (GLSVLSI)},
  pages = {183--187},
  year = 2022,
  url = {https://ics.jku.at/files/2022GLSVLSI_RVVRadar.pdf},
  code = {https://github.com/ics-jku/RVVRadar},
  doi = {10.1145/3526241.3530388}
}

@inproceedings{SG:2025b,
  author = {Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
  title = {{RVVTS}: A Modular, Open-Source Framework for Positive and Negative Testing of the {RISC-V ``V''} Vector Extension {(RVV)}},
  booktitle = {ITG/GI/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'' (MBMV)},
  year = 2025
}

@inproceedings{SHG:2024,
  author = {Manfred Schl{\"{a}}gl and Christoph Hazott and Daniel Gro{\ss}e},
  title = {{RISC-V VP++}: Next Generation Open-Source Virtual Prototype},
  booktitle = {Workshop on Open-Source Design Automation},
  year = 2024,
  code = {https://github.com/ics-jku/riscv-vp-plusplus},
  url = {https://ics.jku.at/files/2024OSDA_RISCV-VP-plusplus.pdf}
}

@inproceedings{SHG:2023,
  author = {Manfred Schl{\"{a}}gl and Christoph Hazott and Daniel Gro{\ss}e},
  title = {Recent Developments in Open-source {RISC-V} Virtual Prototypes: From Vector Extensions, Tracing to {3D}-Games},
  booktitle = {Special Session at Forum on specification \& Design Languages},
  year = {2023},
  code = {https://github.com/ics-jku/riscv-vp-plusplus}
}