Gabriel Corona
R&D Engineer at Awavatus
Nancy, Grand Est, France
Summary
👤
Senior🎓
Top SchoolGabriel Corona is an R&D software engineer based in Nancy, France with 15 years of experience designing resilient architectures and data pipelines for e-health and distributed systems. He blends deep systems programming and performance engineering—evidenced by contributions to high-profile emulation and profiling projects like FlameGraph, Dolphin and Reicast—with practical expertise in IoT data ingestion, statistical modeling and API design at PHARMAGEST. His background includes formal methods and a PhD in computer science, informing a rigorous approach to software security and model-checking work on Simgrid. Gabriel also pursues security research and bug bounties, bringing an adversarial mindset to hardening backends, web and mobile frontends as well as IoT stacks.
15 years of coding experience
6 years of employment as a software developer
Master 2 (M2), formal methods and software, Informatique, Master 2 (M2), formal methods and software, Informatique at Université de Bretagne OccidentaleEngineering, Telcommunications, Engineering, Telcommunications at IMT AtlantiqueDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Université Henri Poincaré (Nancy I)Engineer diploma, Telecommunications, Engineer diploma, Telecommunications at Télécom Bretagne
French, English, German, Japanese
Stackoverflow
9,047reputation
1.7mreached
153answers
6questions
stl
top-5%
iterator
top-5%
elf
top-5%
linux
top-5%
Github Skills (37)
performance-analytics10
c-language10
performance-monitor10
code-profiling10
linux10
cmake10
perl10
x8610
gdb10
performance-analysis10
x86-6410
compile10
profiling10
performance-monitoring10
cprogramming-language10
Programming languages (18)
Github contributions (5)
brendangregg/FlameGraph
Feb 2014 - Aug 2015
Stack trace visualizer
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 review, 5 commits, 6 PRs in 1 year 6 months
Contributions summary:Gabriel primarily contributed to the development and maintenance of tools for collapsing stack traces, specifically within the context of performance profiling. Their work involved creating new tools (`stackcollapse-gdb`, `stackcollapse-elfutils`), enhancing existing ones, and addressing issues. They also refined the functionality, improved the handling of edge cases (e.g., special characters in function names), and added features like filtering and inclusion of extra data like PID and TID.
perfreactprofilingstack-traceperformance-analysis
dolphin-emu/dolphin
May 2015 - Jun 2019
Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.
Role in this project:Performance Engineer
Performance EngineerContributions:5 commits, 10 PRs, 43 comments in 4 years 2 months
Contributions summary:Gabriel made significant contributions to Dolphin, a GameCube/Wii emulator, focusing on performance profiling and optimization. They implemented a profiling system using `clock_gettime` on POSIX systems to measure execution time within the JIT compiler and added support for Linux `perf` JIT, enabling detailed performance analysis using standard tools. The user also moved JIT registration logic into its own file for broader applicability across various JITed code paths and enhanced the codebase by introducing a command-line argument for specifying the Linux `perf` map file directory.
gameboycppemulatorgamesplatforms
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.