Mohamed A. Bamakhrama | محمد بامخرمه | 穆罕默德.巴马赫拉马 Ph.D. student in Computer Science @ Leiden University

About

I am a 1^st 2^nd 3^rd 4^th year Ph.D. student in Computer Science under the supervision of Prof. dr. Ed Deprettere and Dr. Todor Stefanov at Leiden Embedded Research Center in Leiden University, Leiden, The Netherlands. Prior to that, I worked as a research scientist at ST-Ericsson in Eindhoven, The Netherlands. I obtained a M.Sc. (honors) from the Institute of Informatics at Technische Universität München in Munich, Germany in December 2007 and a B.Sc. (honors) in Computer Engineering from University of Sharjah in Sharjah, United Arab Emirates in 2005.

You can find me on LinkedIn, GitHub and Twitter. For a formal bio, you can have a look on my resume

Research Interests

Embedded real-time systems in general and specifically embedded multiprocessor system-on-chip design and programming, hardware/software codesign, computer architecture, and computer communication protocols

Selected Awards/Honors

• EMSOFT 2011 Best Paper Nomination
• ACM Special Interest Group on Embedded Systems (SIGBED) 2011 Frank Anger Memorial Award
• "Finalist" in Mentor Graphics Catapult C synthesis contest in 2011

Publications

Journal Articles

1. Mohamed A. Bamakhrama and Todor P. Stefanov. "On the Hard-Real-Time Scheduling of Embedded Streaming Applications". Design Automation for Embedded Systems, Special Issue on EMSOFT 2011
   PDF | DOI

Peer-Reviewed Conference Proceedings

1. Jiali Teddy Zhai, Mohamed A. Bamakhrama, and Todor Stefanov. "Exploiting Just-enough Parallelism when Mapping Streaming Applications in Hard Real-time Systems". In Proceedings of the 50^th Design Automation Conference (DAC 2013), pp. 170:1–170:8, May 29-June 7, 2013, Austin, TX, USA.
   PDF | DOI
2. Mohamed A. Bamakhrama and Todor Stefanov. "Managing Latency in Embedded Streaming Applications under Hard-Real-Time Scheduling". In Proceedings of the 10^th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2012), pp. 83-92, October 7-12, 2012, Tampere, Finland.
   PDF | Slides | DOI | ACM DL
3. Mohamed A. Bamakhrama, Jiali Teddy Zhai, Hristo Nikolov, and Todor Stefanov. "A Methodology for Automated Design of Hard-Real-Time Embedded Streaming Systems". In Proceedings of the 15^th Design, Automation, and Test in Europe (DATE '2012) Conference and Exhibition, pp. 941-946, March 12-16, 2012, Dresden, Germany.
   PDF | Slides | DOI
4. Mohamed Bamakhrama and Todor Stefanov. "Hard-Real-Time Scheduling of Data-Dependent Tasks in Embedded Streaming Applications". In Proceedings of the 9^th ACM International Conference on Embedded Software (EMSOFT '2011), pp. 195-204, October 9-14, 2011, Taipei, Taiwan. (Best Paper Candidate)
   PDF | Slides | DOI | ACM DL
5. Y. C. Chehadeh, A. Z. Hatahet, A. E. Agamy, M. A. Bamakhrama, and S. A. Banawan. "Investigating Distribution of Data of HTTP Traffic: An Empirical Study". In Proceedings of the IEEE International Conference on Innovations in Information Technology (IIT '2006), November 19-21, 2006, Dubai, United Arab Emirates.
   PDF | Slides | DOI

Theses

• Mohamed A. Bamakhrama. "Embedded Multiprocessor System-on-Chip for Access Network Processing". Master Thesis, Technische Universität München, Munich, Germany. 2007.
  PDF

Teaching

• Teaching Assistant for Computersystemen en Telematica: 2011, 2012
• Teaching Assistant for Digital Technique: 2010/2011, 2011/2012, 2012/2013
• Teaching Assistant for Databases: 2013

Open-Source Projects

• Daedalus^RT: is a system-level design (SLD) framework for designing hard-real-time embedded streaming systems. It accepts as an input a set of sequential applications written in a constrained form of the C programming language (called static affine nested loop programs (SANLPs)). After that, it performs the following steps:
  1. Automatic parallelization: In this step, each application is parallelized automatically which results in two representations: one based on the polytope model and the other based on cyclo-static dataflow (CSDF)
  2. Analysis: In this step, the framework performs hard-real-time schedulability analysis on the CSDF representation to determine the minimum number of processors needed to schedule the applications and the mapping of tasks to processors
  3. System Synthesis: In the last step, the framework synthesizes a multiprocessor system-on-chip (MPSoC) platform which runs the parallelized applications.
  For more information and/or to download the flow, please visit the framework website
• darts: is a toolbox for hard-real-time schedulability analysis of applications modeled as acyclic Cyclo-Static Dataflow (CSDF) graphs. It constitutes a part of the Daedalus^RT framework. You can get the source code of this toolbox from here
• microblaze-pmbus: is a system on FPGA which demonstrates a PMBus driver implementation for Xilinx Microblaze processors. The current driver has the following limitations: 1) "read-only" functionality (i.e., reading current, voltage, and power) from the PMBus controller without "write" functionality, and 2) Support for Xilinx ML605 boards only using TI UCD9240 controller chip. For background information, you can look here

Contact

You can visit me or send "snail" mail using the following address: