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. 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 URL 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},
      url = {https://www.vldb.org/pvldb/vol15/p1991-petrov.pdf},
      slides = {https://dblab.reutlingen-university.de/media/2022_VLDB_NDPunderHTAP.pdf},
      video = {https://dblab.reutlingen-university.de/media/2022_VLDB_NDPunderHTAP.mp4}
    }
    
  2. 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).
    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}
    }
    
  3. 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}
    }
    
  4. 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}
    }
    
  5. 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}
    }
    
  6. 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}
    }
    
  7. 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}
    }
    
  8. 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}
    }
    
  9. 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}
    }
    
  10. 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}
    }
    
  11. 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}
    }
    
  12. 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}
    }
    
  13. 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}
    }
    
  14. 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}
    }
    
  15. 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}
    }
    
  16. 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}
    }
    
  17. 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}
    }
    
  18. 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}
    }