? Data Parallel Haskell : Mixing old and new glue. ? Rapport technique n611, QMW CS, 1992. ,
Scalable SMT-based verification of GPU kernel functions, Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, FSE '10, pp.187-196, 2010. ,
DOI : 10.1145/1882291.1882320
? Towards parallel programming models for predictability In : 12th International Workshop on Worst-Case Execution Time Analysis, pp.48-58, 2012. ,