Christian Menard

Christian Menard

E-mail

Phone

Fax

Visitor's Address

christian.menard@tu-dresden.de

Phone: +49 (0)351 463 42441

Fax +49 (0)351 463 39995

Helmholtzstrasse 18
3rd, BAR III70
01069 Dresden
Germany

 

Curriculum Vitae

Christian Menard received his Diploma degree in Information Systems Technology from TU Dresden in April 2016. He has a background in software development for embedded systems and operating system design as well as hardware engineering. Christian wrote his Diploma-Thesis at the Chair for Compiler Construction and joined the chair as a researcher in May 2016. He is interested in exploring new concepts for programming embedded systems and exploiting heterogeneity in state of the art hardware platforms.

Student Topics

My current research interest lies in applying the reactor model of computation to the programming of cyber-physical systems (CPS). The goal is to develop a toolflow that helps to build safer and more reliable software for CPS. An overview of this research topic can be found here.

There are many open topics that are suitable for SHK/WHK or writing Bachelor/Master/Diploma Thesis. Please contact me if you are interested (christian.menard@tu-dresden.de) and we will find a topic that fits your skills and interests. Possible topics could be:

  • Development of a realistic demonstrator application for the existing toolflow. Experience or interest in the development of automotive applications and programming experience in C++ would be useful  for this task.
  • In order to evaluate our toolflow, we require many different test applications. An alternative to the costly development of realistic applications, is random generation of test applications. The task would be to develop such a random code generator from scratch or based on similar previous work. No specific programming language is required for this task.
  • While we have proven the existing approach to work correctly, there is room for improvements and in particular for optimization of the resulting applications. This task would consist of two parts: benchmarking of the current approach to identify bottlenecks and improvement of the existing algorithms. Programming experience in C++ and possibly Java are useful for this task.
  • Our toolflow is polyglot. This means that it is independent of the target language. Currently we have backends for C, C++ and TypeScript, but many more could be build. Particularly interesting would be a Rust implementation. 

There are many more things that could be done. Just let me know if the general topic appeals to you.

