Liste des publications de "Coti, Camille"

2024

Coti, Camille, Pfau-Kempf, Yann, Battarbee, Markus, Ganse, Urs, Shende, Sameer, Huck, Kevin, Rodriquez, Jordi, Kotipalo, Leo, Faj, Jennifer, Williams, Jeremy J., Peng, Ivy, Malony, Allen D., Markidis, Stefano et Palmroth, Minna. 2024. « Integration of modern HPC performance tools in vlasiator for exascale analysis and optimization ». In IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) (San Francisco, CA, USA, May 27-31, 2024) pp. 996-1005. Institute of Electrical and Electronics Engineers Inc..

Rahmani, Saeed, Ali-Pour, Amir, Coti, Camille et Gascon-Samson, Julien. 2024. « MQTT2EdgePeer: A robust and scalable brokerless peer-to-peer edge middleware for topic-based publish/subscribe ». In IEEE 24th International Symposium on Cluster, Cloud and Internet Computing (CCGrid) (Philadelphia, PA, USA, May 06-09, 2024) pp. 419-424. Institute of Electrical and Electronics Engineers Inc..

2023

Coti, Camille. 2023. « Lightning Talk - Just-in-Time Autotuning ». Communication lors de la conférence : Ninth Annual Workshop on the LLVM Compiler Infrastructure in HPC (Denver, CO, USA, Nov. 12, 2023).

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

2022

Coti, Camille et Malony, Allen D.. 2022. « SKaMPI-OpenSHMEM: Measuring OpenSHMEM communication routines ». In 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) Coll. « Lecture Notes in Computer Science », vol. 13159. pp. 63-80. Springer Science and Business Media.

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

Johnson, Alister, Coti, Camille, Malony, Allen D. et Doerfert, Johannes. 2022. « MARTINI: The little match and replace tool for automatic application rewriting with code examples ». In Euro-Par : Parallel Processing : 28th International Conference on Parallel and Distributed Computing (Glasgow, United Kingdom, Aug. 22-26, 2022) Coll. « Lecture Notes in Computer Science », vol. 13440. pp. 19-34. Springer Science and Business Media.
Compte des citations dans Scopus : 1.

2021

Coti, Camille et Malony, Allen D.. 2021. « DiPOSH: A portable OpenSHMEM implementation for short API-to-network path ». [Article de conférence]. Concurrency and Computation: Practice and Experience, vol. 33, nº 11.

Coti, Camille, Monniaux, David et Yu, Hang. 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.

Coti, Camille, Petrucci, Laure, Rodríguez, César et Sousa, Marcelo. 2021. « Quasi-optimal partial order reduction ». Formal Methods in System Design, vol. 57, nº 1. pp. 3-33.
Compte des citations dans Scopus : 1.

Coti, Camille, Petrucci, Laure et Torres González, Daniel A.. 2021. « Fault-tolerant LU factorization is low cost ». In Euro-Par : Parallel Processing : 27th International Conference on Parallel and Distributed Computing (Lisbon, Portugal, Sept. 01-03, 2021) Coll. « Lecture Notes in Computer Science », vol. 12820. pp. 536-549. Springer Science and Business Media.
Compte des citations dans Scopus : 2.

2020

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

Coti, Camille et Malony, Allen D.. 2020. « On the road to DiPOSH: Adventures in high-performance openSHMEM ». In Parallel Processing and Applied Mathematics : 13th International Conference, PPAM (Bialystok, Poland, Sept. 08-11, 2019) Coll. « Lecture Notes in Computer Science », vol. 12043. pp. 250-260. Springer.

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

2019

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

Coti, Camille, Monniaux, David et Yu, Hang. 2019. « Parallel parametric linear programming solving, and application to polyhedral computations ». In Computational Science – ICCS 2019 : 19th International Conference (Faro, Portugal, June 12-14, 2019) Coll. « Lecture Notes in Computer Science », vol. 11540. pp. 566-572. Springer.
Compte des citations dans Scopus : 2.

2018

Butelle, Franck et Coti, Camille. 2018. « Distributed snapshot for rollback-recovery with one-sided communications ». In International Conference on High Performance Computing and Simulation, HPCS (Orleans, France, July 16-20, 2018) pp. 614-620. Institute of Electrical and Electronics Engineers Inc..
Compte des citations dans Scopus : 3.

