Renaud Sirdey's publications

Senior researcher at Commissariat à l'énergie atomique (CEA), Saclay, France

Habilité à Diriger des Recherches

Prof. chargé de cours at ENSTA

Main publications:

• L. Cudennec and R. Sirdey, "Parallelism reduction based on pattern substitution in dataflow oriented programming languages", Proceedings of the 12th International Conference on Computational Science, Omaha, USA, 2012 (to appear).
• F. Galea and R. Sirdey, "A parallel simulated annealing approach for the mapping of large process networks", Proceeding of the 2nd IEEE Workshop on Parallel Computing and Optimization, Shanghai, China, 2012 (to appear).
• S. Carpov, J. Carlier, D. Nace and R. Sirdey, "Two-stage hybrid flow shop with precedence constraints and parallel machines at second stage", Computer & Operations Research 39:736-745, 2012 (doi:10.1016/j.cor.2011.05.020).
• T. Goubier, R. Sirdey, S. Louise and V. David, "Sigma-C: a programming model and language for embedded manycores", Lecture Notes in Computer Science 7016:385-394 (Proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing, Melbourne, Australia), 2011 (doi:10.1007/978-3-642-24650-0_33).
• O. Stan, R. Sirdey, J. Carlier and D. Nace, "L'apport de l'optimisation sous incertitude pour les systèmes temps réel", Ecole d'été Temps Réel, Brest, France, 2011.
• S. Carpov, J. Carlier, D. Nace and R. Sirdey, "Probabilistic parameters of conditional task graphs", Proceedings of the 5th IEEE International Workshop on Advanced Distributed and Parallel Network Applications, 376-381, Tirana, Albania, 2011 (doi:10.1109/NBiS.2011.63).
• S. Carpov, J. Carlier, D. Nace and R. Sirdey, "Task ordering and memory management problem for degree of parallelism estimation", Lecture Notes in Computer Science 6842:592-603 (Proceedings of the 17th International Computing and Combinatorics Conference, Dallas, USA), 2011 (doi:10.1007/978-3-642-22685-4_51).
• T. Megel, R. Sirdey and V. David, "Minimizing task preemptions and migrations in multiprocessor optimal real-time schedules", Proceedings of the 31st IEEE Real-Time Systems Symposium, 37-46, San Diego, USA, 2010 (doi:10.1109/RTSS.2010.22).
• R. Sirdey and P. Aubry, "A linear programming approach to general dataflow process networks verification and dimensioning", Electronic Proceedings in Theoretical Computer Science 38:115-119 (Proceedings of the 3rd Interaction and Concurrency Experience Workshop, Amsterdam, Netherlands), 2010 (doi:10.4204/EPTCS.38.11).
• S. Carpov, R. Sirdey, J. Carlier and D. Nace, "Memory bandwidth-constrained parallelism dimensioning for embedded many-core microprocessors", in CPAIOR10 workshop on Combinatorial Optimization for Embedded System Design, Bologna, Italy, 2010.
• R. Sirdey, J. Carlier and D. Nace, "A GRASP for a resource-constrained scheduling problem", International Journal of Innovative Computing and Applications 2:143-149 (special issue on Metaheuristics and Real-World Problems), 2010 (doi:10.1504/ijica.2010.033646, PDF).
• S. Carpov, R. Sirdey, J. Carlier and D. Nace, "Speculative data prefetching for branching structures in dataflow programs", Electronic Notes on Discrete Mathematics 36:119-126 (Proceedings of the 1st International Symposium on Combinatorial Optimization, Hammamet, Tunisia), 2010 (doi:10.1016/j.endm.2010.05.016).
• R.sirdey, J. Carlier and D. Nace, "Approximate resolution of a resource-constrained scheduling problem", Journal of Heuristics 15:1-17, 2009 (doi:10.1007/s10732-007-9052-0, PDF).
• R. Sirdey and F. Maurice, "A linear programming approach to highly precise clock synchronization over a packet network", 4OR 6:393-401, 2008 (doi:10.1007/s10288-007-0060-6, PDF)
• R.Sirdey, "Models and algorithms for the reconfiguration of distributed wireless switching systems", 4OR 6:195-198, 2008 (doi:10.1007/s10288-007-0048-2, PDF).
• R. Sirdey, "Combinatorial optimization problems in wireless switch design", 4OR 5:319-333, 2007 (doi:10.1007/s10288-006-0025-1, PDF).
• R. Sirdey and H. Kerivin, "A branch-and-cut algorithm for a resource-constrained scheduling problem", RAIRO Operations Research 41:235-251 (special issue on Polyhedra and Combinatorial Optimization), 2007 (doi:10.1051/ro:2007021, PDF).
• R.Sirdey, J. Carlier, H. Kerivin and D. Nace, "On a resource-constrained scheduling problem with application to distributed systems reconfiguration", European Journal of Operational Research 183:546-563, 2007 (doi:10.1016/j.ejor.2006.10.011, PDF).
• R. Sirdey and H. Kerivin, "Polyèdres et reconfiguration dynamique d'autocommutateurs répartis", Journées Polyèdres et Optimisation Combinatoire, Avignon, France, 2006 (PDF).
• R. Sirdey and H. Kerivin, "Sur le polytope des sous-tournois sans circuit", Congrès de la Roadéf, Lille, France, 2006 (PDF).
• R. Sirdey, D. Plainfossé and J.-P. Gauthier, "A practical approach to combinatorial optimization problems encountered in the design of a high-availability distributed system", Proceedings of the International Network Optimization Conference, 532-539, Evry, France, 2003.
• M. Combes, A. Coustenis, E. Gendron, O. Lai, L. Vapillon and R. Wittemberg and R. Sirdey, "Spatially resolved images of Titan by means of adaptive optics", Icarus 129:482-497, 1997 (doi:10.1006/icar.1997.5772 PDF).
• M. Combes, A. Coustenis, L. Vapillon, E. Gendron, R. Wittemberg and R. Sirdey, "Images of Titan's surface in the near-IR with ADONIS", Bulletin of the American Astronomical Society 28:1130, 1996.

