Principles and Practice of Scalable Systems (PPoSS) - Planning grants and LARGE grants
NSF 21-513
https://www.nsf.gov/pubs/2021/nsf21513/nsf21513.htm

Achieving scalability of systems and applications will therefore require coordinated progress in multiple disciplines such as computer architecture, high-performance computing (HPC), programming languages and compilers, security and privacy, systems, theory, and algorithms. Cross-cutting concerns such as performance (including, but not limited to, time, space, and communication resource usage and energy efficiency), correctness and accuracy (including, but not limited to, emerging techniques for program analysis, testing, debugging, probabilistic reasoning and inference, and verification), security and privacy, robustness and reliability, domain-specific design, and heterogeneity must be taken into account from the outset in all aspects of systems and application design and implementation.

The aim of the Principles and Practice of Scalable Systems (PPoSS) program is to support a community of researchers who will work symbiotically across the multiple disciplines above to perform basic research on scalability of modern applications, systems, and toolchains. The intent is that these efforts will foster the development of principles that lead to rigorous and reproducible artifacts for the design and implementation of large-scale systems and applications across the full hardware/software stack. These principles and methodologies should simultaneously provide guarantees on correctness and accuracy, robustness, and security and privacy of systems, applications, and toolchains. Importantly, as described below, PPoSS specifically seeks to fund projects that span the entire hardware/software stack and will lay the groundwork for sustainable approaches for engineering highly performant, scalable, and robust computing applications.