Chukri Soueidi
Grenoble, France
I am currently a research engineer and Ph.D. candidate at INRIA under the CORSE team, where I have been working since October 2019 under the supervision of Yliès Falcone. My research falls under software engineering and formal methods, where I specialize in program instrumentation and runtime verification of concurrent and distributed programs. My efforts have led to numerous peer-reviewed papers and the development of advanced tools in this field. As part of my doctoral research, I had the opportunity to visit the Formal Computer Science Laboratory at Université du Québec à Chicoutimi (UQAC) in 2021 and 2022 where I collaborated with Sylvain Hallé.
Before shifting into research, I have a track record of 10 years in software development and project management building software across various sectors, including public services, healthcare, education, and commerce. Throughout my career, I have earned several recognitions, such as the Microsoft Most Valued Professional MVP award for three consecutive years (2014-2016) and the AUB Computer Science Graduate Student of the Year award in 2019. I have also authored the book Microsoft Azure Storage Essentials, published by Packt in 2015.
news
Oct 6 2023 | Participated in the Runtime Verification conference (RV’23) in Thessaloniki, Greece; where I presented a tutorial on the instrumentation of JVM-based programs and also presented a DSL for specifying instrumentation with BISM. |
---|---|
Jun 29 2023 | Excited to share that our journal article Efficient and expressive bytecode-level instrumentation for Java programs is now available online in the International Journal on Software Tools for Technology Transfer. |
Apr 26 2023 | Presented our paper Sound Concurrent Traces for Online Monitoring at the SPIN 2023 conference co-hosted by ETAPS 2023 at Paris at Sorbonne Université. |
Apr 26 2023 | Presented our paper Opportunistic Monitoring of Multithreaded Programs at the FASE 2023 conference under ETAPS 2023 in Paris at Sorbonne Université. |
Mar 16 2023 | Presented our work on Opportunistic Monitoring of Multithreaded Programs in MTV2 2023 at Université Paris Saclay. |