Patents:

• R. Sirdey and V. David, "Système d'ordonnancement de l'exécution de tâches cadencé par un temps logique vectoriel", WO/2012/045941.
• V. David and R. Sirdey, "Segmented cache memory", WO/2011/125001, filled on March the 9th, 2010, granted on October the 14th, 2011.
• F. Maurice and R. Sirdey, "Method of synchronisation within a base station system", WO/2010/083930, filled on December the 28th, 2009, granted on July the 29th, 2010 (PDF).
• R. Sirdey, "Method and arrangement for selecting one of several nominally identical data streams", EP 1587257, filled on April the 4th, 2004, granted on March the 21st, 2007 (PDF).

Thesis:

• R. Sirdey, "Contributions à l'optimisation combinatoire pour l'embarqué : des autocommutateurs cellulaires aux microprocesseurs massivement parallèles", thèse d'Habilitation à Diriger des Recherches, Université de Technologie de Compiègne, France (PDF, TEL server).
  • Defended on November the 29th, 2011 at the Institut de Physique Théorique, CEA Orme des Merisiers (PDF).
    • Supervisors: Pr J. Carlier (UTC) and Pr D. Nace (UTC); referees: Pr. W. Ben-Ameur (Institut Télécom), Pr. Ph. Chrétienne (Université Paris VI) and Pr. M. Sevaux (Université de Bretagne Sud).
• R. Sirdey, "Modèles et algorithmes pour la reconfiguration de systèmes répartis utilisés en téléphonie cellulaire", PhD Thesis, Université de Technologie de Compiègne, France (PDF, TEL server).
  • Defended on March the 29th, 2007 at Université de Technologie de Compiègne (PDF).
    • Supervisors: Pr J. Carlier (UTC) and Pr D. Nace (UTC); referees: Pr. Ph. Baptiste (École Polytechnique) and Pr. A. R. Mahjoub (Université Paris IX).
  • Work honored by the 2008 "Guy Deniélou" PhD Thesis Prize (PDF).
• R. Sirdey, "Image fusion using wavelets", MSc Thesis, Cranfield University, United-Kingdom, 1998 (PDF).
  • Work honored by the 1998 Texas Instruments Prize for Digital Signal and Image Processing.

Other publications:

• R. Sirdey, "Se mettre d'accord entre ordinateurs - Informatique théorique", La Recherche 418:82-83, April 2008 (PDF).
• R. Sirdey, "Vérifier des programmes en prouvant des théorèmes - Programmes", La Recherche 412:98-99, October 2007 (PDF).
• R. Sirdey, "Optimiser... En découpant des polyèdres", L'Ouvert 115:51-61, July 2007 (PDF).
• R. Sirdey, "Des solutions pour faire bonne figure - Programmation linéaire", La Recherche 407:82-83, April 2007 (PDF). Reprinted in La Recherche numéro spécial jeux mathématiques:62-64, July-August 2008.
• R. Sirdey, "Sudokus et programmation linéaire", Quadrature 63:9-13, January-March 2007 (PDF).
• R. Sirdey, "Sudokus et algorithmes de recuit", Quadrature 62:7-10, October-December 2006 (PDF).

LinkedIn profile.

Last update: Mar. 2012.