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.
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.
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 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.