Passer au contenu principal

Camille Coti

Professeure
Formation M. Eng. Télécom SudParis (Evry), Ph.D. Paris Saclay
Bureau A-4466
Téléphone 514 396-8763
Présentation

Département de génie logiciel et des TI

Axes de recherche :

  • Systèmes logiciels, multimédia et cybersécurité

Expertises :

  • Support d’exécution pour le calcul distribué
  • Analyse de performance
  • Tolérance aux pannes
Publications: conference_item
IEEE International Symposium on Parallel & Distributed Processing (IPDPS)
Publications: article

Publications: conference_item
13ème congrès annuel de la société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'12)
Publications: conference_item
25th European Conference on Operational Research (EURO)
Publications: conference_item
EuroMPI/ASIA '14: Proceedings of the 21st European MPI Users' Group Meeting
Publications: conference_itemau

Publications: conference_item
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM
Publications: conference_item
5th IEEE International Conference on e-Science
Publications: article

Publications: book_section
Distributed systems: Design and algorithms
Publications: conference_item
International Conference on Parallel Computing (ParCo)
Publications: conference_item
International Parallel Computing conference (ParCo2009)
Publications: article

Publications: conference_item
18ème congrès annuel de la société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF)
Publications: article

Publications: conference_item
IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum
Publications: article