Coti, Camille, Evangelista, Sami et Petrucci, Laure. 2018. « One-sided communications for more efficient parallel state space exploration over RDMA clusters ». In Euro-Par 2018 : Parallel Processing : 24th International Conference on Parallel and Distributed Computing (Turin, Italy, Aug. 27-31, 2018) Coll. « Lecture Notes in Computer Science », vol. 11014. pp. 432-446. Springer.
Compte des citations dans Scopus : 2.

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

Nguyen, Huyen T. T., Rodríguez, César, Sousa, Marcelo, Coti, Camille et Petrucci, Laure. 2018. « Quasi-optimal partial order reduction ». In Computer Aided Verification : 30th International Conference, CAV (Oxford, United Kingdom, July 14-17, 2018) Coll. « Lecture Notes in Computer Science », vol. 10982. pp. 354-371. Springer.
Compte des citations dans Scopus : 13.

2017

Butelle, F., Coti, C., Leclercq, E. et Roupin, F.. 2017. « 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) (Metz, France, 22-24 fév. 2017)

Coti, Camille. 2017. « Scalable, robust, fault-tolerant parallel QR factorization ». In 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) pp. 626-633. Institute of Electrical and Electronics Engineers Inc..
Compte des citations dans Scopus : 5.

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

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

2016

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

Coti, Camille. 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).

Coti, Camille. 2016. « Exploiting redundant computation in communication-avoiding algorithms for algorithm-based fault tolerance ». In 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) pp. 214-219. Institute of Electrical and Electronics Engineers Inc..
Compte des citations dans Scopus : 5.

Coti, Camille. 2016. « Fault tolerance techniques for distributed, parallel applications ». In Innovative research and applications in next-generation high performance computing. pp. 221-252. IGI Global.
Compte des citations dans Scopus : 2.

Coti, Camille. 2016. « Parametric, probabilistic, timed resource discovery system ». In 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) Coll. « Electronic Proceedings in Theoretical Computer Science », vol. 220. pp. 53-62. Open Publishing Association.

Coti, Camille, Lakos, Charles et Petrucci, Laure. 2016. « Formally proving and enhancing a self-stabilising distributed algorithm ». In International Workshop on Petri Nets and Software Engineering (Toruń, Poland, June 20-21, 2016) Coll. « CEUR Workshop Proceedings », vol. 1591. pp. 255-274. CEUR-WS.
Compte des citations dans Scopus : 1.

2015

André, Étienne, Coti, Camille et Nguyen, Hoang Gia. 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).

André, Étienne, Coti, Camille et Nguyen, Hoang Gia. 2015. « Enhanced distributed behavioral cartography of parametric timed automata ». In Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM (Paris, France, Nov. 03-05, 2015) Coll. « Lecture Notes in Computer Science », vol. 9407. pp. 319-335. Springer.
Compte des citations dans Scopus : 2.

Coti, C., Evangelista, S. et Klai, K.. 2015. « Queue-less, uncentralized resource discovery: Formal specification and verification ». In International Workshop on Petri Nets and Software Engineering (PNSE'15) (Brussels, Belgium, June 22-23, 2015) Coll. « CEUR Workshop Proceedings », vol. 1372. pp. 315-316. CEUR-WS.
Compte des citations dans Scopus : 2.

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

2014

André, Étienne, Coti, Camille et Evangelista, Sami. 2014. « Distributed behavioral cartography of timed automata ». In EuroMPI/ASIA '14: Proceedings of the 21st European MPI Users' Group Meeting (Kyoto, Japan, Sept. 09-12, 2014) Coll. « ACM International Conference Proceeding Series » pp. 109-114. Association for Computing Machinery.
Compte des citations dans Scopus : 4.

Coti, Camille. 2014. « Introduction à la virtualisation en DUT R&T : retour d'expérience ». In 3ème Workshop Pédagogique Réseaux & Télécom (Saint Pierre, La Réunion, 17-20 nov. 2014)

Coti, Camille. 2014. « POSH: Paris OpenSHMEM: A high-performance openSHMEM implementation for shared memory systems ». In 14th International Conference on Computational Science (ICCS 2014) (Cairns, Australia, June 10-12, 2014) Coll. « Procedia Computer Science », vol. 29. pp. 2422-2431. Elsevier.
Compte des citations dans Scopus : 6.

Coti, Camille et Loddo, Jean-Vincent. 2014. « Progressivité dans les modules de réseaux avec Marionnet ». In 3ème Workshop pédagogique Réseaux & Télécoms (Saint Pierre, La Réunion, 17-20 nov. 2014)

2013

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

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

2012

Alfandari, L., Butelle, F., Coti, C., Finta, L., Létocart, L., Plateau, G., Roupin, F., Rozenknop, A. et Wolfler Calvo, R.. 2012. « 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) (Anger, France, Apr. 11-13, 2012)

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

