Camille Coti

ORCID

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 41

Top Venues

CoRR

Euro-Par

PNSE @ Petri Nets

Concurr. Comput. Pract. Exp.

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Elian Morel, Camille Coti
Just-in-Time autotuning. CoRR (2023)
Dina Faneva Andriantsiory, Camille Coti, Joseph Ben Geloun, Mustapha Lebbah
Parallel Computation of Multi-Slice Clustering of Third-Order Tensors. CoRR (2023)
Camille Coti, Kevin A. Huck, Allen D. Malony
STaKTAU: profiling HPC applications' operating system usage. CoRR (2023)
Alister Johnson, Camille Coti, Allen D. Malony, Johannes Doerfert
MARTINI: The Little Match and Replace Tool for Automatic Application Rewriting with Code Examples. Euro-Par (2022)
Alister Johnson, Camille Coti, Allen D. Malony, Johannes Doerfert
MARTINI: The Little Match and Replace Tool for Automatic Code Rewriting. J. Open Source Softw. 7 (77) (2022)
Camille Coti, Allen D. Malony
SKaMPI-OpenSHMEM: Measuring OpenSHMEM Communication Routines. CoRR (2022)
Camille Coti, Laure Petrucci, Daniel Alberto Torres González
A Formal Model for Fault Tolerant Parallel Matrix Factorization. ICECCS (2022)
Camille Coti, Laure Petrucci, Daniel Alberto Torres González
Fault-Tolerant LU Factorization Is Low Cost. Euro-Par (2021)
Camille Coti, Laure Petrucci, César Rodríguez, Marcelo Sousa
Quasi-optimal partial order reduction. Formal Methods Syst. Des. 57 (1) (2021)
Camille Coti, Allen D. Malony
Measuring OpenSHMEM Communication Routines with SKaMPI-OpenSHMEM User's manual. CoRR (2021)
Camille Coti, David Monniaux, Hang Yu
A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations. Concurr. Comput. Pract. Exp. 33 (6) (2021)
Camille Coti, Allen D. Malony
SKaMPI-OpenSHMEM: Measuring OpenSHMEM Communication Routines. OpenSHMEM (2021)
Camille Coti, Allen D. Malony
DiPOSH: A portable OpenSHMEM implementation for short API-to-network path. Concurr. Comput. Pract. Exp. 33 (11) (2021)
Joseph Ben Geloun, Camille Coti, Allen D. Malony
On-the-fly Optimization of Parallel Computation of Symbolic Symplectic Invariants. CoRR (2020)
Camille Coti, Joel E. Denny, Kevin A. Huck, Seyong Lee, Allen D. Malony, Sameer Shende, Jeffrey S. Vetter
OpenACC Profiling Support for Clang and LLVM using Clacc and TAU. HUST/ProTools@SC (2020)
Camille Coti, David Monniaux, Hang Yu
A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations. CoRR (2020)
Joseph Ben Geloun, Camille Coti, Allen D. Malony
On-the-fly Optimization of Parallel Computation of Symbolic Symplectic Invariants. ISPDC (2020)
Camille Coti, David Monniaux, Hang Yu
Parallel parametric linear programming solving, and application to polyhedral computations. CoRR (2019)
Camille Coti, David Monniaux, Hang Yu
Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations. ICCS (5) (2019)
Camille Coti, Allen D. Malony
On the Road to DiPOSH: Adventures in High-Performance OpenSHMEM. PPAM (1) (2019)
Camille Coti, Sami Evangelista, Laure Petrucci
One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters. Euro-Par (2018)
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
Quasi-Optimal Partial Order Reduction. CAV (2) (2018)
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
Quasi-Optimal Partial Order Reduction. CoRR (2018)
Franck Butelle, Camille Coti
Distributed Snapshot for Rollback-Recovery with One-Sided Communications. HPCS (2018)
Camille Coti, Sami Evangelista, Laure Petrucci
State Compression Based on One-Sided Communications for Distributed Model Checking. ICECCS (2018)
Camille Coti, Étienne Leclercq, Frédéric Roupin, Franck Butelle
Solving 0-1 Quadratic Problems with Two-Level Parallelization of the BiqCrunch Solver. FedCSIS (2017)
Camille Coti, Charles Lakos, Laure Petrucci
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. CoRR (2016)
Franck Butelle, Laurent Alfandari, Camille Coti, Lucian Finta, Lucas Létocart, Gérard Plateau, Frédéric Roupin, Antoine Rozenknop, Roberto Wolfler Calvo
Fast machine reassignment. Ann. Oper. Res. 242 (1) (2016)
Camille Coti
Parametric, Probabilistic, Timed Resource Discovery System. Cassting/SynCoP (2016)
Olivier Bodini, Camille Coti, Julien David
Parallel Galton Watson Process. CoRR (2016)
Camille Coti
Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance. BigDataSecurity/HPSC/IDS (2016)
Camille Coti, Charles Lakos, Laure Petrucci
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. PNSE @ Petri Nets (2016)
Camille Coti
Fault Tolerant QR Factorization for General Matrices. CoRR (2016)
Camille Coti
Scalable, Robust, Fault-Tolerant Parallel QR Factorization. CSE/EUC/DCABES (2016)
Camille Coti, Jean-Vincent Loddo, Emmanuel Viennet
Practical activities in network courses for MOOCs, SPOCs and eLearning with Marionnet. ITHET (2015)
Camille Coti, Sami Evangelista, Kais Klai
Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification. PNSE @ Petri Nets (2015)
Camille Coti
Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance. CoRR (2015)
Étienne André, Camille Coti, Hoang Gia Nguyen
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. ICFEM (2015)
Camille Coti, Sami Evangelista, Kais Klai
Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System. CoRR (2015)
Étienne André, Camille Coti, Hoang Gia Nguyen
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation). SynCoP (2015)
Camille Coti, Nicolas Grenèche
OS-level Failure Injection with SystemTap. CoRR (2015)
Camille Coti
POSH: Paris OpenSHMEM: A High-Performance OpenSHMEM Implementation for Shared Memory Systems. CoRR (2014)
Camille Coti
POSH: Paris OpenSHMEM A High-performance OpenSHMEM Implementation for Shared Memory Systems. ICCS (2014)
Étienne André, Camille Coti, Sami Evangelista
Distributed Behavioral Cartography of Timed Automata. EuroMPI/ASIA (2014)
Franck Butelle, Camille Coti
Data Coherency in Distributed Shared Memory. Int. J. Netw. Comput. 2 (1) (2012)
Christophe Cérin, Camille Coti, Michel Koskas
Fault Tolerance Logical Network Properties of Irregular Graphs. ICA3PP (1) (2012)
Franck Butelle, Camille Coti
A Model for Coherent Distributed Memory For Race Condition Detection CoRR (2011)
Franck Butelle, Camille Coti
A Model for Coherent Distributed Memory for Race Condition Detection. IPDPS Workshops (2011)
Emmanuel Agullo, Camille Coti, Thomas Hérault, Julien Langou, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello, Jack J. Dongarra
QCG-OMPI: MPI applications on grids. Future Gener. Comput. Syst. 27 (4) (2011)
Emmanuel Agullo, Camille Coti, Jack J. Dongarra, Thomas Hérault, Julien Langou
QR factorization of tall and skinny matrices in a grid computing environment. IPDPS (2010)
Francois Berenger, Camille Coti, Kam Y. J. Zhang
PAR: a PARallel and distributed job crusher. Bioinform. 26 (22) (2010)
Emmanuel Agullo, Camille Coti, Jack J. Dongarra, Thomas Hérault, Julien Langou
QR Factorization of Tall and Skinny Matrices in a Grid Computing Environment CoRR (2009)
Peter Sollich, Matthew Urry, Camille Coti
Kernels and learning curves for Gaussian process regression on random graphs. NIPS (2009)
George Bosilca, Camille Coti, Thomas Hérault, Pierre Lemarinier, Jack J. Dongarra
Constructing Resiliant Communication Infrastructure for Runtime Environments. PARCO (2009)
Pavel Bar, Camille Coti, Derek Groen, Thomas Hérault, Valentin Kravtsov, Assaf Schuster, Martin T. Swain
Running Parallel Applications with Topology-Aware Grid Middleware. eScience (2009)
Camille Coti, Thomas Hérault, Franck Cappello
MPI Applications on Grids: A Topology Aware Approach. Euro-Par (2009)
Camille Coti, Thomas Hérault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello
Grid Services for MPI. CCGRID (2008)
Darius Buntinas, Camille Coti, Thomas Hérault, Pierre Lemarinier, Laurence Pilard, Ala Rezmerita, Eric Rodriguez, Franck Cappello
Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI Protocols. Future Gener. Comput. Syst. 24 (1) (2008)
Camille Coti, Ala Rezmerita, Thomas Hérault, Franck Cappello
Grid Services for MPI. PVM/MPI (2007)
Camille Coti, Thomas Hérault, Pierre Lemarinier, Laurence Pilard, Ala Rezmerita, Eric Rodriguez, Franck Cappello
MPI tools and performance studies - Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI. SC (2006)

Camille Coti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Camille Coti