Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Omar Inverso
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
PPoPP 2020 profile
Not registered as user
Name:
Omar Inverso
Affiliation:
Gran Sasso Science Institute
Contributions
2024
FTfJP
Keynote Speaker of Static Analysis for Software Security: Detecting Data Races in C within the FTfJP 2024-track
2020
Principles and Practice of Parallel Programming
Author of Parallel and Distributed Bounded Model Checking of Multi-threaded Programs within the Main Conference-track
Share
x
Sat 3 May 19:59
