Book chapters

- Camille Coti: Fault Tolerance Techniques for Distributed, Parallel Applications, in
*Qusay F. Hassan (Editor): **Innovative Research and Applications in Next-Generation High Performance Computing*, section 4, chapter 1, June 2016, IGI Global [overview] [WWW]
- Camille Coti and Franck Cappello: Scalable run-time environments for large-scale parallel applications, in
*S. U. Khan*, L. Wang, and A. Y. Zomaya (Editors): *Scalable Computing and Communications: Theory and Practice*, chapter 26, pages 563-590, March 2013, Wiley [overview] [WWW]
- Krzysztof Kurowski, Bartosz Bosak, Piotr Grabowski, Mariusz Mamonski, Tomasz Piontek, George Kampis, Laszlo Gulyas, Camille Coti, Thomas Herault and Franck Cappello: QosCosGrid e-Science Infrastructure for Large-Scale Complex System Simulations, in
*Werner Dubitzky*, Krzysztof Kurowski and Bernhard Schott (Editors): *QosCosGrid e-Science Infrastructure for Large-Scale Complex System Simulations*, chapter 9, pages 163-185, Jan. 2012, Wiley [WWW]
- Martin Swain, Camille Coti, Johannes Mandel and Werner Dubitzky: A Topology-Aware Evolutionary Algorithm for Reverse-Engineering Gene Regulatory Networks, in
*Werner Dubitzky*, Krzysztof Kurowski and Bernhard Schott (Editors): *QosCosGrid e-Science Infrastructure for Large-Scale Complex System Simulations*, chapter 8, pages 141-162, Jan. 2012, Wiley [WWW]
- Benoit Bertholon, Christophe Cerin, Camille Coti, Jean-Christophe Dubacq and Sebastien Varrette: Practical Security in Distributed Systems, in
*Serge Haddad*, Fabrice Kordon, Laurent Pautet and Laure Petrucci (Editors): *Distributed Systems: Design and Algorithms*, volume 1, chapter 11, pages 301-330, May 2011, Wiley [WWW]

Articles in international conferences and journals

