Staff photo for

Forschungsgebiete

  • Compilerbau

Hardware-Compiler für Adaptive Computer Systeme (ACS) sind um ein vielfaches schwerer zu implementieren als normale Compiler.

Herausforderungen hierbei sind Aufgaben wie z.B. die Speicheranbindung, die Software-Hardware-Partionierung, bei der entschieden werden muss welche Programmteile in HW und welche in SW ausgeführt werden sollen, oder die Parallelisierung.

Lebenslauf

  • 2005

    Diplom in Informatik

  • 2005-2007

    Compiler Ingenieur bei PACT XPP

  • 2007

    Wissenschaftlicher Mitarbeiter der Fachgruppe Eingebettete Systeme und ihre Anwendungen (ESA)

Publications

  1. Tamimi, S., Bernhardt, A., Stock, F., Petrov, I., and Koch, A. (2025). CINDA: Using Cache-Coherent Interconnects for Accelerating Databases by Enabling Near-Data Processing of Update Transactions. IEEE Transactions on Computers, 1–14. doi: 10.1109/TC.2025.3558028
    Preprint DOI
    Bibtex 
    @article{tamimiTC2025CINDA,
  author = {Tamimi, Sajjad and Bernhardt, Arthur and Stock, Florian and Petrov, Ilia and Koch, Andreas},
  journal = {IEEE Transactions on Computers},
  title = {CINDA: Using Cache-Coherent Interconnects for Accelerating Databases by Enabling Near-Data Processing of Update Transactions},
  year = {2025},
  volume = {},
  number = {},
  pages = {1-14},
  keywords = {Low latency communication;Translation;Synchronization;Engines;Computer architecture;Standards;Field programmable gate arrays;Benchmark testing;Throughput;Memory management;Near-Data Processing;Computational Storage;CCIX;CXL;FPGA;Database Management Systems},
  doi = {10.1109/TC.2025.3558028}
}
  2. Tamimi, S., Bernhardt, A., Stock, F., Petrov, I., and Koch, A. (2024). DANSEN: Database Acceleration on Native Computational Storage by Exploiting NDP. ACM Trans. Reconfigurable Technol. Syst. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/3655625
    HiPEAC Award Preprint DOI URL
    Bibtex 
    @article{tamimi2024tretsDANSEN,
  author = {Tamimi, Sajjad and Bernhardt, Arthur and Stock, Florian and Petrov, Ilia and Koch, Andreas},
  title = {DANSEN: Database Acceleration on Native Computational Storage by Exploiting NDP},
  year = {2024},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  issn = {1936-7406},
  url = {https://doi.org/10.1145/3655625},
  doi = {10.1145/3655625},
  note = {Just Accepted},
  journal = {ACM Trans. Reconfigurable Technol. Syst.},
  month = apr,
  keywords = {Near-Data Processing, Computational Storage, FPGA, Database Management Systems.}
}
  3. Neumann, K. A., Hildenbrand, D., Stock, F., Steinmetz, C., and Michel, M. (2024). GAAlign: Robust Sampling-Based Point Cloud Registration Using Geometric Algebra. In D. W. Silva, E. Hitzer, and D. Hildenbrand (Eds.), Advanced Computational Applications of Geometric Algebra (pp. 99–111). Cham: Springer Nature Switzerland.
    Bibtex 
    @inproceedings{stock2022icacga,
  author = {Neumann, Kai A. and Hildenbrand, Dietmar and Stock, Florian and Steinmetz, Christian and Michel, Maximilian},
  editor = {Silva, David W. and Hitzer, Eckhard and Hildenbrand, Dietmar},
  title = {GAAlign: Robust Sampling-Based Point Cloud Registration Using Geometric Algebra},
  booktitle = {Advanced Computational Applications of Geometric Algebra},
  year = {2024},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  pages = {99--111},
  isbn = {978-3-031-34031-4}
}
  4. Tamimi, S., Stock, F., Bernhardt, A., Petrov, I., and Koch, A. (2023). NVMulator: A Configurable Open-Source Non-volatile Memory Emulator for FPGAs. In Applied Reconfigurable Computing. Architectures, Tools, and Applications. Springer International Publishing. doi: 10.1007/978-3-031-42921-7_3
    DOI URL
    Bibtex 
    @inproceedings{tamimi2023arc,
  author = {Tamimi, Sajjad and Stock, Florian and Bernhardt, Arthur and Petrov, Ilia and Koch, Andreas},
  title = {NVMulator: A Configurable Open-Source Non-volatile Memory Emulator for FPGAs},
  booktitle = {Applied Reconfigurable Computing. Architectures, Tools, and Applications},
  year = {2023},
  publisher = {Springer International Publishing},
  url = {https://doi.org/10.1007/978-3-031-42921-7_3},
  doi = {10.1007/978-3-031-42921-7_3}
}
  5. Vinçon, T., Knödler, C., Solis-Vasquez, L., Bernhardt, A., Tamimi, S., Weber, L., Stock, F., et al. (2022). Near-Data Processing in Database Systems on Native Computational Storage under HTAP Workloads. In Proceedings of the VLDB Endowment, Volume 15. doi: 10.14778/3547305.3547307
    Preprint DOI Slides Video
    Bibtex 
    @inproceedings{vincon2022vldb,
  author = {Vin\c{c}on, Tobias and Kn\"{o}dler, Christian and Solis-Vasquez, Leonardo and Bernhardt, Arthur and Tamimi, Sajjad and Weber, Lukas and Stock, Florian and Koch, Andreas and Petrov, Ilia},
  title = {Near-Data Processing in Database Systems on Native Computational Storage under HTAP Workloads},
  booktitle = {Proceedings of the VLDB Endowment, Volume 15},
  year = {2022},
  preprint = {https://dblab.reutlingen-university.de/paper/2022_VLDB_UpdateAwareNDP.pdf},
  doi = {10.14778/3547305.3547307},
  slides = {https://dblab.reutlingen-university.de/media/2022_VLDB_NDPunderHTAP.pdf},
  video = {https://dblab.reutlingen-university.de/media/2022_VLDB_NDPunderHTAP.mp4}
}
  6. Tamimi, S., Stock, F., Bernhardt, A., Petrov, I., and Koch, A. (2022). An Evaluation of Using CCIX for Cache-Coherent Host-FPGA Interfacing. In 2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM).
    HiPEAC Award Preprint Slides
    Bibtex 
    @inproceedings{tamimi2022fccm,
  author = {Tamimi, Sajjad and Stock, Florian and Bernhardt, Arthur and Petrov, Ilia and Koch, Andreas},
  title = {An Evaluation of Using CCIX for Cache-Coherent Host-FPGA Interfacing},
  booktitle = {2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)},
  year = {2022}
}
  7. Bernhardt, A., Tamimi, S., Vinçon, T., Knoedler, C., Stock, F., Heinz, C., Koch, A., et al. (2022). neoDBMS: In-situ Snapshots for Multi-Version DBMS on Native Computational Storage. In 2022 IEEE 38th International Conference on Data Engineering (ICDE).
    Preprint
    Bibtex 
    @inproceedings{tamimi2022icde,
  author = {Bernhardt, Arthur and Tamimi, Sajjad and Vin\c{c}on, Tobias and Knoedler, Christian and Stock, Florian and Heinz, Carsten and Koch, Andreas and Petrov, Ilia},
  title = {neoDBMS: In-situ Snapshots for Multi-Version DBMS on Native Computational Storage},
  booktitle = {2022 IEEE 38th International Conference on Data Engineering (ICDE)},
  year = {2022}
}
  8. Bernhardt, A., Tamimi, S., Stock, F., Vinçon, T., Koch, A., and Petrov, I. (2022). Cache-Coherent Shared Locking for Transactionally Consistent Updates in Near-Data Processing DBMS on Smart Storage. In Proc. of the 25th International Conference on Extending Database Technology (EDBT).
    Preprint Slides Video
    Bibtex 
    @inproceedings{tamimi2022edbt,
  author = {Bernhardt, Arthur and Tamimi, Sajjad and Stock, Florian and Vin\c{c}on, Tobias and Koch, Andreas and Petrov, Ilia},
  title = {Cache-Coherent Shared Locking for Transactionally Consistent Updates in Near-Data Processing DBMS on Smart Storage},
  booktitle = {Proc. of the 25th International Conference on Extending Database Technology (EDBT)},
  year = {2022},
  video = {https://www.youtube.com/embed/2gwnvKuzj_o}
}
  9. Vinçon, T., Weber, L., Bernhardt, A., Riegger, C., Hardock, S., Knoedler, C., Stock, F., et al. (2020). nKV in Action: Accelerating KV-Stores on Native Computation Storage with Near-Data Processing. In Proceedings of the VLDB Endowment, Volume 13. doi: 10.14778/3415478.3415524
    Preprint DOI Slides Video
    Bibtex 
    @inproceedings{weber2020vldb,
  author = {Vin\c{c}on, Tobias and Weber, Lukas and Bernhardt, Arthur and Riegger, Christian and Hardock, Sergey and Knoedler, Christian and Stock, Florian and Solis-Vasquez, Leonardo and Tamimi, Sajjad and Koch, Andreas},
  title = {nKV in Action: Accelerating KV-Stores on Native Computation Storage with Near-Data Processing},
  booktitle = {Proceedings of the VLDB Endowment, Volume 13},
  year = {2020},
  doi = {10.14778/3415478.3415524},
  video = {https://www.youtube.com/watch?v=iiGh6Pj_A9k}
}
  10. Sommer, L., Stock, F., Solis-Vasquez, L., and Koch, A. (2020). DAPHNE - An Automotive Benchmark Suite for Parallel Programming Models on Embedded Heterogeneous Platforms. In D. Ziegenbein, S. Saidi, X. S. Hu, and S. Steinhorst (Eds.), Future Automotive HW/SW Platform Design (Dagstuhl Seminar 19502), Dagstuhl Reports (Vol. 9, pp. 28–66). Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. doi: 10.4230/DagRep.9.12.28
    DOI URL
    Bibtex 
    @inproceedings{sommer2020dagstuhl,
  author = {Sommer, Lukas and Stock, Florian and Solis-Vasquez, Leonardo and Koch, Andreas},
  title = {DAPHNE - An Automotive Benchmark Suite for Parallel Programming Models on Embedded Heterogeneous Platforms},
  booktitle = {{{Future Automotive HW/SW Platform Design (Dagstuhl Seminar 19502)}}},
  year = {2020},
  editor = {Ziegenbein, Dirk and Saidi, Selma and Hu, Xiaobo Sharon and Steinhorst, Sebastian},
  volume = {9},
  series = {Dagstuhl Reports},
  pages = {28--66},
  publisher = {{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}},
  address = {Dagstuhl, Germany},
  url = {https://drops.dagstuhl.de/opus/volltexte/2020/12010},
  urn = {urn:nbn:de:0030-drops-120101},
  doi = {10.4230/DagRep.9.12.28},
  annote = {Keywords: automotive, hw/sw platforms, real-time systems, systems design automation}
}
  11. Sommer, L., Stock, F., Solis-Vasquez, L., and Koch, A. (2020). Using Parallel Programming Models for Automotive Workloads on Heterogeneous Systems - a Case Study. In 28th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP’20). doi: 10.1109/PDP50117.2020.00010
    Preprint DOI
    Bibtex 
    @inproceedings{sommer2020pdp,
  author = {Sommer, Lukas and Stock, Florian and Solis-Vasquez, Leonardo and Koch, Andreas},
  booktitle = {28th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'20)},
  title = {Using Parallel Programming Models for Automotive Workloads on Heterogeneous Systems - a Case Study},
  year = {2020},
  doi = {10.1109/PDP50117.2020.00010},
  keywords = {embedded, automotive, parallel programming, heterogeneous, OpenMP, OpenCL, CUDA}
}
  12. Sommer, L., Stock, F., Solis-Vasquez, L., and Koch, A. (2019). Work-in-Progress: DAPHNE - Automotive Benchmark Suite for Parallel Programming Models on Embedded Heterogeneous Platforms. In Proceedings of the International Conference on Embedded Software (accepted for publication 07/2019), EMSOFT ’19. Piscataway, NJ, USA: IEEE Press. doi: 10.1145/3349568.3351547
    Preprint DOI
    Bibtex 
    @inproceedings{emsoft2019,
  author = {Sommer, Lukas and Stock, Florian and Solis-Vasquez, Leonardo and Koch, Andreas},
  title = {Work-in-Progress: DAPHNE - Automotive Benchmark Suite for Parallel Programming Models on Embedded Heterogeneous Platforms},
  booktitle = {Proceedings of the International Conference on Embedded Software (accepted for publication 07/2019)},
  series = {EMSOFT '19},
  year = {2019},
  location = {New York, NY, USA},
  publisher = {IEEE Press},
  address = {Piscataway, NJ, USA},
  doi = {10.1145/3349568.3351547}
}
  13. Sommer, L., Stock, F., Solis-Vasquez, L., and Koch, A. (2019). EPHoS: Evaluation of Programming - Models for Heterogeneous Systems. FAT-Schriftenreihe 317. Forschungsvereinigung Automobiltechik. Retrieved from https://www.vda.de/de/services/Publikationen/fat-schriftenreihe-317.html
    URL
    Bibtex 
    @article{fat317,
  title = {EPHoS: Evaluation of Programming - Models for Heterogeneous Systems},
  author = {Sommer, Lukas and Stock, Florian and Solis-Vasquez, Leonardo and Koch, Andreas},
  booktitle = {FAT-Schriftenreihe 317},
  year = {2019},
  publisher = {Forschungsvereinigung Automobiltechik},
  url = {https://www.vda.de/de/services/Publikationen/fat-schriftenreihe-317.html}
}
  14. Stock, F., Hildenbrand, D., and Koch, A. (2013). FPGA-accelerated color edge detection using a Geometric-Algebra-to-Verilog compiler. In International Symposium on System on Chip (SoC) 2013.
    Preprint
    Bibtex 
    @inproceedings{stock2013fpga,
  title = {FPGA-accelerated color edge detection using a Geometric-Algebra-to-Verilog compiler},
  author = {Stock, Florian and Hildenbrand, D. and Koch, Andreas},
  booktitle = {International Symposium on System on Chip (SoC) 2013},
  year = {2013}
}
  15. Huthmann, J., Müller, P., Stock, F., Hildenbrand, D., and Koch, A. (2010). Compiling Geometric Algebra Computations into Reconfigurable Hardware Accelerators. In Dagstuhl Seminar Proc. #10281 on Dynamically Reconfigurable Architectures.
    Preprint
    Bibtex 
    @inproceedings{huthmann2010cgacrha,
  title = {Compiling Geometric Algebra Computations into Reconfigurable Hardware Accelerators},
  author = {Huthmann, Jens and Müller, Peter and Stock, Florian and Hildenbrand, D. and Koch, Andreas},
  booktitle = {Dagstuhl Seminar Proc. #10281 on Dynamically Reconfigurable Architectures},
  year = {2010}
}
  16. Schwinn, C., Hildenbrand, D., Stock, F., and Koch, A. (2010). Gaalop 2.0 - A Geometric Algebra Algorithm Compiler. In Proc. Workshop on Computer Graphics, Computer Vision and Mathematics.
    Preprint
    Bibtex 
    @inproceedings{schwinn2010gagaac,
  title = {Gaalop 2.0 - A Geometric Algebra Algorithm Compiler},
  author = {Schwinn, C. and Hildenbrand, D. and Stock, Florian and Koch, Andreas},
  booktitle = {Proc. Workshop on Computer Graphics, Computer Vision and Mathematics},
  year = {2010}
}
  17. Huthmann, J., Müller, P., Stock, F., Hildenbrand, D., and Koch, A. (2010). Accelerating High-Level Engineering Computations by Automatic Compilation of Geometric Algebra to Hardware Accelerators. In IEEE Proc. Intl. Conf. on Embedded Computer Systems: Architectures, MOdeling and Simulation (SAMOS). IEEE.
    Preprint
    Bibtex 
    @inproceedings{huthmann2010ahlecacgaha,
  title = {Accelerating High-Level Engineering Computations by Automatic Compilation of Geometric Algebra to Hardware Accelerators},
  author = {Huthmann, Jens and Müller, Peter and Stock, Florian and Hildenbrand, D. and Koch, Andreas},
  booktitle = {IEEE Proc. Intl. Conf. on Embedded Computer Systems: Architectures, MOdeling and Simulation (SAMOS)},
  year = {2010},
  organization = {IEEE}
}
  18. Stock, F., and Koch, A. (2009). A Fast GPU Implementation for Solving Sparse Ill-Posed Linear Equation Systems. In LNCS Proc. of Eighth International Conference on Parallel Processing and Mathematics. LNCS.
    Preprint The original publication is available at www.springerlink.com
    Bibtex 
    @inproceedings{stock2009afgpuissiples,
  title = {A Fast GPU Implementation for Solving Sparse Ill-Posed Linear Equation Systems},
  author = {Stock, Florian and Koch, Andreas},
  booktitle = {LNCS Proc. of Eighth International Conference on Parallel Processing and Mathematics},
  year = {2009},
  organization = {LNCS},
  springer = {http://www.springerlink.com/content/288560u268w77034}
}
  19. Lange, H., Stock, F., Koch, A., and Hildenbrand, D. (2009). Acceleration and Energy Efficiency of a Geometric Algebra Computation using Reconfigurable Computers and GPUs. In IEEE Seventeenth Annual Symposium on Field-Programmable Custom Computing Machines (FCCM). IEEE.
    Preprint
    Bibtex 
    @inproceedings{lange2009aeegacrcgpu,
  title = {Acceleration and Energy Efficiency of a Geometric Algebra Computation using Reconfigurable Computers and GPUs},
  author = {Lange, Holger and Stock, Florian and Koch, Andreas and Hildenbrand, D.},
  booktitle = {IEEE Seventeenth Annual Symposium on Field-Programmable Custom Computing Machines (FCCM)},
  year = {2009},
  organization = {IEEE}
}
  20. Gädke, H., Stock, F., and Koch, A. (2008). Memory Access Parallelization in High-Level Language Compilation for Reconfigurable Adaptive Computers. In IEEE Intl. Conf. on Field Programmable Logic and Applications (FPL). IEEE.
    Preprint
    Bibtex 
    @inproceedings{gaedke2008maphllcrac,
  title = {Memory Access Parallelization in High-Level Language Compilation for Reconfigurable Adaptive Computers},
  author = {Gädke, H. and Stock, Florian and Koch, Andreas},
  booktitle = {IEEE Intl. Conf. on Field Programmable Logic and Applications (FPL)},
  year = {2008},
  organization = {IEEE}
}
  21. Hildenbrand, D., Lange, H., Stock, F., and Koch, A. (2008). Efficient Inverse Kinematics Algorithm based on Conformal Geometric Algebra Using Reconfigurable Hardware. In Intl. Conf. on Computer Graphics Theory and Applications (GRAPP). GRAPP.
    Preprint
    Bibtex 
    @inproceedings{hildenbrand2008eikacgaurh,
  title = {Efficient Inverse Kinematics Algorithm based on Conformal Geometric Algebra Using Reconfigurable Hardware},
  author = {Hildenbrand, D. and Lange, Holger and Stock, Florian and Koch, Andreas},
  booktitle = {Intl. Conf. on Computer Graphics Theory and Applications (GRAPP)},
  year = {2008},
  organization = {GRAPP}
}
  22. Stock, F., and Koch, A. (2006). Architecture Exploration and Tools for Pipelined Coarse-grained Reconfigurable Arrays. In IEEE Intl. Conf. On Field-Programmable Logic (FPL). IEEE.
    Preprint
    Bibtex 
    @inproceedings{stock2006aetpcra,
  title = {Architecture Exploration and Tools for Pipelined Coarse-grained Reconfigurable Arrays},
  author = {Stock, Florian and Koch, Andreas},
  booktitle = {IEEE Intl. Conf. On Field-Programmable Logic (FPL)},
  year = {2006},
  organization = {IEEE}
}