Camille Coti

According to our database, Camille Coti authored at least 51 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Parallel Computation of Multi-Slice Clustering of Third-Order Tensors.

Dina Faneva Andriantsiory, Camille Coti, Joseph Ben Geloun, Mustapha Lebbah

CoRR, 2023

Just-in-Time autotuning.

Elian Morel, Camille Coti

CoRR, 2023

STaKTAU: profiling HPC applications' operating system usage.

Camille Coti, Kevin A. Huck, Allen D. Malony

CoRR, 2023

2022

MARTINI: The Little Match and Replace Tool for Automatic Code Rewriting.

Alister Johnson, Camille Coti, Allen D. Malony, Johannes Doerfert

J. Open Source Softw., 2022

A Formal Model for Fault Tolerant Parallel Matrix Factorization.

Camille Coti, Laure Petrucci, Daniel Alberto Torres González

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

MARTINI: The Little Match and Replace Tool for Automatic Application Rewriting with Code Examples.

Alister Johnson, Camille Coti, Allen D. Malony, Johannes Doerfert

Proceedings of the Euro-Par 2022: Parallel Processing, 2022

2021

Quasi-optimal partial order reduction.

Camille Coti, Laure Petrucci, César Rodríguez, Marcelo Sousa

Formal Methods Syst. Des., 2021

Measuring OpenSHMEM Communication Routines with SKaMPI-OpenSHMEM User's manual.

Camille Coti, Allen D. Malony

CoRR, 2021

A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations.

Camille Coti, David Monniaux, Hang Yu

Concurr. Comput. Pract. Exp., 2021

DiPOSH: A portable OpenSHMEM implementation for short API-to-network path.

Camille Coti, Allen D. Malony

Concurr. Comput. Pract. Exp., 2021

SKaMPI-OpenSHMEM: Measuring OpenSHMEM Communication Routines.

Camille Coti, Allen D. Malony

Proceedings of the OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks, 2021

Fault-Tolerant LU Factorization Is Low Cost.

Camille Coti, Laure Petrucci, Daniel Alberto Torres González

Proceedings of the Euro-Par 2021: Parallel Processing, 2021

2020

OpenACC Profiling Support for Clang and LLVM using Clacc and TAU.

Camille Coti, Joel E. Denny, Kevin A. Huck, Seyong Lee, Allen D. Malony, Sameer Shende, Jeffrey S. Vetter

Proceedings of the IEEE/ACM International Workshop on HPC User Support Tools and Workshop on Programming and Performance Visualization Tools, 2020

On-the-fly Optimization of Parallel Computation of Symbolic Symplectic Invariants.

Joseph Ben Geloun, Camille Coti, Allen D. Malony

Proceedings of the 19th International Symposium on Parallel and Distributed Computing, 2020

2019

On the Road to DiPOSH: Adventures in High-Performance OpenSHMEM.

Camille Coti, Allen D. Malony

Proceedings of the Parallel Processing and Applied Mathematics, 2019

Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations.

Camille Coti, David Monniaux, Hang Yu

Proceedings of the Computational Science - ICCS 2019, 2019

2018

Distributed Snapshot for Rollback-Recovery with One-Sided Communications.

Franck Butelle, Camille Coti

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

State Compression Based on One-Sided Communications for Distributed Model Checking.

Camille Coti, Sami Evangelista, Laure Petrucci

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters.

Camille Coti, Sami Evangelista, Laure Petrucci

Proceedings of the Euro-Par 2018: Parallel Processing, 2018

Quasi-Optimal Partial Order Reduction.

Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Solving 0-1 Quadratic Problems with Two-Level Parallelization of the BiqCrunch Solver.

Camille Coti, Étienne Leclercq, Frédéric Roupin, Franck Butelle

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2016

Parametric, Probabilistic, Timed Resource Discovery System.

Camille Coti

Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, 2016

Fault Tolerant QR Factorization for General Matrices.

Camille Coti

CoRR, 2016

Parallel Galton Watson Process.

Olivier Bodini, Camille Coti, Julien David

CoRR, 2016

Fast machine reassignment.

Franck Butelle, Laurent Alfandari, Camille Coti, Lucian Finta, Lucas Létocart, Gérard Plateau, Frédéric Roupin, Antoine Rozenknop, Roberto Wolfler Calvo