Publications: conference_item
International Conference on High Performance Computing and Simulation, HPCS
Publications: conference_item
Algorithms and Architectures for Parallel Processing : 12th International Conference, ICA3PP
Publications: conference_item
IEEE/ACM International Workshop on HPC User Support Tools (HUST) and Workshop on Programming and Performance Visualization Tools (ProTools)
Publications: conference_item
International Workshop on Petri Nets and Software Engineering (PNSE'15)
Publications: thesis

Publications: conference_itemau

Publications: conference_item
IEEE 2nd International Conference on Big Data Security on Cloud (BigDataSecurity), IEEE International Conference on High Performance and Smart Computing (HPSC), and IEEE International Conference on Intelligent Data and Security (IDS)
Publications: book_section
Innovative research and applications in next-generation high performance computing
Publications: conference_item
Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters
Publications: conference_item
19th IEEE International Conference on Computational Science and Engineering, 14th IEEE International Conference on Embedded and Ubiquitous Computing and 15th International Symposium on Distributed Computing and Applications to Business, Engineering and Sc
Publications: book_section
Scalable computing and communications: Theory and practice
Publications: conference_item
Euro-Par 2018 : Parallel Processing : 24th International Conference on Parallel and Distributed Computing
Publications: conference_item
IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Publications: conference_item
6th Workshop on Synthesis of Complex Parameters (SynCoP)
Publications: conference_item
Euro-Par 2009 - Parallel Processing : 15th International Euro-Par Conference
Publications: conference_item
ACM/IEEE conference on Supercomputing
Publications: conference_item
8th IEEE International Symposium on Cluster Computing and the Grid
Publications: conference_item
International Workshop on Petri Nets and Software Engineering
Publications: conference_item
Federated Conference on Computer Science and Information Systems, FedCSIS
Publications: conference_item
16th International Conference on Information Technology Based Higher Education and Training (ITHET)
Publications: conference_item
International Conference on Information Technology Based Higher Education and Training, ITHET
Publications: conference_item
Parallel Processing and Applied Mathematics : 13th International Conference, PPAM
Publications: conference_item
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks : 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM
Publications: conference_item
Cray User Group (CUG)
Publications: article

Publications: conference_item
Computational Science – ICCS 2019 : 19th International Conference
Publications: conference_item
26th International Conference on Engineering of Complex Computer Systems (ICECCS)
Publications: article

Publications: conference_item
Euro-Par : Parallel Processing : 27th International Conference on Parallel and Distributed Computing
Publications: conference_item
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 14th European PVM/MPI User's Group Meeting
Publications: conference_item
19th International Symposium on Parallel and Distributed Computing, ISPDC
Publications: conference_item
Euro-Par : Parallel Processing : 28th International Conference on Parallel and Distributed Computing
Publications: book_section
Large-scale computing
Publications: conference_item
Computer Aided Verification : 30th International Conference, CAV
Publications: conference_item
23rd Annual Conference on Neural Information Processing Systems, NIPS
Publications: book_section
Large-scale computing
Publications: conference_itemau

Cours et encadrements Publications
Compte rendu de conférence (38)

Camille Coti, Allen D. Malony, Sameer Shende, Kevin Huck, Jordi Rodriquez, Yann Pfau-Kempf, Markus Battarbee, Urs Ganse, Minna Palmroth. 2023. « Integration of modern HPC performance analysis in vlasiator for sustained exascale ». Cray User Group (CUG) (Helsinki, Finland, May 06-12, 2023)

Camille Coti, Allen D. Malony. 2022. « SKaMPI-OpenSHMEM: Measuring OpenSHMEM communication routines ». OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks : 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM (En ligne, Sept. 14-16, 2021) p. 63-80. Springer Science and Business Media.

Camille Coti, Laure Petrucci, Daniel Alberto Torres Gonzalez. 2022. « A formal model for fault tolerant parallel matrix factorization ». 26th International Conference on Engineering of Complex Computer Systems (ICECCS) (Hiroshima, Japan, Mar. 26-30, 2022) p. 62-70. Institute of Electrical and Electronics Engineers Inc..

Alister Johnson, Camille Coti, Allen D. Malony, Johannes Doerfert. 2022. « MARTINI: The little match and replace tool for automatic application rewriting with code examples ». Euro-Par : Parallel Processing : 28th International Conference on Parallel and Distributed Computing (Glasgow, United Kingdom, Aug. 22-26, 2022) p. 19-34. Springer Science and Business Media.

Camille Coti, Laure Petrucci, Daniel A. Torres González. 2021. « Fault-tolerant LU factorization is low cost ». Euro-Par : Parallel Processing : 27th International Conference on Parallel and Distributed Computing (Lisbon, Portugal, Sept. 01-03, 2021) p. 536-549. Springer Science and Business Media.

C. Coti, J. E. Denny, K. Huck, S. Lee, A. D. Malony, S. Shende, J. S. Vetter. 2020. « OpenACC profiling support for clang and LLVM using Clacc and TAU ». IEEE/ACM International Workshop on HPC User Support Tools (HUST) and Workshop on Programming and Performance Visualization Tools (ProTools) (En ligne, Nov. 18, 2020) p. 38-48. Institute of Electrical and Electronics Engineers Inc..

Camille Coti, Allen D. Malony. 2020. « On the road to DiPOSH: Adventures in high-performance openSHMEM ». Parallel Processing and Applied Mathematics : 13th International Conference, PPAM (Bialystok, Poland, Sept. 08-11, 2019) p. 250-260. Springer.

Joseph Ben Geloun, Camille Coti, Allen D. Malony. 2020. « On-the-fly optimization of parallel computation of symbolic symplectic invariants ». 19th International Symposium on Parallel and Distributed Computing, ISPDC (Warsaw, Poland, July 05-08, 2020) p. 102-109. Institute of Electrical and Electronics Engineers Inc..

Camille Coti, Daniel Alberto Torres Gonzalez, Laure Petrucci. 2019. « Fault-tolerant matrix factorisation: a formal model and proof ». 6th Workshop on Synthesis of Complex Parameters (SynCoP) (Prague, Czech Republic, Apr. 06-11, 2019)

Camille Coti, David Monniaux, Hang Yu. 2019. « Parallel parametric linear programming solving, and application to polyhedral computations ». Computational Science – ICCS 2019 : 19th International Conference (Faro, Portugal, June 12-14, 2019) p. 566-572. Springer.

Franck Butelle, Camille Coti. 2018. « Distributed snapshot for rollback-recovery with one-sided communications ». International Conference on High Performance Computing and Simulation, HPCS (Orleans, France, July 16-20, 2018) p. 614-620. Institute of Electrical and Electronics Engineers Inc..

Camille Coti, Sami Evangelista, Laure Petrucci. 2018. « One-sided communications for more efficient parallel state space exploration over RDMA clusters ». Euro-Par 2018 : Parallel Processing : 24th International Conference on Parallel and Distributed Computing (Turin, Italy, Aug. 27-31, 2018) p. 432-446. Springer.

Camille Coti, Sami Evangelista, Laure Petrucci. 2018. « State compression based on one-sided communications for distributed model checking ». IEEE International Conference on Engineering of Complex Computer Systems, ICECCS (Melbourne, Australia, Dec. 12-14, 2018) p. 41-50. Institute of Electrical and Electronics Engineers Inc..

Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci. 2018. « Quasi-optimal partial order reduction ». Computer Aided Verification : 30th International Conference, CAV (Oxford, United Kingdom, July 14-17, 2018) p. 354-371. Springer.

F. Butelle, C. Coti, E. Leclercq, F. Roupin. 2017. « Une version Multithread du solveur BiqCrunch ». 18ème congrès annuel de la société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF) (Metz, France, 22-24 fév. 2017)

