Chukri Soueidi

Grenoble, France

prof2.png

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.