Thesis Title: Scalable File System for Energy-Efficient Manycore Architectures
Supervisors: Alain Greiner and Franck Wajsbürt
Defense Date: 06/28/2016
Description: Recent advances in processor manufacturing led to the integration of hundred if not thousand of cores in a single chip: many-core processors. TSAR is a power-efficient many-core architecture that use 32-bit core while extending physical addresses to 40-bit. Considering this architecture as a base, we have modified a UNIX-like OS to implement a scalable file system that fully explores the extended physical address space. The solution restructures the kernel as a multikernel: multiple kernel instances communicating through message passing.
Thesis Title: Linking a static OS to a Co-Design Tool (DSX)
Supervisor: Alain Greiner
Defense Date: 06/28/2012
Description: This work modifies a design space exploration tool called DSX. This tool can estimate the performance of a system before manufacturing in order to choose an efficient system design. This is done by generating both a hardware simulator and the software. Before our work, this tool used a dynamic OS called MutekH. Our work modifies the tool to use a static OS called GIET. This modification allows the software to be more efficient and reduce its memory footprint.
Achievements: Modification of a static OS (Hardware description, virtual memory, ELF support); Linking the static OS to DSX; Emulation of software tasks as hardware co-processors;
2020–Today: Researcher - ENS de Lyon, France
2017–2019: Postdoctoral Research - Virginia Tech, US
2016–2017: Research and Teacher Assistant (ATER) - University Pierre and Marie Curie (UPMC), Paris
2012–2015: Research Assistant (Ph.D.) - University Pierre and Marie Curie (UPMC), Paris
2012 (6 months): Research Assistant (Master’s Thesis) - University Pierre and Marie Curie (UPMC), Paris
2011 (2 months): Research Assistant (Summer Internship) - University Pierre and Marie Curie (UPMC), Paris
2016: Scalable OSes (M.S.) - University Pierre and Marie Curie (UPMC)
2016: VLSI (M.S.) - University Pierre and Marie Curie (UPMC)
2017: FPGA (M.S.) - University Pierre and Marie Curie (UPMC)
2016: Advanced C Programming (B.S.) - University Pierre and Marie Curie (UPMC)
2016: Programming Elements (Python) (B.S.) - University Pierre and Marie Curie (UPMC)
2016 Machine and Representation (B.S.) - University Pierre and Marie Curie (UPMC)
Programming Languages: C/C++, Java, Python, Pascal , Lustre (synchronous), PHP/HTML (web), SQL (database)
Assembly: Mips, ARM, X86
Hardware descriptions languages: SystemC, VHDL
Tools: GIT, SVN, Mercurial, make, LATEX
OS: UNIX/Linux, Windows
File Systems: VFS, FAT, Ext2
Networks: I2C, RS232, TCP/IP
2014 (4 months): Adding Support for 40-bit Addressing on a UNIX-like OS (ALMOS) - University Pierre and Marie Curie (UPMC), Paris
2014 (2 months): User-Space Emulation of a UNIX-like OS (ALMOS) - University Pierre and Marie Curie (UPMC), Paris
2015 (6 months): Task Migration Service for a UNIX Multikernel OS (ALMOS-MK) - University Pierre and Marie Curie (UPMC), Paris
English: fluent
French: bilingual
Arabic: bilingual