Camille Coti
Professeure
Département
Département de génie logiciel et TI
Formation
M. Eng. Télécom SudParis (Evry), Ph.D. Paris Saclay
Bureau
A-4614
Courriel
Axe 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
Cours
Encadrements
- En codirection avec : Kaiwen Zhang
Using OpenAI’s for Detecting Vulnerabilities in Solidity Smart Contracts, par Aysheh Aminnezhad
Automne 2024 - En codirection avec : Julien Gascon-Samson
Expansion of Simgrid for Edge Computing, par Peyman Shobeiri
Automne 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 ». 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
- 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, Yann Pfau-Kempf, Markus Battarbee, Urs Ganse, Sameer Shende, Kevin Huck, Jordi Rodriquez, Leo Kotipalo, Jennifer Faj, Jeremy J. Williams, Ivy Peng, Allen D. Malony, Stefano Markidis, Minna Palmroth. 2024 « Integration of modern HPC performance tools in vlasiator for exascale analysis and optimization ». IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) (San Francisco, CA, USA, May 27-31, 2024) Institute of Electrical and Electronics Engineers Inc.
- 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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 (Toruń, Poland, June 20-21, 2016) 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) 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) 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) Association for Computing Machinery
- Camille Coti. 2014 « Introduction à la virtualisation en DUT R&T : retour d'expérience ». 3ème Workshop Pédagogique Réseaux & Télécom (Saint Pierre, La Réunion, 17-20 nov. 2014)
- Camille Coti. 2014 « POSH: Paris OpenSHMEM: A high-performance openSHMEM implementation for shared memory systems ». 14th International Conference on Computational Science (ICCS 2014) (Cairns, Australia, June 10-12, 2014) Elsevier
- Camille Coti, Jean-Vincent Loddo. 2014 « Progressivité dans les modules de réseaux avec Marionnet ». 3ème Workshop pédagogique Réseaux & Télécoms (Saint Pierre, La Réunion, 17-20 nov. 2014)
- 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)
- 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, 2011)
- 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) 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) 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)
- 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
- 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)
- 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) 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)
- 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.