Camille Coti. 2017. « Scalable, robust, fault-tolerant parallel QR factorization ». 19th IEEE International Conference on Computational Science and Engineering, 14th IEEE International Conference on Embedded and Ubiquitous Computing and 15th International Symposium on Distributed Computing and Applications to Business, Engineering and Sc (Paris, France, Aug. 24-26, 2016) p. 626-633. Institute of Electrical and Electronics Engineers Inc..

Camille Coti, Etienne Leclercq, Frédéric Roupin, Franck Butelle. 2017. « Solving 0-1 quadratic problems with two-level parallelization of the BiqCrunch solver ». Federated Conference on Computer Science and Information Systems, FedCSIS (Prague, Czech Republic, Sept. 03-06, 2017) p. 445-452. Institute of Electrical and Electronics Engineers Inc..

Camille Coti, Jean-Vincent Loddo, Emmanuel Viennet. 2017. « An overview of the options available for practical activities in distributed computing ». 16th International Conference on Information Technology Based Higher Education and Training (ITHET) (Ohrid, Macedonia, July 10-12, 2017)

Camille Coti. 2016. « Exploiting redundant computation in communication-avoiding algorithms for algorithm-based fault tolerance ». IEEE 2nd International Conference on Big Data Security on Cloud (BigDataSecurity), IEEE International Conference on High Performance and Smart Computing (HPSC), and IEEE International Conference on Intelligent Data and Security (IDS) (New York City, NY, USA, Apr. 09-10, 2016) p. 214-219. Institute of Electrical and Electronics Engineers Inc..

Camille Coti. 2016. « Parametric, probabilistic, timed resource discovery system ». Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Eindhoven, Netherlands, Apr. 02-03, 2016) p. 53-62. Open Publishing Association.

Camille Coti, Charles Lakos, Laure Petrucci. 2016. « Formally proving and enhancing a self-stabilising distributed algorithm ». International Workshop on Petri Nets and Software Engineering (Torun, Poland, June 20-21, 2016) p. 255-274. CEUR-WS.

Étienne André, Camille Coti, Hoang Gia Nguyen. 2015. « Enhanced distributed behavioral cartography of parametric timed automata ». Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM (Paris, France, Nov. 03-05, 2015) p. 319-335. Springer.

