![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Camille Coti
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c34]Camille Coti, Yann Pfau-Kempf, Markus Battarbee, Urs Ganse, Sameer Shende, Kevin A. Huck, Jordi Rodriquez, Leo Kotipalo, Jennifer Faj, Jeremy J. Williams, Ivy Peng, Allen D. Malony, Stefano Markidis, Minna Palmroth:
Integration of Modern HPC Performance Tools in Vlasiator for Exascale Analysis and Optimization. IPDPS (Workshops) 2024: 996-1005 - 2023
- [i18]Camille Coti, Kevin A. Huck, Allen D. Malony:
STaKTAU: profiling HPC applications' operating system usage. CoRR abs/2304.11205 (2023) - [i17]Elian Morel, Camille Coti:
Just-in-Time autotuning. CoRR abs/2309.06414 (2023) - [i16]Dina Faneva Andriantsiory, Camille Coti, Joseph Ben Geloun, Mustapha Lebbah:
Parallel Computation of Multi-Slice Clustering of Third-Order Tensors. CoRR abs/2309.17383 (2023) - 2022
- [j9]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): 4590 (2022) - [c33]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: 19-34 - [c32]Camille Coti, Laure Petrucci, Daniel Alberto Torres González:
A Formal Model for Fault Tolerant Parallel Matrix Factorization. ICECCS 2022: 62-70 - [i15]Camille Coti, Allen D. Malony:
SKaMPI-OpenSHMEM: Measuring OpenSHMEM Communication Routines. CoRR abs/2202.08948 (2022) - 2021
- [j8]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) - [j7]Camille Coti
, Allen D. Malony:
DiPOSH: A portable OpenSHMEM implementation for short API-to-network path. Concurr. Comput. Pract. Exp. 33(11) (2021) - [j6]Camille Coti, Laure Petrucci
, César Rodríguez, Marcelo Sousa:
Quasi-optimal partial order reduction. Formal Methods Syst. Des. 57(1): 3-33 (2021) - [c31]Camille Coti, Laure Petrucci
, Daniel Alberto Torres González:
Fault-Tolerant LU Factorization Is Low Cost. Euro-Par 2021: 536-549 - [c30]Camille Coti, Allen D. Malony:
SKaMPI-OpenSHMEM: Measuring OpenSHMEM Communication Routines. OpenSHMEM 2021: 63-80 - [i14]Camille Coti, Allen D. Malony:
Measuring OpenSHMEM Communication Routines with SKaMPI-OpenSHMEM User's manual. CoRR abs/2105.13395 (2021) - 2020
- [c29]Joseph Ben Geloun, Camille Coti, Allen D. Malony:
On-the-fly Optimization of Parallel Computation of Symbolic Symplectic Invariants. ISPDC 2020: 102-109 - [c28]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: 38-48 - [i13]Joseph Ben Geloun, Camille Coti, Allen D. Malony:
On-the-fly Optimization of Parallel Computation of Symbolic Symplectic Invariants. CoRR abs/2003.01081 (2020) - [i12]Camille Coti, David Monniaux
, Hang Yu:
A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations. CoRR abs/2009.14435 (2020)
2010 – 2019
- 2019
- [c27]Camille Coti, David Monniaux
, Hang Yu:
Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations. ICCS (5) 2019: 566-572 - [c26]Camille Coti
, Allen D. Malony:
On the Road to DiPOSH: Adventures in High-Performance OpenSHMEM. PPAM (1) 2019: 250-260 - [i11]Camille Coti, David Monniaux
, Hang Yu:
Parallel parametric linear programming solving, and application to polyhedral computations. CoRR abs/1904.06079 (2019) - 2018
- [c25]Huyen T. T. Nguyen
, César Rodríguez, Marcelo Sousa, Camille Coti
, Laure Petrucci
:
Quasi-Optimal Partial Order Reduction. CAV (2) 2018: 354-371 - [c24]Camille Coti, Sami Evangelista, Laure Petrucci
:
One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters. Euro-Par 2018: 432-446 - [c23]Camille Coti, Sami Evangelista, Laure Petrucci
:
State Compression Based on One-Sided Communications for Distributed Model Checking. ICECCS 2018: 41-50 - [c22]Franck Butelle, Camille Coti:
Distributed Snapshot for Rollback-Recovery with One-Sided Communications. HPCS 2018: 614-620 - [i10]Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci:
Quasi-Optimal Partial Order Reduction. CoRR abs/1802.03950 (2018) - 2017
- [c21]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: 445-452 - 2016
- [j5]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): 133-160 (2016) - [c20]Camille Coti, Charles Lakos, Laure Petrucci:
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. PNSE @ Petri Nets 2016: 255-274 - [c19]Camille Coti
:
Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance. BigDataSecurity/HPSC/IDS 2016: 214-219 - [c18]Camille Coti:
Scalable, Robust, Fault-Tolerant Parallel QR Factorization. CSE/EUC/DCABES 2016: 626-633 - [c17]Camille Coti:
Parametric, Probabilistic, Timed Resource Discovery System. Cassting/SynCoP 2016: 53-62 - [i9]Camille Coti, Charles Lakos, Laure Petrucci:
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. CoRR abs/1601.03767 (2016) - [i8]Camille Coti:
Fault Tolerant QR Factorization for General Matrices. CoRR abs/1604.02504 (2016) - [i7]Olivier Bodini, Camille Coti, Julien David:
Parallel Galton Watson Process. CoRR abs/1606.06629 (2016) - 2015
- [c16]Camille Coti, Sami Evangelista, Kais Klai:
Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification. PNSE @ Petri Nets 2015: 315-316 - [c15]Étienne André
, Camille Coti
, Hoang Gia Nguyen:
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. ICFEM 2015: 319-335 - [c14]Camille Coti, Jean-Vincent Loddo, Emmanuel Viennet:
Practical activities in network courses for MOOCs, SPOCs and eLearning with Marionnet. ITHET 2015: 1-6 - [c13]Étienne André, Camille Coti, Hoang Gia Nguyen:
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation). SynCoP 2015: 104-105 - [i6]Camille Coti, Nicolas Grenèche:
OS-level Failure Injection with SystemTap. CoRR abs/1502.01509 (2015) - [i5]Camille Coti, Sami Evangelista, Kais Klai:
Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System. CoRR abs/1502.03431 (2015) - [i4]Camille Coti:
Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance. CoRR abs/1511.00212 (2015) - 2014
- [c12]Camille Coti:
POSH: Paris OpenSHMEM A High-performance OpenSHMEM Implementation for Shared Memory Systems. ICCS 2014: 2422-2431 - [c11]Étienne André
, Camille Coti
, Sami Evangelista:
Distributed Behavioral Cartography of Timed Automata. EuroMPI/ASIA 2014: 109 - [i3]Camille Coti:
POSH: Paris OpenSHMEM: A High-Performance OpenSHMEM Implementation for Shared Memory Systems. CoRR abs/1403.7791 (2014) - 2012
- [j4]Franck Butelle, Camille Coti:
Data Coherency in Distributed Shared Memory. Int. J. Netw. Comput. 2(1): 117-130 (2012) - [c10]Christophe Cérin, Camille Coti, Michel Koskas:
Fault Tolerance Logical Network Properties of Irregular Graphs. ICA3PP (1) 2012: 377-391 - 2011
- [j3]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): 357-369 (2011) - [c9]Franck Butelle, Camille Coti
:
A Model for Coherent Distributed Memory for Race Condition Detection. IPDPS Workshops 2011: 584-590 - [i2]Franck Butelle, Camille Coti:
A Model for Coherent Distributed Memory For Race Condition Detection. CoRR abs/1101.4193 (2011) - 2010
- [j2]Francois Berenger
, Camille Coti
, Kam Y. J. Zhang:
PAR: a PARallel and distributed job crusher. Bioinform. 26(22): 2918-2919 (2010) - [c8]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: 1-11
2000 – 2009
- 2009
- [b1]Camille Coti:
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). University of Paris-Sud, Orsay, France, 2009 - [c7]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: 292-299 - [c6]Camille Coti, Thomas Hérault
, Franck Cappello:
MPI Applications on Grids: A Topology Aware Approach. Euro-Par 2009: 466-477 - [c5]Peter Sollich, Matthew Urry, Camille Coti:
Kernels and learning curves for Gaussian process regression on random graphs. NIPS 2009: 1723-1731 - [c4]George Bosilca, Camille Coti, Thomas Hérault
, Pierre Lemarinier
, Jack J. Dongarra:
Constructing Resiliant Communication Infrastructure for Runtime Environments. PARCO 2009: 441-451 - [i1]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 abs/0912.2572 (2009) - 2008
- [j1]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): 73-84 (2008) - [c3]Camille Coti, Thomas Hérault
, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello:
Grid Services for MPI. CCGRID 2008: 417-424 - 2007
- [c2]Camille Coti, Ala Rezmerita, Thomas Hérault
, Franck Cappello:
Grid Services for MPI. PVM/MPI 2007: 393-394 - 2006
- [c1]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: 127
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-08 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint