Loïc Pottier

Orcid: 0000-0002-7681-3521

Affiliations:
  • INRIA, France


According to our database1, Loïc Pottier authored at least 45 papers between 1988 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Performance assessment of ensembles of in situ workflows under resource constraints.
Concurr. Comput. Pract. Exp., 2023

2022
WfCommons: A framework for enabling scientific workflow research and development.
Future Gener. Comput. Syst., 2022

Broadening Student Participation in Cyberinfrastructure Research and Development.
Proceedings of the PEARC '22: Practice and Experience in Advanced Research Computing, Boston, MA, USA, July 10, 2022

Workflow Anomaly Detection with Graph Neural Networks.
Proceedings of the IEEE/ACM Workshop on Workflows in Support of Large-Scale Science, 2022

Co-scheduling Ensembles of In Situ Workflows.
Proceedings of the IEEE/ACM Workshop on Workflows in Support of Large-Scale Science, 2022

WfBench: Automated Generation of Scientific Workflow Benchmarks.
Proceedings of the IEEE/ACM International Workshop on Performance Modeling, 2022

On the Feasibility of Simulation-Driven Portfolio Scheduling for Cyberinfrastructure Runtime Systems.
Proceedings of the Job Scheduling Strategies for Parallel Processing, 2022

SIM-SITU: A Framework for the Faithful Simulation of in situ Processing.
Proceedings of the 18th IEEE International Conference on e-Science, 2022

Application of Edge-to-Cloud Methods Toward Deep Learning.
Proceedings of the 18th IEEE International Conference on e-Science, 2022

Accelerating Scientific Workflows on HPC Platforms with In Situ Processing.
Proceedings of the 22nd IEEE International Symposium on Cluster, 2022

2021
A lightweight method for evaluating <i>in situ</i> workflow efficiency.
J. Comput. Sci., 2021

SIM-SITU: A Framework for the Faithful Simulation of in-situ Workflows.
CoRR, 2021

Workflows Community Summit: Advancing the State-of-the-art of Scientific Workflows Management Systems Research and Development.
CoRR, 2021

Workflows Community Summit: Bringing the Scientific Workflows Community Together.
CoRR, 2021


A Performance Characterization of Scientific Machine Learning Workflows.
Proceedings of the 2021 IEEE Workshop on Workflows in Support of Large-Scale Science (WORKS), 2021

Assessing Resource Provisioning and Allocation of Ensembles of In Situ Workflows.
Proceedings of the ICPP Workshops 2021: 50th International Conference on Parallel Processing, 2021

2020
WorkflowHub: Community Framework for Enabling Scientific Workflow Research and Development - Technical Report.
CoRR, 2020

WorkflowHub: Community Framework for Enabling Scientific Workflow Research and Development.
Proceedings of the IEEE/ACM Workflows in Support of Large-Scale Science, 2020

A Novel Metric to Evaluate In Situ Workflows.
Proceedings of the Computational Science - ICCS 2020, 2020

Modeling the Performance of Scientific Workflow Executions on HPC Platforms with Burst Buffers.
Proceedings of the IEEE International Conference on Cluster Computing, 2020

2019
Co-scheduling HPC workloads on cache-partitioned CMP platforms.
Int. J. High Perform. Comput. Appl., 2019

Characterizing In Situ and In Transit Analytics of Molecular Dynamics Simulations for Next-Generation Supercomputers.
Proceedings of the 15th International Conference on eScience, 2019


Exploration of Workflow Management Systems Emerging Features from Users Perspectives.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2018
Co-scheduling for large-scale applications : memory and resilience. (Ordonnancement concurrent d'applications à grande échelle : mémoire et résilience).
PhD thesis, 2018

Resilient co-scheduling of malleable applications.
Int. J. High Perform. Comput. Appl., 2018

Co-scheduling Amdahl applications on cache-partitioned systems.
Int. J. High Perform. Comput. Appl., 2018

A Performance Model to Execute Workflows on High-Bandwidth-Memory Architectures.
Proceedings of the 47th International Conference on Parallel Processing, 2018

2017
Co-Scheduling Algorithms for Cache-Partitioned Systems.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017

2016
Resilient Application Co-scheduling with Processor Redistribution.
Proceedings of the 45th International Conference on Parallel Processing, 2016

2008
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics.
Proceedings of the LPAR 2008 Workshops, 2008

Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving.
Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008

2003
Visualizing Geometrical Statements with GeoView.
Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

2002
Mathematical Quotients and Quotient Types in Coq.
Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2001
Extraction dans le Calcul des Constructions Inductives.
Proceedings of the Journées francophones des langages applicatifs (JFLA'01), 2001

1999
CtCoq: an environment for mathematical reasoning.
SIGSAM Bull., 1999

On-Line Handwritten Formula Recognition using Hidden Markov Models and Context Dependent Graph Grammars.
Proceedings of the Fifth International Conference on Document Analysis and Recognition, 1999

1998
Mathematical formula recognition using graph grammar.
Proceedings of the Document Recognition V, San Jose, CA, USA, January 24, 1998, 1998

1996
The Euclidean Algorithm in Dimension <i>n</i>.
Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, 1996

1992
The Extensions of the Sisyphe Computer Algebra System: ulysse and athena.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1992

1991
Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms.
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

A Solution of the Complement Problem in Associative-Commutative Theories.
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1990
The design of SISYPHE: a system for doing symbolic and algebraic computations.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1988
Greater Easy Common Divisor and Standard Basis Completion Algorithms.
Proceedings of the Symbolic and Algebraic Computation, 1988


  Loading...