49 citations · 109 across the 8 of their papers we have counts for
11 papers
A Terminology for Scientific Workflow Systems
Frédéric Suter, Tainã Coleman, İlkay Altintaş +23
The term scientific workflow has evolved over the last two decades to encompass a broad range of compositions of interdependent compute tasks and data movements. It has also become…
Workflows Community Summit 2022: A Roadmap Revolution
Rafael Ferreira da Silva, Rosa M. Badia, Venkat Bala +102
Scientific workflows have become integral tools in broad scientific computing use cases. Science discovery is increasingly dependent on workflows to orchestrate large and complex s…
WfBench: Automated Generation of Scientific Workflow Benchmarks
Tainã Coleman, Henri Casanova, Ketan Maheshwari +6
The prevalence of scientific workflows with high computational demands calls for their execution on various distributed computing platforms, including large-scale leadership-class…
Co-scheduling Ensembles of In Situ Workflows
Tu Mai Anh Do, Loïc Pottier, Rafael Ferreira da Silva +4
Molecular dynamics (MD) simulations are widely used to study large-scale molecular systems. HPC systems are ideal platforms to run these studies, however, reaching the necessary si…
SIM-SITU: A Framework for the Faithful Simulation of in-situ Workflows
Valentin Honoré, Tu Mai Anh Do, Loïc Pottier +3
The amount of data generated by numerical simulations in various scientific domains such as molecular dynamics, climate modeling, biology, or astrophysics, led to a fundamental red…
A Community Roadmap for Scientific Workflows Research and Development
Rafael Ferreira da Silva, Henri Casanova, Kyle Chard +26
The landscape of workflow systems for scientific applications is notoriously convoluted with hundreds of seemingly equivalent workflow systems, many isolated research claims, and a…
Workflows Community Summit: Advancing the State-of-the-art of Scientific Workflows Management Systems Research and Development
Rafael Ferreira da Silva, Henri Casanova, Kyle Chard +55
Scientific workflows are a cornerstone of modern scientific computing, and they have underpinned some of the most significant discoveries of the last decade. Many of these workflow…
WfCommons: A Framework for Enabling Scientific Workflow Research and Development
Tainã Coleman, Henri Casanova, Loïc Pottier +3
Scientific workflows are a cornerstone of modern scientific computing. They are used to describe complex computational applications that require efficient and robust management of…
Workflows Community Summit: Bringing the Scientific Workflows Community Together
Rafael Ferreira da Silva, Henri Casanova, Kyle Chard +42
Scientific workflows have been used almost universally across scientific domains, and have underpinned some of the most significant discoveries of the past several decades. Many of…
WorkflowHub: Community Framework for Enabling Scientific Workflow Research and Development -- Technical Report
Rafael Ferreira da Silva, Loïc Pottier, Tainã Coleman +2
Scientific workflows are a cornerstone of modern scientific computing. They are used to describe complex computational applications that require efficient and robust management of…
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics
Loïc Pottier
We describe how we connected three programs that compute Groebner bases to Coq, to do automated proofs on algebraic, geometrical and arithmetical expressions. The result is a set o…