The First Workshop on Software Systems across the National Laboratories aims to foster cross-pollination between academic researchers in programming languages and formal methods, and systems practitioners from the US National Laboratories. It provides a forum where participants can share insights, operational challenges, and best practices, and collaboratively explore solutions to the extreme software demands of government science and security.
We are seeking participants, please feel in the google form here: https://forms.gle/PPAEnux38kE4dGa29
The goal of the workshop is to improve the collective understanding of how rigorous software systems research can be applied to deployed, high-consequence infrastructure, moving beyond clean-slate academic examples.
The workshop examines the unique scale, performance, and assurance constraints of Lab software ecosystems, covering topics such as scalable formal verification, hardware/software co-design, modernization of legacy scientific codebases, domain-specific languages for scientific computing, and software sustainability at exascale.
Whether addressing deep theoretical semantics, practical experience reports from the trenches of Lab software development, or novel approaches to managing complexity, the workshop seeks to provide a platform for exploring diverse perspectives. To support the unique logistical constraints of our government attendees, we utilize a Lab-Inclusive hybrid model to fully support remote participation.
Questions? Use the contact form.
Sun 4 OctDisplayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | |||
08:30 10mTalk | Welcome SSNL Jon Aytac Sandia National Laboratories, Steven Holtzen Northeastern University, Todd Gamblin Lawrence Livermore National Laboratory | ||
08:40 50mTalk | We Can Know, we Must Know SSNL Philip Johnson-Freyd Sandia National Laboratories | ||
09:30 30mTalk | Todd Gamblin SSNL Todd Gamblin Lawrence Livermore National Laboratory | ||
10:30 - 12:00 | |||
10:30 20mTalk | Amal Ahmed SSNL Amal Ahmed Northeastern University, USA | ||
10:50 15mTalk | Lydia Zoghbi SSNL Lydia Zoghbi University of California, San Diego | ||
11:05 15mBreak | Social Break #1 SSNL | ||
11:20 20mTalk | J Tanner Slagel SSNL J Tanner Slagel NASA | ||
11:40 20mTalk | John Sarracino SSNL John Sarracino Lawrence Livermore National Laboratory | ||
13:30 - 15:00 | |||
13:30 20mTalk | Joshua Gancher SSNL Joshua Gancher Northeastern University | ||
13:50 20mTalk | Shibbir Ahmed SSNL Shibbir Ahmed Texas State University | ||
14:10 15mTalk | Social Break #2 SSNL | ||
14:25 20mTalk | Jon Bell SSNL Jonathan Bell Northeastern University | ||
14:45 15mTalk | Caspar Popova SSNL Caspar Popova University of Maryland College Park | ||
15:30 - 17:00 | |||
15:30 15mTalk | Sam Pollard SSNL Samuel D. Pollard Sandia National Laboratories | ||
15:45 15mTalk | Zachary J. Sullivan SSNL Zachary Sullivan University of Oregon | ||
16:00 60mTalk | Breakout Groups SSNL | ||
Accepted Papers
| Title | |
|---|---|
| Amal Ahmed SSNL | |
| Breakout Groups SSNL | |
| Caspar Popova SSNL | |
| John Sarracino SSNL | |
| Jon Bell SSNL | |
| Joshua Gancher SSNL | |
| J Tanner Slagel SSNL | |
| Lydia Zoghbi SSNL | |
| Sam Pollard SSNL | |
| Shibbir Ahmed SSNL | |
| Social Break #1 SSNL | |
| Social Break #2 SSNL | |
| We Can Know, we Must Know SSNL | |
| Welcome SSNL | |
| Zachary J. Sullivan SSNL |
Call for Papers
The Workshop on Software Systems Across the National Laboratories invites submissions that explore the intersection of advanced PL/Systems research and the operational realities of massive-scale government science and security.
We are seeking participants, please feel in the google form here: https://forms.gle/PPAEnux38kE4dGa29
We welcome contributions that address a wide range of topics bridging academia and the National Labs, including but not limited to:
- scalable formal verification using interactive proof assistants for deployed systems
- foundational verification and rigorous semantics for embedded systems and edge-compute
- mechanized semantics and verification for hardware description languages and co-design
- programming abstractions and DSLs for scientific simulation and automated reasoning
- cross-language interoperability and foreign function interfaces in heterogeneous computing
- verified encapsulation and assurance for trustworthy AI and counter-adversarial machine learning
- modernizing and verifying legacy scientific ecosystems (e.g., Fortran, C/C++)
- software frameworks for uncertainty quantification and robust algorithmic execution
- security-typed languages and adaptable control frameworks for high-consequence environments
- package management, reproducibility, and software sustainability in HPC environments
- socio-technical challenges of adopting formal methods within National Laboratory workflows
Submission Guidelines
Prospective authors and presenters should submit a document outlining their proposed contribution. The submission should clearly articulate the topic, key contributions, and relevance to the workshop themes. We welcome the following formats:
-
Technical Papers (6-8 pages): Original research on applying PL/Systems concepts to Lab-relevant problems.
-
Experience & Position Reports (3-4 pages): Reports detailing the realities of Lab software development, or academic position statements proposing new paradigms for high-assurance and scale.
-
Tool Demonstrations (2 pages): Extended abstracts proposing a live demonstration of a tool, compiler, or verification framework.
Submissions on work-in-progress are specifically encouraged. Previously presented or published work that is highly relevant to the workshop themes and would benefit from this specific cross-disciplinary audience is also welcome.
Contributions from National Laboratory staff, computational scientists, and systems practitioners are especially welcome. All presentations and panels will be designed around a Lab-Inclusive format, fully supporting remote speakers and attendees who face travel restrictions.
Submissions will undergo a review process by the program committee, optimized for constructive feedback and collaborative potential.