Selected Publications

Parallel programming

J. Falcou, J. Sérot, J.T. Lapreste, L. Pech. Meta-programming Applied to Automatic SMP Parallelization of Linear Algebra Code. 14th International European Conference on Parallel and Distributed Computing (Europar 08), volume 5168 of LNCS, pp 729-738, 2008. [bib]

J. Sérot, J. Falcou. Functional meta-programming for parallel skeletons. International Conference on Computational Science, volume 5101 of LNCS, pp 154-163, 2008. [bib]

J. Sérot et J. Falcou. Métaprogrammation fonctionnelle appliquée à la génération d'un DSL dédié à la programmation parallèle. 19^eme Journées Francaises des Langages Applicatifs, 2008 [bib]

J. Falcou, J. Sérot. Formal semantics applied to the implementation of a skeleton-based parallel programming library. International Conference on Parallel Computing, Aachen, 4-7 sep 2007. [bib]

J. Falcou, J. Sérot, T. Chateau, J.T. Lapreste. QUAFF : Efficient C++ Design for Parallel Skeletons. Parallel Computing, 32:604-615, 2006. [bib]

J. Falcou, T. Chateau, J. Sérot, J.T. Lapreste. Real time parallel implementation of a particle filter based visual tracking. ECCV Workshop on Computation Intensive Methods for Computer Vision, Graz, Austria, May 2006. [bib]

J. Falcou and J. Sérot. EVE : an object-oriented SIMD library. Scalable Computing: Practice and Experience, 6(4):31-42, 2005 [bib]

J. Falcou, J. Sérot. Application of template-based metaprogramming compilation techniques to the efficient implementation of image processing algorithms on simd-capable processors. Advanced Concepts for Intelligent Vision Systems, Brussels, 2004 [bib]

