Collaborated with:
X.Martorell E.Quiñones L.M.Pinho
Talks about:
open (2) ada (2) techniqu (1) parallel (1) correct (1) analysi (1) safeti (1) compil (1) model (1) task (1)
Person: Sara Royuela
DBLP: Royuela:Sara
Contributed to:
Wrote 2 papers:
- AdaEurope-2017-RoyuelaMQP #ada #correctness #safety
- OpenMP Tasking Model for Ada: Safety and Correctness (SR, XM, EQ, LMP), pp. 184–200.
- AdaEurope-2018-RoyuelaMQP #ada #analysis #compilation #parallel
- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP (SR, XM, EQ, LMP), pp. 141–157.