- A. Johnson, C. Coti, A. D. Malony and J. Doerfert: Semantic Code Replacement: Automatic Application Rewriting with Code Examples, in
*EuroPar 2022 (to appear)
*
- C. Coti, L. Petrucci and D. A. Torres Gonzalez: A Formal Model for Fault Tolerant Parallel Matrix Factorization, in
*ICECCS 2022*, March 2022
- C. Coti and A. D. Malony: SKaMPI-OpenSHMEM: Measuring OpenSHMEM Communication Routines, in
*OpenSHMEM and Related Technologies Workshop 2021*, September 2021 [arxiv]
- C. Coti, L. Petrucci and D. A. Torres Gonzalez: Fault-tolerant LU factorisation is low cost, in
*EuroPar 2021*, September 2021
- C. Coti, J. E. Denny, K. Huck, S. Lee, A. D. Malony, S. Shende, J. S. Vetter : OpenACC Profiling Support for Clang and LLVM using Clacc and TAU , in
*Workshop on Programming and Performance Visualization Tools (ProTools 20*, workshop of SC20), November 2020
- J. Ben Geloun, C. Coti, A. D. Malony: On-the-fly Optimization of Parallel Computation of Symbolic Symplectic Invariants, in
*19th International Symposium on Parallel and Distributed Computing (ISPDC 2020)*, 5-8 July, Warsaw, Poland
- C. Coti, A. D. Malony: On the Road to DiPOSH: Adventures in High-Performance OpenSHMEM, in
*Proceedings of the 13th International Conference on Parallel Processing and Applied Mathematics (PPAM 2019)*, September 2019, Bialystok, Poland
- C. Coti, D. Monniaux, H. Yu: Parallel parametric linear programming solving, and application to polyhedral computations, in
*Proceedings of the International Conference on Computational Science (ICCS 2019)*, June 2019, Faro, Portugal [HAL] [arxiv]
- C. Coti, L. Petrucci, D. A. Torres Gonzalez: Fault-tolerant matrix factorisation: a formal model and proof, in
*Proceedings of the 6th Workshop on Synthesis of Complex Parameters (SynCoP 2019)*, Prague, Cz Rep, April 2019 [PDF]
- C. Coti, S. Evangelista, L. Petrucci: State Compression Based on One-Sided Communications for Distributed Model Checking, in
*23rd International conference on Engineering of Complex Computer Systems (ICECCS 2018)*, December 2018 [PDF]
- C. Coti, S. Evangelista, L. Petrucci: One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters, in
*24th international european conference on parallel and distributed computing (EuroPar 2018)*, August 2018, Turin, Italy [PDF]
- F. Butelle, C. Coti: Distributed Snapshot for Rollback-Recovery with One-Sided Communications, in
*2018 International Conference on High Performance Computing & Simulation (HPCS 2018)*, July 2018, Orleans, France. [PDF] [slides]
- H.T.T. Nguyen, C. Rodriguez, M. Sousa, C. Coti, L. Petrucci: Quasi-Optimal Partial Order Reduction, in
*30th International Conference on Computer Aided Verification (CAV 2018)*, July 2018, Oxford, UK. [arxiv] [artifact]
- C. Coti, E. Leclercq, F. Roupin, F. Butelle: Solving 0-1 Quadratic Problems with Two-Level Parallelization of the BiqCrunch Solver, in
*10th International Workshop on Computational Optimization (WCO'17) part of the Federated Conference on Computer Science and Information Systems (FedCSIS)*, **best paper award!**, Prague, Czech Republic, Sept 2017 [PDF]
- C. Coti, J.-V. Loddo, E. Viennet: An Overview of the Options Available for Practical Activities in Distributed Computing, in
*Proceedings of the 16th International Conference on Information Technology Based Higher Education and Training (ITHET17)*, Robin Braun (ed), Ohrid (Mk), July 2017 [PDF] [slides]
- F. Butelle, C. Coti, E. Leclercq, F. Roupin: Une version Multithread du solveur BiqCrunch, in
*18Ă¨me congrĂ¨s annuel de la sociĂ©tĂ© FranĂ§aise de Recherche OpĂ©rationnelle et d'Aide Ă la DĂ©cision (ROADEF'17)*, Feb 2017, Metz, France [PDF]
- C. Coti: Scalable, Robust, Fault-Tolerant Parallel QR Factorization, in
*Proceedings of the 15th International Symposium on Distributed Computing and Applications to Business*, Engineering and Science (DCABES 2016), **best paper award!**, S. Khaddaj, Paris, August 2016 [PDF] [slides]
- C. Coti, C. Lakos, L. Petrucci: Formally Proving and Enhancing a Self-Stabilising Algorithm, in
*Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'16)*, Lawrence Cabac, Lars Michael Kristensen and Heiko RĂ¶lke, Torun, Poland, June 2016 [PDF] [slides]
- C. Coti: Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance, in
*Proceedings of the 2nd IEEE International Conference on High Performance and Smart Computing (IEEE HPSC 2016)*, New York, USA, April 2016 [PDF] [slides]
- C. Coti: Parametric, Probabilistic, Timed Resource Discovery System, in
*Proceedings of the 3rd International Workshop on Synthesis of Complex Parameters (SynCoP'16)*, Eindhoven, Nd, April 2016 [PDF] [slides]
- F. Butelle, L. Alfandari, C. Coti, L. Finta, L. Letocart, G. Plateau, F. Roupin, A. Rozenknop, R. Wolfler Calvo: Fast machine reassignment, in
*Annals of Operations Research*, December 2015 [WWW] [PDF]
- Ă‰. AndrĂ©, C. Coti, H. G. Nguyen: Enhanced Distributed Behavioral Cartography of Parametric Timed Automata, in
*Proceedings of The 17th International Conference on Formal Engineering Methods (ICFEM 2015)*, November 2015 [PDF]
- C. Coti, S. Evangelista, K. Klai: Queuless, Uncentralized Resource Discovery: Formal Specification and Verification, in
*Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15)*, Daniel Moldt, Heiko RĂ¶lke, Harald StĂ¶rrle (eds.), June 2015 [PDF] [poster]
- C. Coti, J.-V. Loddo, E. Viennet: Practical activities in network courses for MOOCs, SPOCs and eLearning with Marionnet, in
* Proceedings of the 14th International Conference on Information Technology Based Higher Education and Training (ITHET15)*, AnikĂł Costa, Robin Braun (eds.), June 2015 [PDF] [extended abstract] [slides]
- Ă‰. AndrĂ©, C. Coti, H. G. Nguyen: Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation), in
*Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)*, April 2015 [PDF] [WWW]
- Ă‰. AndrĂ©, C. Coti, S. Evangelista: Distributed Behavioral Cartography of Timed Automata, in
*Proceedings of the 21th European PVM/MPI Users' Group Meeting (EuroMPI/Asia'14)*, Yutaka Ishikawa and Atsushi Hori (eds.), September 2014 [PDF] [WWW]
- C. Coti: POSH: Paris OpenSHMEM: A High-Performance OpenSHMEM Implementation for Shared Memory Systems, in
*Proceedings of the International Conference on Computational Science (ICCS 2014)*, Cairns, Aus, June 2014 [PDF] [poster] [WWW]
- C. Coti, M. Koskas, C. Cerin: Fault Tolerance Logical Network Properties of Irregular Graphs, in
*Proceedings of the 12th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP-12)*, Fukuoka, Jp, September 2012 [PDF] [slides]
- L. Alfandari, F. Butelle, C. Coti, L. Finta, G. Plateau, A. Rozenknop, F. Roupin: Combining VNS, simulated annealing, and a greedy heuristic for the ROADEF/EURO 2012 challenge, in
*25th European Conference on Operational Research (EURO 2012)*, Vilnius, July 2012
- L. Alfandari, F. Butelle, C. Coti, L. Finta, L. LĂ©tocart, G. Plateau, F. Roupin, A. and Rozenknop and R. Wolfler Calvo: Extended abstract on method used by Senior Team S26 for the ROADEF/EURO 2012 Challenge, in
*13Ă¨me congrĂ¨s annuel de la sociĂ©tĂ© FranĂ§aise de Recherche OpĂ©rationnelle et d'Aide Ă la DĂ©cision (ROADEF'12)*, Apr 2012, Angers, France.
- F. Butelle, C. Coti: Data Coherency in Distributed Shared Memory, in
*the International Journal of Networking and Computing (IJNC)*, Volume 2, issue 1, pp 117-130, 2012 [PDF]
- F. Butelle, C. Coti: A Model for Coherent Distributed Memory For Race Condition Detection, in
*Proceedings of the 13th Workshop on Advances in Parallel and Distributed Computational Models (APDCM'11)*, Anchorage, Ak, May 2011 [PDF] [arXiv]
- E. Agullo, C. Coti, T. Herault, J. Langou, S. Peyronnet, A. Rezmerita, F. Cappello, J. Dongarra: QCG-OMPI: MPI Applications on Grids, in
*Future Generation Computer Systems*, Volume 27, issue 4, pages 357-369, April 2011 [WWW] [PDF] [HAL]
- F. Berenger, C. Coti, K. Zhang: PAR: A PARallel And Distributed Job Crusher, in
*Bioinformatics 26 (22)*, pages 2918-2919, November 2010 [WWW] [PDF]
- G. Bosilca, C. Coti, T. Herault, P. Lemarinier, J. Dongarra: Constructing Resilient Communication Infrastructure for Runtime Environments, in
*Advances in Parallel Computing*, Apr 2010, vol. 19, pages 441-451 [WWW] [PDF]
- E. Agullo, C. Coti, J. Dongarra, T. Herault, J. Langou: QR Factorization of Tall and Skinny Matrices in a Grid Computing Environment, in
*24th IEEE International Parallel & Distributed Processing Symposium (IPDPS'10)*, Atlanta, Ga, April 2010 [PDF]
- P. Bar, C. Coti, D. Groen, T. Herault, V. Kravtsov, A. Schuster, M. Swain: Running parallel applications with topology-aware grid middleware, in
*5th IEEE International Conference on e-Science (eScience 2009)*, Oxford, UK, December 2009 [PDF]
- P. Sollich, M. Urry, C. Coti: Kernels and learning curves for Gaussian process regression on random graphs, in
*Advances in Neural Information Processing Systems 22 (NIPS 2009)*, Vancouver, BC, Canada, December 2009 [PDF] [correction]
- G. Bosilca, C. Coti, T. Herault, P. Lemarinier, J. Dongarra: Constructing Resilient Communication Infrastructure for Runtime Environments, in
*International Conference in Parallel Computing (ParCo2009)*, Lyon, France, September 2009 [PDF] [report ]
- C. Coti, T. Herault, F. Cappello: MPI Applications on Grids: a Topology-Aware approach, in
*Proceedings of the 15th International European Conference on Parallel and Distributed Computing (EuroPar'09)*, Delft, the Netherlands, August 2009, pages 466-477 [PDF]
- C. Coti, T. Herault, S. Peyronnet, A. Rezmerita, F. Cappello: Grid Services for MPI, in
*Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid'08)*, Lyon, Fra, May 2008 [PDF]
- D. Buntinas, C. Coti, T. Herault, P. Lemarinier, L. Pilard, A. Rezmerita, E. Rodriguez, F. Cappello: Blocking vs. Non-Blocking Coordinated Checkpointing for Large-Scale Fault Tolerant MPI, in
*Future Generation Computer Systems*, Elsevier, Jan 2008, vol. 24, issue 1, pages 73-84 [PDF] [WWW]
- C. Coti, A. Rezmerita, T. Herault, F. Cappello: Grid Services for MPI, in
*Proceedings of the 14th European PVM/MPI Users' Group Meeting (EuroPVM/MPI)*, Paris, October 2007, 393-394 [PDF]
- C. Coti, T. Herault, P. Lemarinier, L. Pilard, A. Rezmerita, E. Rodriguez, F. Cappello: Blocking vs. Non-Blocking Coordinated Checkpointing for Large-Scale Fault Tolerant MPI, in
*IEEE/ACM Proceedings of the International Conference for High Performance Computing*, Network Storage and Analysis (SC'2006), Tampa, FL, November 2006 [PDF]

Invited talks:

- C. Coti: `Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance, SIAM Parallel Processing for Scientific Computing (PP16), minisymposium "Resilience", Paris, France, April 2016. [slides]
- Xu Huang (chair), Miroslaw Malek, Stephen S. Yau, Koji Nakano and Camille Coti: Future and Challenges of Parallel and Distributed Computing,
*ICA3PP 2012 panel*. [PDF]

Research reports

- O. Bodini, C. Coti, J. David: Parallel Galton Watson Process, in
*CoRR arXiv:1606.06629 [cs.DC]*, June 2016, 6 pages [arXiv]
- C. Coti: Fault Tolerant QR Factorization for General Matrices, in
*CoRR abs/1604.02504v2 [cs.DC]*, April 2016, 4 pages [arXiv]
- C. Coti, C. Lakos, L. Petrucci: Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm, in
*CoRR arXiv:1601.03767 [cs.DC]*, January 2016, 21 pages [arXiv]
- C. Coti: Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance, in
*CoRR abs/1511.00212 [cs.DC]*, November 2015, 4 pages [arXiv]
- C. Coti: POSH: Paris OpenSHMEM: A High-Performance OpenSHMEM Implementation for Shared Memory Systems, in
*CoRR abs/1403.7791 [cs.DC]*, March 2014, 13 pages [arXiv]
- F. Butelle, C. Coti: A Model for Coherent Distributed Memory For Race Condition Detection, in
*CoRR abs/1101.4193 [cs.DC]*, February 2011, 7 pages [arXiv]
- E. Agullo, C. Coti, J. Dongarra, T. Herault, J. Langou: QR Factorization of Tall and Skinny Matrices in a Grid Computing Environment, in
*LAPACK Working Note #224*, UTK research report UT-CS-10-651, January 2010, 15 pages [PDF] [PS]
- E. Agullo, C. Coti, J. Dongarra, T. Herault, J. Langou: QR Factorization of Tall and Skinny Matrices in a Grid Computing Environment, in
*CoRR abs/0912.2572mak [cs.DC]*, December 2009, 15 pages [arXiv] [PDF] [PS]
- A. Rezmerita, C. Coti, T. Herault, S. Peyronnet: DĂ©finition des mĂ©canismes minimaux d'un runtime tolĂ©rant aux pannes dans les infrastructures Petascale, in
*November 2009*, 14 pages, ANR project deliverable.
- E. Brunet, F. Cappello, C. Coti, T. Herault, S. Peyronnet: Supports d'exĂ©cution pour environnements petascales : Ă‰tat de l'art, in
*July 2009*, 19 pages, ANR project deliverable.
- C. Coti, T. Herault, D. Groen, M. Mamonski: D1.2c: Adapted version of the OpenMPI Communication Library, in
*June 2009*, 28 pages, European Union deliverable.
- C. Coti, T. Herault, A. Rezmerita: D1.2b: Adapted version of the OpenMPI Communication Library, in
*October 2008*, 45 pages, European Union deliverable.
- K. Kurowski, M. Mamonski, P. Grabowski, Y. Langlois, G. Mecheneau, T. Herault, C. Coti, M. Ragan: D1.4: Second Prototype and Integration of Grid Services Together with QoS-Aware Grid MW Providers, in
* October 2008*, 28 pages, European Union deliverable.
- C. Coti, T. Herault, F. Cappello: MPI Applications on Grids: A Topology-Aware Approach, in
*INRIA research report #6633*, September 2008, 21 pages [WWW] [PDF ]
- C. Coti, T. Herault, P. Lemarinier, S. Peyronnet, A. Rezmerita: D1.2a: OpenMPI Communication Library, in
*October 2007*, 37 pages, European Union deliverable.
- D. Carmeli, V. Kravtsov, B. Yoshpa, A. Schuster, K. Kurowski, C. Coti, T. Herault: D2.1 Part 1: Grid Services for Quasi Opportunistic Super Computing, in
* April 2007*, 75 pages, European Union deliverable.
- C. Coti, T. Herault, K. Kurowski, P. Lemarinier, G. Mecheneau: D1.1: State of the art/Gap analysis of Existing Grid Middleware Services for CS modeling, in
* April 2007*, 32 pages, European Union deliverable.

National audience reports

*Environnements d'exĂ©cution pour applications parallĂ¨les communiquant par passage de messages pour les systĂ¨mes Ă grande Ă©chelle et les grilles de calcul*, PhD dissertation, November 2009 [TEL]
*Conception et Ă©valuation d'un algorithme de tolĂ©rance aux fautes Ă points de reprise coordonnĂ©s pour MPICH-2*, Louis Leprince-Ringuet Foundation awards, additional text, October 2006 [PDF]
*Conception et Ă©valuation d'un algorithme de tolĂ©rance aux fautes Ă points de reprise coordonnĂ©s pour MPICH-2*, MSc final internship report, September 2006 [PDF]

Papers in teaching workshops (in French)

- C. Coti: Introduction Ă la virtualisation en DUT R&T : retour d'expĂ©rience, in
*3Ă¨me Workshop PĂ©dagogique RĂ©seaux & TĂ©lĂ©coms*, Novembre 2014 [PDF]
- C. Coti, J.-V. Loddo: ProgressivitĂ© dans les modules de rĂ©seaux avec Marionnet, in
*3Ă¨me Workshop PĂ©dagogique RĂ©seaux & TĂ©lĂ©coms*, Novembre 2014 [PDF]