1e28069aeSJunchao Zhang--- 2e28069aeSJunchao Zhangorphan: true 3e28069aeSJunchao Zhang--- 4e28069aeSJunchao Zhang 5e28069aeSJunchao Zhang(2026-feb-cass-petsc-bof)= 6e28069aeSJunchao Zhang 7e28069aeSJunchao Zhang*2026 Consortium for the Advancement of Scientific Software ([CASS](https://cass.community/)) BoF Days -- the PETSc/TAO Session (Virtual via Zoom)* 8e28069aeSJunchao Zhang 9e28069aeSJunchao Zhang 10e28069aeSJunchao Zhang# PETSc/TAO: Recent Advances, User Experiences, and Community Discussion 11e28069aeSJunchao Zhang 12e28069aeSJunchao Zhang**Time:** Feb 11, 2026, 10:00am - 11:30am (Central Time, US and Canada) 13e28069aeSJunchao Zhang 14*438de234SJunchao Zhang**Registration:** <del>https://argonne.zoomgov.com/meeting/register/ay4bMcRgSZaZ-l7u9AzAzQ</del> (expired) 15e28069aeSJunchao Zhang 16e28069aeSJunchao Zhang**Note:** All participants **must register** to receive their own Zoom link. The step is brief and requires only a name and email address. The meeting will not be recorded. 17e28069aeSJunchao Zhang 18*438de234SJunchao Zhang## Agenda: 19e28069aeSJunchao Zhang 20e28069aeSJunchao Zhang| Time | Speaker | Affiliation | Title | 21e28069aeSJunchao Zhang| :---- | :---- | :---- | :---- | 22e28069aeSJunchao Zhang| 10:00 AM | Barry Smith | Argonne National Laboratory | Welcome and introduction | 23*438de234SJunchao Zhang| 10:05 AM | Vincent Robert | CEA Paris-Saclay and Sorbonne Université | [Solving saddle-point systems from contact mechanics in HPC context using PETSc](#talk-vincent-robert) (Slides not available) | 24*438de234SJunchao Zhang| 10:12 AM | Bahaâ Sidi | EDF R\&D, ENPC, and Sorbonne Université | [Scalable domain decomposition solvers for hybrid high-order methods in PETSc](#talk-bahaa-sidi) ([Slides][s_01]) | 25*438de234SJunchao Zhang| 10:19 AM | Barry Smith, Richard Tran Mills, Hansol Suh, Junchao Zhang | Argonne National Laboratory | [PETSc new features update](#talk-petsc-anl) ([Slides-1][s_02], [Slides-2][s_03], [Slides-3][s_04]) | 26*438de234SJunchao Zhang| 10:42 AM | Xiaodong Liu | Remcom Inc | [A PETSc-based vector finite element method code for solving the frequency-domain Maxwell equations](#talk-xiaodong-liu) (Slides not available)| 27*438de234SJunchao Zhang| 10:49 AM | Jeremy L Thompson | University of Colorado Boulder | [Ratel \- using MI300A APUs with libCEED and PETSc](#talk-jeremy-thompson) ([Slides][s_06]) | 28*438de234SJunchao Zhang| 10:56 AM | Darsh Nathawani | Louisiana State University | [PETSc in Proteus](#talk-darsh-nathawani) ([Slides][s_07]) | 29103c9778SJunchao Zhang| 11:03 AM | All participants | | Users take this opportunity to provide feedback and make feature requests | 30e28069aeSJunchao Zhang| 11:08 AM | Barry Smith | Argonne National Laboratory | Open the PETSc/AI discussion | 31*438de234SJunchao Zhang| 11:10 AM | Mark Adams | Lawrence Berkeley National Laboratory | [Using AI code assistants for large projects with PETSc](#talk-mark-adams) ([Slides][s_08])| 32e28069aeSJunchao Zhang| 11:17 AM | All participants | | Open discussion about PETSc in the era of AI and large language models | 33e28069aeSJunchao Zhang| 11:30 AM | BoF concludes | | | 34e28069aeSJunchao Zhang 35e28069aeSJunchao Zhang 36e28069aeSJunchao Zhang 37e28069aeSJunchao Zhang## List of Abstracts: 38e28069aeSJunchao Zhang 39e28069aeSJunchao Zhang(talk-vincent-robert)= 40e28069aeSJunchao Zhang 41e28069aeSJunchao Zhang:::{topic} **Solving saddle-point systems from contact mechanics in HPC context using PETSc** 42e28069aeSJunchao Zhang 43e28069aeSJunchao Zhang**Speaker:** Vincent Robert 44e28069aeSJunchao Zhang 45e28069aeSJunchao Zhang**Affiliation:** CEA Paris-Saclay and Sorbonne Université 46e28069aeSJunchao Zhang 47e28069aeSJunchao Zhang**Abstract:** The French Alternative Energies and Atomic Energy Commission (CEA), is one of the leading French public research organisations. MANTA is a new CEA open-source industrial-strength simulation code which is dedicated to the solving, in a high performance computing context, of partial differential equations mainly from mechanics of deformable structures and their interactions. MANTA relies on PETSc to solve all its linear systems. Using PETSc, we focus on developing numerical methods to solve saddle-point systems arising from large-scale 3D contact problems, with the goal to include them in MANTA. Our approach is based on a projection method which transforms the indefinite saddle-point system into a positive definite reduced system. We propose several preconditioning matrices, introduce a scaling factor that improves the conditioning of the preconditioned system, and fix several issues related to the parallel distribution of the matrices. Using the Conjugate Gradient method as the iterative linear solver with an Algebraic Multigrid Method for the preconditioning, the current numerical tests show great scalability potential of the method. 48e28069aeSJunchao Zhang::: 49e28069aeSJunchao Zhang 50e28069aeSJunchao Zhang 51e28069aeSJunchao Zhang(talk-bahaa-sidi)= 52e28069aeSJunchao Zhang 53103c9778SJunchao Zhang:::{topic} **Scalable domain decomposition solvers for hybrid high-order methods in PETSc** 54e28069aeSJunchao Zhang 55e28069aeSJunchao Zhang**Speaker:** Bahaâ Sidi 56e28069aeSJunchao Zhang 57e28069aeSJunchao Zhang**Affiliation:** EDF R\&D, ENPC, and Sorbonne Université 58e28069aeSJunchao Zhang 59103c9778SJunchao Zhang**Abstract:** This talk presents ongoing work carried out at EDF R&D on the coupling of hybrid high-order (HHO) discretizations with scalable linear solvers available in PETSc. The objective is to efficiently solve large-scale linear elasticity problems arising from HHO methods, which naturally lead to block-structured systems separating cell and face unknowns. We focus on Schur complement strategies based on PCFIELDSPLIT, where the cell block is eliminated locally and the resulting interface problem is solved using a combination of explicit Schur complements, Krylov methods, and domain decomposition preconditioners. 60e28069aeSJunchao Zhang::: 61e28069aeSJunchao Zhang 62e28069aeSJunchao Zhang 63e28069aeSJunchao Zhang(talk-petsc-anl)= 64e28069aeSJunchao Zhang 65103c9778SJunchao Zhang:::{topic} **PETSc new features update** 66e28069aeSJunchao Zhang 67e28069aeSJunchao Zhang**Speaker:** Barry Smith, Richard Tran Mills, Hansol Suh, Junchao Zhang 68e28069aeSJunchao Zhang 69e28069aeSJunchao Zhang**Affiliation:** Argonne National Laboratory 70e28069aeSJunchao Zhang 71e28069aeSJunchao Zhang**Abstract:** PETSc developers at Argonne will give an update on new features in PETSc, including the new PETSc Fortran bindings, PetscRegressor, TaoTerm, PETSc/GPU backends, mixed-precision and out-of-core facility support in PETSc/MUMPS, and integration with OpenFOAM via petsc4foam, among others. 72e28069aeSJunchao Zhang::: 73e28069aeSJunchao Zhang 74e28069aeSJunchao Zhang 75e28069aeSJunchao Zhang(talk-xiaodong-liu)= 76e28069aeSJunchao Zhang 77e28069aeSJunchao Zhang:::{topic} **A PETSc-based vector finite element method code for solving the frequency-domain Maxwell equations** 78e28069aeSJunchao Zhang 79e28069aeSJunchao Zhang**Speaker:** Xiaodong Liu 80e28069aeSJunchao Zhang 81e28069aeSJunchao Zhang**Affiliation:** Remcom Inc 82e28069aeSJunchao Zhang 83103c9778SJunchao Zhang**Abstract:** A PETSc-based vector finite element method (FEM) code is under active development at Remcom Inc. for solving the frequency-domain Maxwell equations. The current implementation supports key electromagnetic analysis capabilities, including lumped-port excitation, perfectly matched layer (PML) boundary conditions, far-field radiation pattern computation, and input impedance evaluation. 84e28069aeSJunchao Zhang 85e28069aeSJunchao ZhangThe code is built on PETSc’s DMPlex infrastructure to manage fully unstructured meshes, enabling scalable assembly and solution workflows. Direct solvers based on MUMPS have been validated on problems with up to 13 million complex-valued degrees of freedom, with scalability currently constrained by available computational resources. 86e28069aeSJunchao Zhang 87e28069aeSJunchao ZhangOngoing work is twofold. First, we are investigating iterative solvers, in particular BDDC-preconditioned FGMRES, where additional challenges arise from the vector-valued nature of the FEM discretization. Second, future development will target expanded electromagnetic modeling capabilities and improved solver robustness and scalability, with an emphasis on industrial applicability and alignment with emerging exascale computing platforms. 88e28069aeSJunchao Zhang::: 89e28069aeSJunchao Zhang 90e28069aeSJunchao Zhang 91e28069aeSJunchao Zhang(talk-jeremy-thompson)= 92e28069aeSJunchao Zhang 93103c9778SJunchao Zhang:::{topic} **Ratel - using MI300A APUs with libCEED and PETSc** 94e28069aeSJunchao Zhang 95e28069aeSJunchao Zhang**Speaker:** Jeremy L Thompson 96e28069aeSJunchao Zhang 97e28069aeSJunchao Zhang**Affiliation:** University of Colorado Boulder 98e28069aeSJunchao Zhang 99e28069aeSJunchao Zhang**Abstract:** AMD's MI300A APUs have unified memory accessible by both the CPU and APU cores on the accelerator, eliminating the need for communication between device and host memory spaces. In this talk, we discuss our work with the solid mechanics library Ratel to use this unified memory model for FEM and material point method (MPM) problems. Ratel uses PETSc's mesh management and solvers while relying upon libCEED for the local action of the linear and non-linear operators in a matrix-free fashion. Ratel has successfully scaled simulations to tens of billions of material points with the MI300As. 100e28069aeSJunchao Zhang::: 101e28069aeSJunchao Zhang 102e28069aeSJunchao Zhang 103e28069aeSJunchao Zhang(talk-darsh-nathawani)= 104e28069aeSJunchao Zhang 105e28069aeSJunchao Zhang:::{topic} **PETSc in Proteus** 106e28069aeSJunchao Zhang 107e28069aeSJunchao Zhang**Speaker:** Darsh Nathawani 108e28069aeSJunchao Zhang 109e28069aeSJunchao Zhang**Affiliation:** Louisiana State University 110e28069aeSJunchao Zhang 111e28069aeSJunchao Zhang**Abstract:** Proteus is a mixed language toolkit that offers models for continuum mechanical processes described by PDEs. It provides CG and DG discretization, classic linear and nonlinear solvers, and time integrators. PETSc is primarily integrated to use Vec and Mat objects as well as KSP and PC to build solvers. Currently, we are expanding PETSc support by using DMPlex for our meshing framework. 112e28069aeSJunchao Zhang::: 113e28069aeSJunchao Zhang 114e28069aeSJunchao Zhang 115e28069aeSJunchao Zhang(talk-mark-adams)= 116e28069aeSJunchao Zhang 117e28069aeSJunchao Zhang:::{topic} **Using AI code assistants for large projects with PETSc** 118e28069aeSJunchao Zhang 119e28069aeSJunchao Zhang**Speaker:** Mark Adams 120e28069aeSJunchao Zhang 121e28069aeSJunchao Zhang**Affiliation:** Lawrence Berkeley National Laboratory 122e28069aeSJunchao Zhang 123e28069aeSJunchao Zhang**Abstract:** I will discuss my experience over the past 4 months using AI code assistants (eg, Claude, Gemini, GPT5), integrated with IDEs (eg, VS Code with Roo) for large projects using or developing in PETSc. I have used chatGPT for several months for data processing and very small coding projects. GPT does not seem as good as Claude and Gemini at scientific code, such as PETSc, but I still find it useful for very quick problems. 124e28069aeSJunchao Zhang 125e28069aeSJunchao Zhang 126e28069aeSJunchao ZhangI will give a quick demonstration and discuss my experience developing a data assimilation tool in PETSc for shallow water equations—both new topics for me. I will provide tips on using these tools and give an idea of how well they currently support developing PETSc C codes. 127e28069aeSJunchao Zhang::: 128*438de234SJunchao Zhang 129*438de234SJunchao Zhang 130*438de234SJunchao Zhang[s_01]: https://petsc.gitlab.io/annual-meetings/BoFs/2026-02/BahaaSidi.pdf 131*438de234SJunchao Zhang[s_02]: https://petsc.gitlab.io/annual-meetings/BoFs/2026-02/RichardMills.pdf 132*438de234SJunchao Zhang[s_03]: https://petsc.gitlab.io/annual-meetings/BoFs/2026-02/HansolSuh.pdf 133*438de234SJunchao Zhang[s_04]: https://petsc.gitlab.io/annual-meetings/BoFs/2026-02/JunchaoZhang.pdf 134*438de234SJunchao Zhang 135*438de234SJunchao Zhang[s_06]: https://petsc.gitlab.io/annual-meetings/BoFs/2026-02/JeremyThompson.pdf 136*438de234SJunchao Zhang[s_07]: https://petsc.gitlab.io/annual-meetings/BoFs/2026-02/DarshNathawani.pdf 137*438de234SJunchao Zhang[s_08]: https://petsc.gitlab.io/annual-meetings/BoFs/2026-02/MarkAdams.pdf 138