C. Coti, S. Evangelista, K. Klai. 2015. « Queue-less, uncentralized resource discovery: Formal specification and verification ». International Workshop on Petri Nets and Software Engineering (PNSE'15) (Brussels, Belgium, June 22-23, 2015) p. 315-316. CEUR-WS.

Camille Coti, Jean-Vincent Loddo, Emmanuel Viennet. 2015. « Practical activities in network courses for MOOCs, SPOCs and eLearning with Marionnet ». International Conference on Information Technology Based Higher Education and Training, ITHET (Lisbon, Portugal, June 11-13, 2015) Institute of Electrical and Electronics Engineers Inc..

Étienne André, Camille Coti, Sami Evangelista. 2014. « Distributed behavioral cartography of timed automata ». EuroMPI/ASIA '14: Proceedings of the 21st European MPI Users' Group Meeting (Kyoto, Japan, Sept. 09-12, 2014) p. 109-114. Association for Computing Machinery.

L. Alfandari, F. Butelle, C. Coti, L. Finta, L. Létocart, G. Plateau, F. Roupin, A. Rozenknop, R. Wolfler Calvo. 2012. « Extended abstract on method used by Senior Team S26 for the ROADEF/EURO 2012 Challenge ». 13ème congrès annuel de la société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'12) (Anger, France, Apr. 11-13, 2012)

Laurent Alfandari, Franck Butelle, Camille Coti, Lucian Finta. 2012. « Combining VNS, simulated annealing, and a greedy heuristic for the ROADEF/EURO 2012 challenge ». 25th European Conference on Operational Research (EURO) (Vilnius, Lithuania, July 2012)

Christophe Cérin, Camille Coti, Michel Koskas. 2012. « Fault tolerance logical network properties of irregular graphs ». Algorithms and Architectures for Parallel Processing : 12th International Conference, ICA3PP (Fukuoka, Japan, Sept. 04-07, 2012) p. 377-391.

Franck Butelle, Camille Coti. 2011. « A model for coherent distributed memory for race condition detection ». IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (Anchorage, AK, USA, May 16-20, 20211) p. 584-590.

Emmanuek Agullo, Camille Coti, Jack Dongarra, Thomas Herault, Julien Langou. 2010. « QR factorization of tall and skinny matrices in a grid computing environment ». IEEE International Symposium on Parallel & Distributed Processing (IPDPS) (Atlanta, GA, USA, Apr. 19-23, 2010)

George Bosilca, Camille Coti, Thomas Herault, Pierre Lemarinier, Jack Dongarra. 2010. « Constructing resiliant communication infrastructure for runtime environments ». International Parallel Computing conference (ParCo2009) (Lyon, France, Sept. 01-04, 2009) p. 441-451. IOS Press BV.

Pavel Bar, Camille Coti, Derek Groen, Thomas Herault, Valentin Kravtsov, Assaf Schuster, Martin Swain. 2009. « Running parallel applications with topology-aware grid middleware ». 5th IEEE International Conference on e-Science (Oxford, England, Dec. 09-11, 2009) p. 292-299. IEEE Computer Society.

G. Bosilca, C. Coti, T. Herault, P. Lemarinier, J. Dongarra. 2009. « Constructing resilient communication infrastructure for runtime environments ». International Conference on Parallel Computing (ParCo) (Lyon, France, Sept. 01-04, 2009)

Camille Coti, Thomas Herault, Franck Cappello. 2009. « MPI applications on grids: A topology aware approach ». Euro-Par 2009 - Parallel Processing : 15th International Euro-Par Conference (Delft, Netherlands, Aug. 25-28, 2009) p. 466-477.

Peter Sollich, Matthew J. Urry, Camille Coti. 2009. « Kernels and learning curves for Gaussian process regression on random graphs ». 23rd Annual Conference on Neural Information Processing Systems, NIPS p. 1723-1731.

Camille Coti, Thomas Herault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello. 2008. « Grid services for MPI ». 8th IEEE International Symposium on Cluster Computing and the Grid (Lyon, France, May 19-22, 2008) p. 417-424.

Camille Coti, Ala Rezmerita, Thomas Hérault, Franck Cappello. 2007. « Grid services for MPI ». Recent Advances in Parallel Virtual Machine and Message Passing Interface : 14th European PVM/MPI User's Group Meeting (Paris, France, Sept. 30-Oct. 03, 2007) p. 393-394. Springer.

Camille Coti, Thomas Herault, Pierre Lemarinier, Laurence Pilard, Ala Rezmerita, Eric Rodriguez, Franck Cappello. 2006. « Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI ». ACM/IEEE conference on Supercomputing (Tampa, FL, USA, Nov. 11-17, 2006)

Article publié dans une revue, révisé par les pairs (7)

Camille Coti, David Monniaux, Hang Yu. 2021. « A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations ». Concurrency and Computation: Practice and Experience. vol. 33 , nº 6.

Camille Coti, Laure Petrucci, César Rodríguez, Marcelo Sousa. 2021. « Quasi-optimal partial order reduction ». Formal Methods in System Design. vol. 57 , nº 1. p. 3-33.

Franck Butelle, Laurent Alfandari, Camille Coti, Lucian Finta, Lucas Létocart, Gérard Plateau, Frédéric Roupin, Antoine Rozenknop, Roberto Wolfler Calvo. 2016. « Fast machine reassignment ». Annals of Operations Research. vol. 242 , nº 1. p. 133-160.

Franck Butelle, Camille Coti. 2012. « Data coherency in distributed shared memory ». International Journal of Networking and Computing. vol. 2 , nº 1. p. 117-130.

Emmanuek Agullo, Camille Coti, Thomas Herault, Julien Langou, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello, Jack Dongarra. 2011. « QCG-OMPI: MPI applications on grids ». Future Generation Computer Systems. vol. 27 , nº 4. p. 357-369.

François Berenger, Camille Coti, Kam Y. J. Zhang. 2010. « PAR: A PARallel and distributed job crusher ». Bioinformatics. vol. 26 , nº 22. p. 2918-2919.

Darius Buntinas, Camille Coti, Thomas Herault, Pierre Lemarinier, Laurence Pilard, Ala Rezmerita, Eric Rodriguez, Franck Cappello. 2008. « Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI Protocols ». Future Generation Computer Systems. vol. 24 , nº 1. p. 73-84.

Communication (3)

Camille Coti. 2016. « Exploiting redundant computation in communication-avoiding algorithms for algorithm-based fault tolerance ». Communication lors de la conférence : SIAM Parallel Processing for Scientific Computing ( Paris, France, Apr. 2016 )

Étienne André, Camille Coti, Hoang Gia Nguyen. 2015. « Enhanced Distributed Behavioral Cartography of Parametric Timed Automata ». Communication lors de la conférence : 2nd International Workshop on Synthesis of Complex Parameters (SynCoP) ( London, United Kingdom, Apr. 11, 2015 )

Miroslaw Malek Xu Huang (chair). 2012. « Future and challenges of parallel and distributed computing ». Communication lors de la conférence : 12th International Conference on Algorithm and Architectures for Parallel Processing (ICA3PP) ( Kukuoka, Japan, Sept. 04-07, 2012 )

Chapitre de livre (5)

Camille Coti. 2016. « Fault tolerance techniques for distributed, parallel applications ». In Innovative research and applications in next-generation high performance computing . p. 221-252. IGI Global.

Benoît Bertholon, Christophe Cérin, Camille Coti, Jean-Christophe Dubacq, Sébastien Varrette. 2013. « Practical security in distributed systems ». In Distributed systems: Design and algorithms . p. 237-300. John Wiley and Sons.

Camille Coti, Franck Cappello. 2013. « Scalable runtime environments for large-scale parallel applications ». In Scalable computing and communications: Theory and practice . p. 563-590. John Wiley & Sons.

K. Kurowski, B. Bosak, P. Grabowski, M. Mamonski, T. Piontek, G. Kampis, L. Gulyás, C. Coti, T. Herault, F. Cappello. 2012. « QosCosGrid e-science infrastructure for large-scale complex system simulations ». In Large-scale computing . p. 163-185. John Wiley and Sons.

Martin Swain, Camille Coti, Johannes Mandel, Werner Dubitzky. 2012. « A topology-aware evolutionary algorithm for reverse-engineering gene regulatory networks ». In Large-scale computing . p. 141-162. John Wiley and Sons.

Mémoire ou thèse (1)

Prix et distinctions