Publications

  • 2020

  • Robert Wittig and Andrés Goens and Christian Menard and Emil Matus and Gerhard P. Fettweis and Jeronimo Castrillon, "Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach" , Proceedings of the 27th International Conference on Telecommunications (ICT), pp. 1-5, Oct 2020. [doi] [Bibtex & Downloads]
  • Marten Lohstroh and Christian Menard and Alexander Schulz-Rosengarten and Matthew Weber and Jeronimo Castrillon and Edward A. Lee, "A Language for Deterministic Coordination Across Multiple Timelines" , In Proceeding: 2020 Forum for Specification and Design Languages (FDL), pp. 1-8, Sep 2020. (Best paper award candidate) [doi] [Bibtex & Downloads]
  • Lowe-Power, Jason and Ahmad, Abdul Mutaal and Akram, Ayaz and Alian, Mohammad and Amslinger, Rico and Andreozzi, Matteo and Armejach, Adrià and Asmussen, Nils and Bharadwaj, Srikant and Black, Gabe and Bloom, Gedare and Bruce, Bobby R. and Rodrigues Carvalho, Daniel and Jeronimo Castrillon and Chen, Lizhong and Derumigny, Nicolas and Diestelhorst, Stephan and Elsasser, Wendy and Fariborz, Marjan and Farmahini-Farahani, Amin and Fotouhi, Pouya and Gambord, Ryan and Gandhi, Jayneel and Gope, Dibakar and Grass, Thomas and Hanindhito, Bagus and Hansson, Andreas and Haria, Swapnil and Harris, Austin and Hayes, Timothy and Herrera, Adrian and Horsnell, Matthew and Jafri, Syed Ali Raza and Jagtap, Radhika and Jang, Hanhwi and Jeyapaul, Reiley and Jones, Timothy M. and Jung, Matthias and Kannoth, Subash and Khaleghzadeh, Hamidreza and Kodama, Yuetsu and Krishna, Tushar and Marinelli, Tommaso and Christian Menard and Mondelli, Andrea and Mück, Tiago and Naji, Omar and Nathella, Krishnendra and Nguyen, Hoa and Nikoleris, Nikos and Olson, Lena E. and Orr, Marc and Pham, Binh and Prieto, Pablo and Reddy, Trivikram and Roelke, Alec and Samani, Mahyar and Sandberg, Andreas and Setoain, Javier and Shingarov, Boris and Sinclair, Matthew D. and Ta, Tuan and Thakur, Rahul and Travaglini, Giacomo and Upton, Michael and Vaish, Nilay and Vougioukas, Ilias and Wang, Zhengrong and Wehn, Norbert and Weis, Christian and Wood, David A. and Yoon, Hongil and Zulian, Éder F., "The gem5 Simulator: Version 20.0+" , In arXiv preprint arXiv:2007.03152, Jul 2020. [Bibtex & Downloads]
  • Christian Menard and Andrés Goens and Marten Lohstroh and Jeronimo Castrillon, "Achieving Determinism in Adaptive AUTOSAR" , Proceedings of the 2020 Design, Automation and Test in Europe Conference (DATE), IEEE, pp. 822–827, Mar 2020. (Best paper award candidate A-Track, Video Presentation) [doi] [Bibtex & Downloads]
  • 2019

  • Andrés Goens and Christian Menard and Jeronimo Castrillon, "On Compact Mappings for Multicore Systems" , Proceedings of the IEEE International Conference on Embedded Computer Systems Architectures Modeling and Simulation (SAMOS) (D. Pnevmatikatos and M. Pelcat and M. Jung) , Springer, Cham, vol. 11733, pp. 325–335, Jul 2019. [doi] [Bibtex & Downloads]
  • 2018

  • Andrés Goens and Christian Menard and Jeronimo Castrillon, "On the Representation of Mappings to Multicores" , Proceedings of the IEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-18), pp. 184–191, Vietnam National University, Hanoi, Vietnam, Sep 2018. [doi] [Bibtex & Downloads]
  • Jeronimo Castrillon and Matthias Lieber and Sascha Klüppelholz and Marcus Völp and Nils Asmussen and Uwe Assmann and Franz Baader and Christel Baier and Gerhard Fettweis and Jochen Fröhlich and Andrés Goens and Sebastian Haas and Dirk Habich and Hermann Härtig and Mattis Hasler and Immo Huismann and Tomas Karnagel and Sven Karol and Akash Kumar and Wolfgang Lehner and Linda Leuschner and Siqi Ling and Steffen Märcker and Christian Menard and Johannes Mey and Wolfgang Nagel and Benedikt Nöthen and Rafael Peñaloza and Michael Raitza and Jörg Stiller and Annett Ungethüm and Axel Voigt and Sascha Wunderlich, "A Hardware/Software Stack for Heterogeneous Systems" , In IEEE Transactions on Multi-Scale Computing Systems, vol. 4, no. 3, pp. 243-259, Jul 2018. [doi] [Bibtex & Downloads]
  • 2017

  • Fazal Hameed and Christian Menard and Jeronimo Castrillon, "Efficient STT-RAM Last-Level-Cache Architecture to replace DRAM Cache" , Proceedings of the International Symposium on Memory Systems (MemSys'17), ACM, pp. 141–151, New York, NY, USA, Oct 2017. [doi] [Bibtex & Downloads]
  • Christian Menard and Matthias Jung and Jeronimo Castrillon and Norbert Wehn, "System Simulation with gem5 and SystemC: The Keystone for Full Interoperability" , Proceedings of the IEEE International Conference on Embedded Computer Systems Architectures Modeling and Simulation (SAMOS), pp. 62–69, Jul 2017. [doi] [Bibtex & Downloads]
  • 2016

  • Christian Menard and Andrés Goens and Jeronimo Castrillon, "High-Level NoC Model for MPSoC Compilers" , Proceedings of the IEEE Nordic Circuits and Systems Conference (NORCAS'16), pp. 1-6, Copenhagen, Denmark, Nov 2016. [doi] [Bibtex & Downloads]
  • Christian Menard, "Mapping KPN-Based Applications to the NoC-Based Tomahawk Architectures" , Master's thesis, TU Dresden, 3/2016. [Bibtex & Downloads]