Merge pull request #3 from jedbrown/main

Rust and type safety for MPI and scientific computing

Author: diehlpk

index.html

@@ -60,7 +60,7 @@ <h2>Overview</h2>
   </tr>
   <tr>
       <td>Jed Brown</td>
-      <td><a href="#fy254">TBA</a></td>
+      <td><a href="#fy254">Rust and type safety for MPI and scientific computing</a></td>
       <td>02/05/2025</td>
   </tr>
   <tr>
@@ -159,6 +159,23 @@ <h3>Transparent Resource Adaptivity for Task-Based Applications on Supercomputer
 Jonas' research interests include load balancing, fault tolerance, and resource adaptivity for Asynchronous Many-Task (AMT) systems. Recently, he has focused on resource adaptivity in general to optimize the efficient use of supercomputing resources. His work covers a broad spectrum, including the development of advanced job scheduling algorithms, the improvement of application programming using AMT systems, and the interaction between resource managers and jobs.
 </p>
 
+<div id="fy254" />
+<h3>Rust and type safety for MPI and scientific computing</h3>
+Speaker: Jed Brown<br>
+University of Colorado Boulder<br>
+Associate Professor of Computer Science<br><br>
+
+Abstract:
+<p>
+Rust is a modern language that provides type- and memory-safety without a garbage collector, using a concept called lifetimes. Many see Rust as a successor to languages like C and C++, and there are many interested individuals in the computational science community, yet few major projects have made the switch. I'll introduce the language and its ecosystem, including the state of scientific computing libraries. We'll discuss what soundness means for libraries and examine rsmpi, which safely exposes MPI and allows catching many common bugs at compile-time. We'll also discuss type-system approaches to collective semantics, and conclude with an outlook on Rust for scientific computing.
+</p>
+
+Bio:
+<p>
+Jed leads the Physical Prediction, Inference, and Design group at CU Boulder. He is a maintainer of PETSc, libCEED, and rsmpi (Rust bindings to MPI), and is active in many open source communities. He works on high-performance numerical software infrastructure for computational science and engineering, as well as applications such as structural mechanics and materials science, non-Newtonian and turbulent flows, and plasmas. He is co-director of the PSAAP-3 Multidisciplinary Simulation Center for Micromorphic Multiphysics Porous and Particulate Materials Simulations Within Exascale Computing Workflows.
+</p>
+
+
 <div id="fy253"></div>
 <h3>Thermonuclear electron-capture supernovae - Motivating a long-overdue update to the supernova modeling pipeline for the exascale computing age</h3>
 Speaker: Alexander Holas<br>