Ann. Oper. Res., 2016

Scalable, Robust, Fault-Tolerant Parallel QR Factorization.

Camille Coti

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance.

Camille Coti

Proceedings of the 2nd IEEE International Conference on Big Data Security on Cloud, 2016

Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm.

Camille Coti, Charles Lakos, Laure Petrucci

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015

OS-level Failure Injection with SystemTap.

Camille Coti, Nicolas Grenèche

CoRR, 2015

Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System.

Camille Coti, Sami Evangelista, Kais Klai

CoRR, 2015

Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation).

Étienne André, Camille Coti, Hoang Gia Nguyen

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

Practical activities in network courses for MOOCs, SPOCs and eLearning with Marionnet.

Camille Coti, Jean-Vincent Loddo, Emmanuel Viennet

Proceedings of the 2015 International Conference on Information Technology Based Higher Education and Training, 2015

Enhanced Distributed Behavioral Cartography of Parametric Timed Automata.

Étienne André, Camille Coti, Hoang Gia Nguyen

Proceedings of the Formal Methods and Software Engineering, 2015

Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification.

Camille Coti, Sami Evangelista, Kais Klai

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

Distributed Behavioral Cartography of Timed Automata.

Étienne André, Camille Coti, Sami Evangelista

Proceedings of the 21st European MPI Users' Group Meeting, 2014

POSH: Paris OpenSHMEM A High-performance OpenSHMEM Implementation for Shared Memory Systems.

Camille Coti

Proceedings of the International Conference on Computational Science, 2014

2012

Data Coherency in Distributed Shared Memory.

Franck Butelle, Camille Coti

Int. J. Netw. Comput., 2012

Fault Tolerance Logical Network Properties of Irregular Graphs.

Christophe Cérin, Camille Coti, Michel Koskas

Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

2011

QCG-OMPI: MPI applications on grids.

Emmanuel Agullo, Camille Coti, Thomas Hérault, Julien Langou, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello, Jack J. Dongarra

Future Gener. Comput. Syst., 2011

A Model for Coherent Distributed Memory for Race Condition Detection.

Franck Butelle, Camille Coti

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010

PAR: a PARallel and distributed job crusher.

Francois Berenger, Camille Coti, Kam Y. J. Zhang

Bioinform., 2010

QR factorization of tall and skinny matrices in a grid computing environment.

Emmanuel Agullo, Camille Coti, Jack J. Dongarra, Thomas Hérault, Julien Langou

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

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. (Run-time environments for message-passing parallel applications for large-scale systems and computation grids).

Camille Coti

PhD thesis, 2009

Constructing Resiliant Communication Infrastructure for Runtime Environments.

George Bosilca, Camille Coti, Thomas Hérault, Pierre Lemarinier, Jack J. Dongarra

Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

Kernels and learning curves for Gaussian process regression on random graphs.

Peter Sollich, Matthew Urry, Camille Coti

Proceedings of the Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems 2009. Proceedings of a meeting held 7-10 December 2009, 2009

MPI Applications on Grids: A Topology Aware Approach.

Camille Coti, Thomas Hérault, Franck Cappello

Proceedings of the Euro-Par 2009 Parallel Processing, 2009

Running Parallel Applications with Topology-Aware Grid Middleware.

Pavel Bar, Camille Coti, Derek Groen, Thomas Hérault, Valentin Kravtsov, Assaf Schuster, Martin T. Swain

Proceedings of the Fifth International Conference on e-Science, 2009

2008

Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI Protocols.

Darius Buntinas, Camille Coti, Thomas Hérault, Pierre Lemarinier, Laurence Pilard, Ala Rezmerita, Eric Rodriguez, Franck Cappello

Future Gener. Comput. Syst., 2008

Grid Services for MPI.

Camille Coti, Thomas Hérault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello

Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2007

Grid Services for MPI.

Camille Coti, Ala Rezmerita, Thomas Hérault, Franck Cappello

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30, 2007

2006

MPI tools and performance studies - Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI.

Camille Coti, Thomas Hérault, Pierre Lemarinier, Laurence Pilard, Ala Rezmerita, Eric Rodriguez, Franck Cappello

Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006