Efficient Abstractions for GPGPU Programming
Bourgoin, Mathias, Chailloux, Emmanuel, Lamotte, Jean-Luc
Published in International journal of parallel programming (01.08.2014)
Published in International journal of parallel programming (01.08.2014)
Get full text
Journal Article
Accelerating OCaml Programs on FPGA
Sylvestre, Loïc, Chailloux, Emmanuel, Sérot, Jocelyn
Published in International journal of parallel programming (01.06.2023)
Published in International journal of parallel programming (01.06.2023)
Get full text
Journal Article
Programming microcontrollers through high-level abstractions: The OMicroB project
Varoumas, Steven, Pesin, Basile, Vaugon, Benoît, Chailloux, Emmanuel
Published in Journal of computer languages (Online) (01.11.2023)
Published in Journal of computer languages (Online) (01.11.2023)
Get full text
Journal Article
High Level Data Structures for GPGPU Programming in a Statically Typed Language
Bourgoin, Mathias, Chailloux, Emmanuel, Lamotte, Jean-Luc
Published in International journal of parallel programming (01.04.2017)
Published in International journal of parallel programming (01.04.2017)
Get full text
Journal Article
Work-in-Progress: mixing computation and interaction on FPGA
Sylvestre, Loic, Chailloux, Emmanuel, Serot, Jocelyn
Published in 2023 International Conference on Embedded Software (EMSOFT) (17.09.2023)
Published in 2023 International Conference on Embedded Software (EMSOFT) (17.09.2023)
Get full text
Conference Proceeding
Memory Consumption Analysis for a Functional and Imperative Language
Salvucci, Jérémie, Chailloux, Emmanuel
Published in Electronic notes in theoretical computer science (10.12.2016)
Published in Electronic notes in theoretical computer science (10.12.2016)
Get full text
Journal Article
Objective Caml for Multicore Architectures
Bourgoin, Mathias, Canou, Benjamin, Chailloux, Emmanuel, Jonquet, Adrien, Wang, Philippe
Published in arXiv.org (10.06.2020)
Published in arXiv.org (10.06.2020)
Get full text
Paper
Journal Article
Low Cost High Integrity Platform
Lecomte, Thierry, Deharbe, David, Sabatier, Denis, Prun, Etienne, Péronne, Patrick, Chailloux, Emmanuel, Varoumas, Steven, Susungi, Adilla, Conchon, Sylvain
Year of Publication 13.05.2020
Year of Publication 13.05.2020
Get full text
Journal Article
Static Analysis of Communicating Processes using Symbolic Transducers
Get full text
Paper
Journal Article
Non-Intrusive Structural Coverage for Objective Caml
Wang, Philippe, Jonquet, Adrien, Chailloux, Emmanuel
Published in Electronic notes in theoretical computer science (25.02.2011)
Published in Electronic notes in theoretical computer science (25.02.2011)
Get full text
Journal Article
Low Cost High Integrity Platform
Lecomte, Thierry, Deharbe, David, Sabatier, Denis, Prun, Etienne, Péronne, Patrick, Chailloux, Emmanuel, Varoumas, Steven, Adilla Susungi, Conchon, Sylvain
Published in arXiv.org (13.05.2020)
Get full text
Published in arXiv.org (13.05.2020)
Paper
Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark
Hartel, Pieter H., Feeley, Marc, Alt, Martin, Augustsson, Lennart, Baumann, Peter, Beemster, Marcel, Chailloux, Emmanuel, Flood, Christine H., Grieskamp, Wolfgang, Van Groningen, John H. G., Hammond, Kevin, Hausman, Bogumil, Ivory, Melody Y., Jones, Richard E., Kamperman, Jasper, Lee, Peter, Leroy, Xavier, Lins, Rafael D., Loosemore, Sandra, Röjemo, Niklas, Serrano, Manuel, Talpin, Jean-Pierre, Thackray, Jon, Thomas, Stephen, Walters, Pum, Weis, Pierre, Wentworth, Peter
Published in Journal of functional programming (01.07.1996)
Published in Journal of functional programming (01.07.1996)
Get full text
Journal Article