Login / Signup
Célia Tassadit Ait Kaci
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Error Detection
Nested Transactions
High Performance Computing
Object Oriented Languages
Top Venues
Correctness@SC
</>
Publications
</>
Emmanuelle Saillard
,
Marc Sergent
,
Célia Tassadit Ait Kaci
,
Denis Barthou
Static Local Concurrency Errors Detection in MPI-RMA Programs.
Correctness@SC
(2022)