| 63 | | * Kento Emoto, Frédéric Loulergue, and Julien Tesson. A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. In ITP, LNCS. Springer, 2014. |
| 64 | | * Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem. In ACM Symposium on Applied Computing (SAC), pages 1577-1584. ACM Press, 2014 |
| 65 | | * Frédéric Loulergue, Virginia Niculescu, and Julien Tesson. Implementing powerlists with Bulk Synchronous Parallel ML. In SYNASC. IEEE, 2014 |
| | 63 | * Kento Emoto, Frédéric Loulergue, and Julien Tesson. [http://dx.doi.org/10.1007/978-3-319-08970-6_17 A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction]. In ITP, LNCS. Springer, 2014. |
| | 64 | * Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. [http://dx.doi.org/10.1145/2554850.2554912 Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem]. In ACM Symposium on Applied Computing (SAC), pages 1577-1584. ACM Press, 2014 |
| | 65 | * Frédéric Loulergue, Virginia Niculescu, and Julien Tesson. [http://dx.doi.org/10.1109/SYNASC.2014.51 Implementing powerlists with Bulk Synchronous Parallel ML]. In SYNASC. IEEE, 2014 |
