Jocelyn Sérot

Orcid: 0009-0008-4763-8163

According to our database1, Jocelyn Sérot authored at least 55 papers between 1993 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Hardware Implementation of OCaml Using a Synchronous Functional Language.
Proceedings of the Practical Aspects of Declarative Languages, 2024

2023
Accelerating OCaml Programs on FPGA.
Int. J. Parallel Program., 2023

Work-in-Progress: mixing computation and interaction on FPGA.
Proceedings of the International Conference on Embedded Software, 2023

2022
A Virtual Machine Approach for High-level FPGA Programming.
Proceedings of the 30th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2022

2020
HoCL: High level specification of dataflow graphs.
Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2019
Dataflow-Functional High-Level Synthesis for Coarse-Grained Reconfigurable Accelerators.
IEEE Embed. Syst. Lett., 2019

The CAPH Language, Ten Years After.
Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2019

2018
Bio-inspired heterogeneous architecture for real-time pedestrian detection applications.
J. Real Time Image Process., 2018

Accelerating CNN inference on FPGAs: A Survey.
CoRR, 2018

2017
Tactics to Directly Map CNN Graphs on Embedded FPGAs.
IEEE Embed. Syst. Lett., 2017

Hardware Automated Dataflow Deployment of CNNs.
CoRR, 2017

2016
High-level dataflow programming for real-time image processing on smart cameras.
J. Real Time Image Process., 2016

Dataflow object detection system for FPGA-based smart camera.
IET Circuits Devices Syst., 2016

Demo GPStudio: a toolchain for FPGA-based Smart Cameras: Demo Paper.
Proceedings of the 10th International Conference on Distributed Smart Camera, 2016

A Holistic Approach for Optimizing DSP Block Utilization of a CNN implementation on FPGA.
Proceedings of the 10th International Conference on Distributed Smart Camera, 2016

2015
Parallel image gradient extraction core for FPGA-based smart cameras.
Proceedings of the 9th International Conference on Distributed Smart Camera, 2015

2014
High-Level Dataflow Programming for Reconfigurable Computing.
Proceedings of the 26th IEEE International Symposium on Computer Architecture and High Performance Computing Workshop, 2014

2013
FPGA-based smart camera mote for pervasive wireless network.
Proceedings of the Seventh International Conference on Distributed Smart Cameras, 2013

Distributed FPGA-based smart camera architecture for computer vision applications.
Proceedings of the Seventh International Conference on Distributed Smart Cameras, 2013

DreamCAM: A FPGA-based platform for smart camera networks.
Proceedings of the Seventh International Conference on Distributed Smart Cameras, 2013

2012
Harnessing parallelism in FPGAs using the hume language.
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

2011
Implementing Stream-Processing Applications on FPGAs: A DSL-Based Approach.
Proceedings of the International Conference on Field Programmable Logic and Applications, 2011

2010
A New High-Level Methodology for Programming FPGA-Based Smart Camera.
Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

2009
Une bibliothèque métaprogrammée pour la programmation parallèle.
Tech. Sci. Informatiques, 2009

Advanced Adaptive Sonar for Mapping Applications.
J. Intell. Robotic Syst., 2009

2008
Functional Meta-programming for Parallel Skeletons.
Proceedings of the Computational Science, 2008

Meta-programming Applied to Automatic SMP Parallelization of Linear Algebra Code.
Proceedings of the Euro-Par 2008, 2008

2007
Formal Semantics Applied to the Implementation of a Skeleton-Based Parallel Programming Library.
Proceedings of the Parallel Computing: Architectures, 2007

A Configurable Window-Based Processing Element for Image Processing on Smart Cameras.
Proceedings of the IAPR Conference on Machine Vision Applications (IAPR MVA 2007), 2007

Hardware, Design and Implementation Issues on a Fpga-Based Smart Camera.
Proceedings of the 2007 First ACM/IEEE International Conference on Distributed Smart Cameras, 2007

2006
Quaff: efficient C++ design for parallel skeletons.
Parallel Comput., 2006

Towards Formally Verifiable WCET Analysis for a Functional Programming Language.
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

2005
E.V.E., An Object Oriented SIMD Library.
Scalable Comput. Pract. Exp., 2005

Managing Algorithmic Skeleton Nesting Requirements in Realistic Image Processing Applications: The Case of the SKiPPER-II Parallel Programming Environment's Operating Model.
EURASIP J. Adv. Signal Process., 2005

The Embounded project (project start paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

A Parallel Implementation of a 3D Reconstruction Algorithm for Real-Time Vision.
Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

2004
FSM-Hume: programming resource-limited systems using bounded automata.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

EVE, an Object Oriented SIMD Library.
Proceedings of the Computational Science, 2004

2003
Real-time implementation of an efficient Golay correlator (EGC) applied to ultrasonic sensorial systems.
Microprocess. Microsystems, 2003

FSM-Hume is finite state.
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

CamlG4 : une bibliothèque de calcul parallèle pour Objective Caml.
Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003

A Beowulf-Class Architecture Proposal for Real-Time Embedded Vision.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002
Skeletons for parallel image processing: an overview of the SKIPPER project.
Parallel Comput., 2002

2001
Tagged-Token Data-Flow for Skeletons.
Parallel Process. Lett., 2001

Fast prototyping of parallel-vision applications using functional skeletons.
Mach. Vis. Appl., 2001

Implementation of a Skeleton-Based Parallel Programming Environment Supporting Arbitrary Nesting.
Proceedings of the High-Level Parallel Programming Models and Supportive Environments, 2001

2000
CAMLFLOW: a CAML to data-flow graph translator.
Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

1999
SKiPPER: A Skeleton-Based Parallel Programming Environment for Real-Time Image Processing Applications.
Proceedings of the Parallel Computing Technologies, 1999

Explicit Parallelism.
Proceedings of the Research Directions in Parallel Functional Programming, 1999

1998
Fast Prototyping of Image Processing Applications Using Functional Skeletons on a MIMD-DM Architecture.
Proceedings of IAPR Workshop on Machine Vision Applications, 1998

1997
Embodying Parallel Functional Skeletons: An Experimental Implementation on Top of MPI.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1995
A Visual Dataflow Programming Environment for a Real Time Parallel Vision Machine.
J. Vis. Lang. Comput., 1995

1993
Functional programming on a dataflow architecture: Applications in real-time image processing.
Mach. Vis. Appl., 1993

A Functional Data-flow Architecture Dedicated to Real-time Image Processing.
Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993

A wavefront array processor for on the fly processing of digital video streams.
Proceedings of the International Conference on Application-Specific Array Processors, 1993


  Loading...