Butelle, Franck et Coti, Camille. 2012. « Data coherency in distributed shared memory ». [Article de conférence]. International Journal of Networking and Computing, vol. 2, nº 1. pp. 117-130.

Cérin, Christophe, Coti, Camille et Koskas, Michel. 2012. « Fault tolerance logical network properties of irregular graphs ». In Algorithms and Architectures for Parallel Processing : 12th International Conference, ICA3PP (Fukuoka, Japan, Sept. 04-07, 2012) Coll. « Lecture Notes in Computer Science », vol. 7439. pp. 377-391.

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

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

Xu Huang (chair) Stephen S., Miroslaw Malek. 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).

2011

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

Butelle, Franck et Coti, Camille. 2011. « A model for coherent distributed memory for race condition detection ». In IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (Anchorage, AK, USA, May 16-20, 2011) pp. 584-590.
Compte des citations dans Scopus : 2.

2010

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

Berenger, François, Coti, Camille et Zhang, Kam Y. J.. 2010. « PAR: A PARallel and distributed job crusher ». Bioinformatics, vol. 26, nº 22. pp. 2918-2919.
Compte des citations dans Scopus : 7.

Bosilca, George, Coti, Camille, Herault, Thomas, Lemarinier, Pierre et Dongarra, Jack. 2010. « Constructing resiliant communication infrastructure for runtime environments ». In International Parallel Computing conference (ParCo2009) (Lyon, France, Sept. 01-04, 2009) Coll. « Advances in Parallel Computing », vol. 19. pp. 441-451. IOS Press BV.
Compte des citations dans Scopus : 5.

2009

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

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

Coti, Camille. 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 ». Thèse de doctorat. Université Paris Sud - XI, 153 p.

Coti, Camille, Herault, Thomas et Cappello, Franck. 2009. « MPI applications on grids: A topology aware approach ». In Euro-Par 2009 - Parallel Processing : 15th International Euro-Par Conference (Delft, Netherlands, Aug. 25-28, 2009) Coll. « Lecture Notes in Computer Science », vol. 5704. pp. 466-477.
Compte des citations dans Scopus : 23.

Sollich, Peter, Urry, Matthew J. et Coti, Camille. 2009. « Kernels and learning curves for Gaussian process regression on random graphs ». In 23rd Annual Conference on Neural Information Processing Systems, NIPS, Dec. 07-10, 2009) pp. 1723-1731.
Compte des citations dans Scopus : 7.

2008

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

Coti, Camille, Herault, Thomas et Cappello, Franck. 2008. « MPI applications on grids: A topology-aware approach ». Institut national de recherche en sciences et technologies du numérique (INRIA). 21 p.

Coti, Camille, Herault, Thomas, Peyronnet, Sylvain, Rezmerita, Ala et Cappello, Franck. 2008. « Grid services for MPI ». In 8th IEEE International Symposium on Cluster Computing and the Grid (Lyon, France, May 19-22, 2008) pp. 417-424.
Compte des citations dans Scopus : 13.

2007

Coti, Camille, Rezmerita, Ala, Hérault, Thomas et Cappello, Franck. 2007. « Grid services for MPI ». In 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) Coll. « Lecture Notes in Computer Science », vol. 4757. pp. 393-394. Springer.
Compte des citations dans Scopus : 2.

2006

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