Camille Coti
Professeure
Department
Département de génie logiciel et des TI
Degrees
M. Eng. Télécom SudParis (Evry), Ph.D. Paris Saclay
Office
A-4466
Email
Research axe
- Software Systems, Multimedia and Cybersecurity
Areas of expertise
- Support d’exécution pour le calcul distribué
- Analyse de performance
- Tolérance aux pannes
Course
Supervision
- En codirection avec : Gascon-Samson, Julien
Expansion of Simgrid for Edge Computing, par Shobeiri,Peyman
Hiver 2024
Publications
- Camille Coti, Allen D. Malony. 2021 « DiPOSH: A portable OpenSHMEM implementation for short API-to-network path ». Concurrency and Computation: Practice and Experience vol. 33 , nº 11
- 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
- Camille Coti. 2016 « Fault tolerance techniques for distributed, parallel applications ».
- Benoît Bertholon, Christophe Cérin, Camille Coti, Jean-Christophe Dubacq, Sébastien Varrette. 2013 « Practical security in distributed systems ».
- Camille Coti, Franck Cappello. 2013 « Scalable runtime environments for large-scale parallel applications ».
- 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 ».
- Martin Swain, Camille Coti, Johannes Mandel, Werner Dubitzky. 2012 « A topology-aware evolutionary algorithm for reverse-engineering gene regulatory networks ».
- 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)
- 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 ».
- Camille Coti, Allen D. Malony. 2022 « SKaMPI-OpenSHMEM: Measuring OpenSHMEM communication routines ».
- Camille Coti, Laure Petrucci, Daniel Alberto Torres Gonzalez. 2022 « A formal model for fault tolerant parallel matrix factorization ».
- Alister Johnson, Camille Coti, Allen D. Malony, Johannes Doerfert. 2022 « MARTINI: The little match and replace tool for automatic application rewriting with code examples ».
- Camille Coti, Laure Petrucci, Daniel A. Torres González. 2021 « Fault-tolerant LU factorization is low cost ».
- 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 ».
- Camille Coti, Allen D. Malony. 2020 « On the road to DiPOSH: Adventures in high-performance openSHMEM ».
- Joseph Ben Geloun, Camille Coti, Allen D. Malony. 2020 « On-the-fly optimization of parallel computation of symbolic symplectic invariants ».
- Camille Coti, Daniel Alberto Torres Gonzalez, Laure Petrucci. 2019 « Fault-tolerant matrix factorisation: a formal model and proof ».
- Camille Coti, David Monniaux, Hang Yu. 2019 « Parallel parametric linear programming solving, and application to polyhedral computations ».
- Franck Butelle, Camille Coti. 2018 « Distributed snapshot for rollback-recovery with one-sided communications ».
- Camille Coti, Sami Evangelista, Laure Petrucci. 2018 « One-sided communications for more efficient parallel state space exploration over RDMA clusters ».
- Camille Coti, Sami Evangelista, Laure Petrucci. 2018 « State compression based on one-sided communications for distributed model checking ».
- Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci. 2018 « Quasi-optimal partial order reduction ».
- F. Butelle, C. Coti, E. Leclercq, F. Roupin. 2017 « Une version Multithread du solveur BiqCrunch ».
- Camille Coti. 2017 « Scalable, robust, fault-tolerant parallel QR factorization ».
- Camille Coti, Etienne Leclercq, Frédéric Roupin, Franck Butelle. 2017 « Solving 0-1 quadratic problems with two-level parallelization of the BiqCrunch solver ».
- Camille Coti, Jean-Vincent Loddo, Emmanuel Viennet. 2017 « An overview of the options available for practical activities in distributed computing ».
- Camille Coti. 2016 « Exploiting redundant computation in communication-avoiding algorithms for algorithm-based fault tolerance ».
- Camille Coti. 2016 « Parametric, probabilistic, timed resource discovery system ».
- Camille Coti, Charles Lakos, Laure Petrucci. 2016 « Formally proving and enhancing a self-stabilising distributed algorithm ».
- Étienne André, Camille Coti, Hoang Gia Nguyen. 2015 « Enhanced distributed behavioral cartography of parametric timed automata ».
- C. Coti, S. Evangelista, K. Klai. 2015 « Queue-less, uncentralized resource discovery: Formal specification and verification ».
- Camille Coti, Jean-Vincent Loddo, Emmanuel Viennet. 2015 « Practical activities in network courses for MOOCs, SPOCs and eLearning with Marionnet ».
- Étienne André, Camille Coti, Sami Evangelista. 2014 « Distributed behavioral cartography of timed automata ».
- Camille Coti. 2014 « Introduction à la virtualisation en DUT R&T : retour d'expérience ».
- Camille Coti. 2014 « POSH: Paris OpenSHMEM: A high-performance openSHMEM implementation for shared memory systems ».
- Camille Coti, Jean-Vincent Loddo. 2014 « Progressivité dans les modules de réseaux avec Marionnet ».
- 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 ».
- Laurent Alfandari, Franck Butelle, Camille Coti, Lucian Finta. 2012 « Combining VNS, simulated annealing, and a greedy heuristic for the ROADEF/EURO 2012 challenge ».
- Christophe Cérin, Camille Coti, Michel Koskas. 2012 « Fault tolerance logical network properties of irregular graphs ».
- Franck Butelle, Camille Coti. 2011 « A model for coherent distributed memory for race condition detection ».
- Emmanuek Agullo, Camille Coti, Jack Dongarra, Thomas Herault, Julien Langou. 2010 « QR factorization of tall and skinny matrices in a grid computing environment ».
- George Bosilca, Camille Coti, Thomas Herault, Pierre Lemarinier, Jack Dongarra. 2010 « Constructing resiliant communication infrastructure for runtime environments ».
- Pavel Bar, Camille Coti, Derek Groen, Thomas Herault, Valentin Kravtsov, Assaf Schuster, Martin Swain. 2009 « Running parallel applications with topology-aware grid middleware ».
- G. Bosilca, C. Coti, T. Herault, P. Lemarinier, J. Dongarra. 2009 « Constructing resilient communication infrastructure for runtime environments ».
- Camille Coti, Thomas Herault, Franck Cappello. 2009 « MPI applications on grids: A topology aware approach ».
- Peter Sollich, Matthew J. Urry, Camille Coti. 2009 « Kernels and learning curves for Gaussian process regression on random graphs ».
- Camille Coti, Thomas Herault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello. 2008 « Grid services for MPI ».
- Camille Coti, Ala Rezmerita, Thomas Hérault, Franck Cappello. 2007 « Grid services for MPI ».
- 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 ».
- Camille Coti. 2009 « Environnements d'exécution pour applications parallèles communiquant par passage de messages pour les systèmes à grande échelle et les grilles de calcul ». 153 p.Thèse de doctorat. Université Paris Sud - XI.
- Camille Coti, Thomas Herault, Franck Cappello. 2008 « MPI applications on grids: A topology-aware approach ». Institut national de recherche en sciences et technologies du numérique (INRIA). 21 p.