S2|02 Raum E102

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

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
DOI URL

Bibtex

@article{tamimi2024trets,
  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.}
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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