J. Falcou, J. Sérot, T. Chateau, F. Jurie. Implementation of a real-time 3D reconstruction algorithm on a hybrid cluster. Intl Conference on Parallel Processing (PARCO'05), Malaga, 2005 [bib]

J. Falcou and J. Sérot. Une bibliothèque de calcul parallèle pour Objective Caml. 14^eme Journées Francaises des Langages Applicatifs, 2003 [bib | pdf]

J. Sérot and D. Ginhac. Skeletons for parallel image processing : an overview of the SKiPPER project. Parallel Computing, 28(12):1785-1808, 2002 [bib]

J. Sérot. Tagged-token data-flow for skeletons. Parallel Processing Letters, 11(4):377-392, 2001 [bib]

J. Sérot, D. Ginhac, R. Chapuis, and J.P. Dérutin. Fast prototyping of parallel vision applications using functional skeletons. Journal of Machine Vision and Applications, 12(6):271-290, 2001 [bib | Abstract]

J. Sérot. Explicit parallelism. In Greg J. Michaelson and K. Hammond, editors, Researc Directions in Parallel Functional Programming. Springer Verlag, 1999. [bib | http]

J. Sérot, D. Ginhac, and J.P. Dérutin. SKiPPER: a skeleton-based parallel programming environment for real-time image processing applications. 5th International Conference on Parallel Computing Technologies (PaCT-99), volume 1662 of LNCS, pages 296-305. Springer, 1999 [bib | .ps.gz]

D. Ginhac, J. Sérot, and J.P. Dérutin. Fast prototyping of image processing applications using functional skeletons on mimd-dm architecture. In IAPR Workshop on Machine Vision Applications, 1998 [bib | .ps.gz]

D. Ginhac, J. Sérot, and J.P. Dérutin. Vers un outil d'aide a la parallélisation fondé sur les squelettes. In 16^eme Colloque GRETSI sur le traitement du signal et des images, 1997 [bib | .ps.gz]

J. Sérot. Embodying parallel functional skeletons: an experimental implementation on top of MPI. In 3rd Intl Euro-Par Conference on Parallel Processing, 1999 [bib | .ps.gz]

Data-flow and functional programming

J. Sérot. The semantics of a purely functional graph notation system. 9th Symposium on Trends in Functional Programming, 2008. [bib]

K. Hammond, R. Dyckhoff, C. Ferdinand, R. Heckmann, M. Hofmann, S. Jost, H.W. Loidl, G. Michaelson, R. Pointon, N. Scaife, J. Serot and Andy Wallace. Towards Formally Verifiable WCET Analysis for a Functional Programming Language. 6th International Workshop on Worst-Case Execution Time Analysis (WCET), Dresden, Germany, July 2006. [bib]

G. Michaelson, K. Hammond and J. Sérot. The finite state-ness of FSM-Hume. In S. Gilmore, editor, Trends in Functional Programming 4. Intellect, 2004 [bib]

G. Michaelson, K. Hammond and J. Sérot. Programming resource-limited systems using bounded automata. In 19th Annual ACM Symposium on Applied Computing>, Nycosia, 2004 [bib]

J. Sérot. CAMLFLOW: a CAML to data-flow graph translator. In S. Gilmore, editor, Trends in Functional Programming 2. Intellect, 2001 [bib | Abstract]

B. Zavidovique, J. Sérot, and G.M. Quénot. Massively parallel dataflow computer dedicated to real time image processing. Integrated Computer Aided Engineering, 4(1):9-29, 1997 [bib]

J. Sérot, G. M. Quénot, and B. Zavidovique. De la programmation fonctionnelle au traitement d'images temps réel. Technique et Science Informatiques, 14(7):839-865, 1995 [bib]

J. Sérot, G. M. Quénot, and B. Zavidovique. A visual dataflow programming environment for a real-time parallel vision machine. Journal of Visual Languages and Computing, 6:327-347, 1995 [bib]

J. Sérot, G. M. Quénot, and B. Zavidovique. Functional programming on a data-flow architecture: Applications in real time image processing. Intl Journal of Machine Vision and Applications, 7(1):44-56, 1993 [bib]

J. Sérot, G.M. Quénot, and B. Zavidovique. Des langages fonctionnels au traitement d'image temps réel: Un environnement de programmation pour une architecture flots de données. In 5^emes Rencontres du Parallélisme, 1993 [bib]

J. Sérot and G. M. Quénot. Real-time image processing using functional programming on a dataflow architecture. In International Workshop on Computer Architecture and Machine Perception, 1991 [bib]

Harware architectures for perception systems

F. Dias, F. Berry, J. Sérot, F. Marmoiton. Embedded image processing on a FPGA-based smart camera. 17th Intl Conf of Field Programmable Logic and Applications, Amsterdam, 27-29 aout 2007. [bib]

F. Dias, F. Berry, J. Sérot, F. Marmoiton. A configurable window-Based processing element for image processing on smart cameras. IAPR Workshop on Machine Vision Applications Tokyo, 16-18 mai 2007. [bib]

F. Dias, P. Chalimbaud, F. Berry, F. Marmoiton, J. Sérot. Embedded early vision systems : implementation proposal and hardware architecture. Cognitive Systems with Interactive Sensors, Paris, Mar. 2006. [bib]

A. Hernandez, J. Urena, J.J. Garci, M. Mazo, D. Hernanz, J.P. Dérutin, J. Sérot. Real-time implementation of an efficient Golay correlator applied to ultrasonic sensorial systems. Microprocessors and Microsystems, 27(8):397-406, 2003 [bib]

B. Zavidovique, C. Fortunel, G.M. Quénot, A. Safir, J. Sérot, and F. Verdier. Automatic synthesis of vision automata. In Magdy A. Bayoumi, editor, VLSI Design Methodologies for Digital Signal Processing Architectures, Kluwer Academic Publishers, 1994 [bib]

G. M. Quénot, I.C. Kraljic, J. Sérot, and B. Zavidovique. A reconfigurable compute engine for real-time vision automata prototyping. In IEEE Workshop on FPGAs for Custom Computing Machines, 1994 [bib]

O. Ecklé, G. M. Quénot, and J. Sérot. Integrating transputer arrays within a data-flow architecture: Applications in real-time image processing. In Transputers, 1994 [bib]

J. Sérot, G.M. Quénot, and B. Zavidovique. A functional data-flow architecture dedicated to real-time image processing. In IFIP WG10.3 Working Conference on Architectures and Compilation techniques for fine and medium grain parallelism, 1993 [bib]

G. M. Quénot, Christophe Coutelle, J. Sérot, and B. Zavidovique. A wavefront array processor for on the fly processing of digital video streams. In International Conference on Application-Specific Array Processors, 1993 [bib]

G. M. Quénot, C. Coutelle, J. Sérot, and B. Zavidovique. Implementing image processing applications on a real-time architecture. In International Workshop on Computer Architecture and Machine Perception, 1993 [bib]

J. Sérot. Mise en oeuvre d'un formalisme fonctionnel pour la programmation d'une architecture flots de données dédiée au traitement d'images temps réel. Thèse de doctorat en sciences, Université d'Orsay - Paris XI, 1993 [bib]

Other publications

D. Ginhac, J. Sérot, and J.P. Dérutin. Evaluation de l'outil SynDEx en vue de prototypage rapide d'applications de traitement d'images sur machine mimd-dm. Traitement du Signal, 14(6):605-613, 1997 [bib | Abstract]

J. Sérot. Writing an edge tracker in ML: a case study. Technical report, Dept of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, 1996. Research memorandum no 96/13 [bib | .ps.Z]