Camille Coti

Orcid: 0000-0002-1224-7786

According to our database1, Camille Coti authored at least 53 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Integration of Modern HPC Performance Tools in Vlasiator for Exascale Analysis and Optimization.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2024

MQTT2EdgePeer: a Robust and Scalable Brokerless Peer-to-Peer Edge Middleware for Topic-Based Publish/Subscribe.
Proceedings of the 24th IEEE International Symposium on Cluster, 2024

2023
Parallel Computation of Multi-Slice Clustering of Third-Order Tensors.
CoRR, 2023

Just-in-Time autotuning.
CoRR, 2023

STaKTAU: profiling HPC applications' operating system usage.
CoRR, 2023

2022
MARTINI: The Little Match and Replace Tool for Automatic Code Rewriting.
J. Open Source Softw., 2022

A Formal Model for Fault Tolerant Parallel Matrix Factorization.
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.
Proceedings of the Euro-Par 2022: Parallel Processing, 2022

2021
Quasi-optimal partial order reduction.
Formal Methods Syst. Des., 2021

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

A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations.
Concurr. Comput. Pract. Exp., 2021

DiPOSH: A portable OpenSHMEM implementation for short API-to-network path.
Concurr. Comput. Pract. Exp., 2021

SKaMPI-OpenSHMEM: Measuring OpenSHMEM Communication Routines.
Proceedings of the OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks, 2021

Fault-Tolerant LU Factorization Is Low Cost.
Proceedings of the Euro-Par 2021: Parallel Processing, 2021

2020
OpenACC Profiling Support for Clang and LLVM using Clacc and TAU.
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.
Proceedings of the 19th International Symposium on Parallel and Distributed Computing, 2020

2019
On the Road to DiPOSH: Adventures in High-Performance OpenSHMEM.
Proceedings of the Parallel Processing and Applied Mathematics, 2019

Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations.
Proceedings of the Computational Science - ICCS 2019, 2019

2018
Distributed Snapshot for Rollback-Recovery with One-Sided Communications.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

State Compression Based on One-Sided Communications for Distributed Model Checking.
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.
Proceedings of the Euro-Par 2018: Parallel Processing, 2018

Quasi-Optimal Partial Order Reduction.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Solving 0-1 Quadratic Problems with Two-Level Parallelization of the BiqCrunch Solver.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2016
Parametric, Probabilistic, Timed Resource Discovery System.
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.
CoRR, 2016

Parallel Galton Watson Process.
CoRR, 2016

Fast machine reassignment.
Ann. Oper. Res., 2016

Scalable, Robust, Fault-Tolerant Parallel QR Factorization.
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.
Proceedings of the 2nd IEEE International Conference on Big Data Security on Cloud, 2016

Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015
OS-level Failure Injection with SystemTap.
CoRR, 2015

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

Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation).
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

Practical activities in network courses for MOOCs, SPOCs and eLearning with Marionnet.
Proceedings of the 2015 International Conference on Information Technology Based Higher Education and Training, 2015

Enhanced Distributed Behavioral Cartography of Parametric Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2015

Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014
Distributed Behavioral Cartography of Timed Automata.
Proceedings of the 21st European MPI Users' Group Meeting, 2014

POSH: Paris OpenSHMEM A High-performance OpenSHMEM Implementation for Shared Memory Systems.
Proceedings of the International Conference on Computational Science, 2014

2012
Data Coherency in Distributed Shared Memory.
Int. J. Netw. Comput., 2012

Fault Tolerance Logical Network Properties of Irregular Graphs.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

2011
QCG-OMPI: MPI applications on grids.
Future Gener. Comput. Syst., 2011

A Model for Coherent Distributed Memory for Race Condition Detection.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010
PAR: a PARallel and distributed job crusher.
Bioinform., 2010

QR factorization of tall and skinny matrices in a grid computing environment.
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).
PhD thesis, 2009

Constructing Resiliant Communication Infrastructure for Runtime Environments.
Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

Kernels and learning curves for Gaussian process regression on random graphs.
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.
Proceedings of the Euro-Par 2009 Parallel Processing, 2009

Running Parallel Applications with Topology-Aware Grid Middleware.
Proceedings of the Fifth International Conference on e-Science, 2009

2008
Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI Protocols.
Future Gener. Comput. Syst., 2008

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

2007
Grid Services for MPI.
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.
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006


  Loading...