Skip to the page
Get started – free

Data / Research funding / Software & Hardware Foundation

NSF program Software & Hardware Foundation (779800): 669 awards, $253M to 165 organizations

669 NSF awards ($253M) under the program element Software & Hardware Foundation (779800) to 165 organizations, fiscal years 2022 to 2026, read 2026-11-03.

SpecStream is the live web data engine for teams and agents. It reads the NIH and NSF award files each time the agencies update them, and this page is that reading, joined to the open federal funding opportunities on Grants.gov. Ask for the awards you track by topic, organization or state and new awards arrive in your sheet, CRM, Slack or agent as the agencies publish them.

Get awards on Software & Hardware FoundationWatch Software & Hardware Foundation
Program element code
779800
Directorate
Directorate for Computer and Information Science and Engineering
Division
Software & Systems Foundations

Awards

The 500 largest of 669 awards in the window.

AwardAgencyInstitute or divisionFiscal yearAmount in windowStartEndPrincipal investigatorSource
SHF: Medium: Automated Software Engineering Techniques for Improving the Accessibility of SoftwareNSFSoftware & Systems Foundations2022$1,299,985October 1, 2022September 30, 2027Sam Maleknsf.gov
SHF: Medium: Scallop: A Neurosymbolic Programming Framework for Combining Logic with Deep LearningNSFSoftware & Systems Foundations2023$1,220,000October 1, 2023September 30, 2027Mayur Naiknsf.gov
SaTC: CORE: Medium: Securing WebAssembly using Static Analysis and Binary InstrumentationNSFCyber, Physical, & Intelligent Systems2023$1,210,000October 1, 2023September 30, 2027Frank Tipnsf.gov
SHF: Medium: Exploring an Edge Platform Design Trajectory for Next Generation XR ApplicationsNSFSoftware & Systems Foundations2022$1,200,000October 1, 2022September 30, 2026Chitaranjan Dasnsf.gov
SHF: Medium: Automating High Level Synthesis via Graph-Centric Deep LearningNSFDivision of Computing and Communication Foundations2022$1,200,000October 1, 2022September 30, 2025Jason Congnsf.gov
CCF:SHF:Medium: Automated End-to-End Synthesis for Programmable Analog & Mixed-Signal SystemsNSFSoftware & Systems Foundations2022$1,200,000July 1, 2022June 30, 2027Jennifer O Haslernsf.gov
SHF: Medium: Efficient and Scalable Pattern Matching via Hardware-Software Co-DesignNSFSoftware & Systems Foundations2023$1,200,000August 1, 2023July 31, 2027Kaiyuan Yangnsf.gov
SaTC: CORE: Medium: Bedrock: Security for Smart ContractsNSFCyber, Physical, & Intelligent Systems2024$1,200,000October 1, 2024September 30, 2027Christopher I Kruegelnsf.gov
SHF: Medium: Reasoning about Multiplicity in the Machine Learning PipelineNSFSoftware & Systems Foundations2024$1,200,000October 1, 2024September 30, 2027Loris DAntoninsf.gov
SHF: Medium: Cross-Stack Algorithm-Hardware-Systems Optimization Towards Ubiquitous On-Device 3D IntelligenceNSFSoftware & Systems Foundations2023$1,198,376July 1, 2023June 30, 2027Yingyan C Linnsf.gov
SHF: Medium: More Reliable Image Networks through Scene-based Specification, Neuro-symbolic Training, and Systematic Specification-driven TestingNSFSoftware & Systems Foundations2023$1,174,741July 1, 2023June 30, 2027Sebastian G Elbaumnsf.gov
SHF: Medium: Provably Correct, Energy-Efficient Edge ComputingNSFSoftware & Systems Foundations2024$1,139,000October 1, 2024September 30, 2028Nathan Beckmannnsf.gov
SHF: Medium: A Tensor Formulation for Graph AnalyticsNSFSoftware & Systems Foundations2024$1,091,988September 1, 2024August 31, 2028John D Owensnsf.gov
SHF: Medium:DILSE: Codesigning Decentralized Incremental Learning System via Streaming Data Summarization on EdgeNSFSoftware & Systems Foundations2024$1,063,823January 1, 2024July 31, 2027Yingyan C Linnsf.gov
SHF: Medium: Usable Property-Based TestingNSFSoftware & Systems Foundations2024$1,000,000May 1, 2024April 30, 2027Benjamin C Piercensf.gov
SHF: CSR: Medium: Practical and Efficient Accelerators with High-Frequency ChipletsNSFSoftware & Systems Foundations2025$1,000,000July 15, 2025June 30, 2029Jose Renaunsf.gov
Collaborative Research: SHF: Medium: Towards More Human-like AI Models of Source CodeNSFSoftware & Systems Foundations2022$992,000June 15, 2022May 31, 2027Collin McMillannsf.gov
Collaborative Research: SHF: Medium: A Comprehensive Modeling Framework for Cross-Layer Benchmarking of In-Memory Computing Fabrics: From Devices to ApplicationsNSFSoftware & Systems Foundations2022$921,514September 1, 2022August 31, 2027Michael T Niemiernsf.gov
SHF: Medium: Neurosymbolic Agents for Formal Theorem-ProvingNSFSoftware & Systems Foundations2024$902,673June 1, 2024May 31, 2028Swarat Chaudhurinsf.gov
Collaborative Research: SHF: Medium: Towards Harmonious Federated Intelligence in Heterogeneous Edge Computing via Data MigrationNSFSoftware & Systems Foundations2023$900,045August 15, 2023July 31, 2027Linke Guonsf.gov
SHF: FET: Medium: Designing and Synthesizing a Quantum Circuit CompilerNSFSoftware & Systems Foundations2022$900,000July 1, 2022June 30, 2027Aws Albarghouthinsf.gov
Collaborative Research: SHF: Medium: Automated energy-efficient sensor data winnowing using native analog processingNSFSoftware & Systems Foundations2022$900,000October 1, 2022September 30, 2027Sachin S Sapatnekarnsf.gov
SHF: Medium: Language Support for Sound and Efficient Programmable InferenceNSFSoftware & Systems Foundations2023$900,000October 1, 2023September 30, 2027Jan Hoffmannnsf.gov
Collaborative Research: SHF: Medium: Natural Language Models with Execution Data for Software TestingNSFSoftware & Systems Foundations2023$900,000October 1, 2023September 30, 2027Milos Gligoricnsf.gov
SHF: Medium: Custom Computing for Genome SequencingNSFSoftware & Systems Foundations2024$900,000June 1, 2024May 31, 2028Satish Narayanasamynsf.gov
SHF: Medium: A Neursoymbolic Framework for High-level Synthesis of Multi-Task Learning (NeuHLS)NSFSoftware & Systems Foundations2025$900,000October 1, 2025September 30, 2029Salma Elmalakinsf.gov
SaTC: CORE: Medium: Practical Fine-Grained Information Flow Control with RustNSFCyber, Physical, & Intelligent Systems2024$899,999October 1, 2024September 30, 2027Michael D Bondnsf.gov
RAISE: MemComputing: From Software to HardwareNSFElectrical, Communications, & Cyber Systems2022$883,104August 15, 2022July 31, 2027Massimiliano Di Ventransf.gov
SHF: MEDIUM: Extensible LCF-style Theorem Proving with Dependent RowsNSFSoftware & Systems Foundations2025$877,000October 1, 2025September 30, 2029John Garrett Morrisnsf.gov
SHF: Foundations and Applications of Type-Based Under-Approximate ReasoningNSFSoftware & Systems Foundations2026$866,530September 1, 2026August 31, 2030Suresh Jagannathannsf.gov
SHF: Efficient, Scalable and Certified Convex Hull Computation in High Dimensions for Verifying Neural Networks and Generating Correctly-rounded Math LibrariesNSFSoftware & Systems Foundations2026$850,000July 1, 2026June 30, 2030Mridul Aanjaneyansf.gov
GOALI: SHF: Automated Verification and Validation for Quantum SoftwareNSFSoftware & Systems Foundations2026$850,000July 1, 2026June 30, 2030Liyi Linsf.gov
SHF: Automated Reasoning with Cardinality Constraints (ARCC)NSFSoftware & Systems Foundations2026$850,000August 1, 2026July 31, 2030Marienus Heulensf.gov
SHF: Integrating Cost and Behavior in Type TheoryNSFSoftware & Systems Foundations2026$850,000July 1, 2026June 30, 2029Robert Harpernsf.gov
Collaborative Research: SHF: Medium: SCIOPT: Toward Certifiable Compression-Aware SciML SystemsNSFSoftware & Systems Foundations2024$819,000October 1, 2024September 30, 2027Ganesh L Gopalakrishnannsf.gov
Collaborative Research: SHF: Medium: Co-optimizing Spectral Algorithms and Systems for High-Performance Graph LearningNSFSoftware & Systems Foundations2022$800,000July 1, 2022June 30, 2027Zhuo Fengnsf.gov
Collaborative Research: SHF: Medium: Approximate Computing for Machine Learning Security: Foundations and Accelerator DesignNSFSoftware & Systems Foundations2022$800,000August 1, 2022July 31, 2027Nael B Abu-Ghazalehnsf.gov
SHF: Medium: Next Generation Equality Saturation by way of DatalogNSFSoftware & Systems Foundations2023$800,000October 1, 2023September 30, 2026Zachary Tatlocknsf.gov
Collaborative Research: SHF: Medium: Tiny Chiplets for Big AI: A Reconfigurable-On-Package SystemNSFSoftware & Systems Foundations2024$800,000July 1, 2024June 30, 2028Yu Caonsf.gov
SHF: Precision Emulation on AI Chips (PEACH): Challenges, Opportunities, and Impact on Scientific ComputingNSFSoftware & Systems Foundations2026$800,000July 1, 2026June 30, 2030Ahmad M Ahmadnsf.gov
Collaborative Research: SHF: Medium: Verifying Deep Neural Networks with Spintronic Probabilistic ComputersNSFSoftware & Systems Foundations2023$799,526July 1, 2023June 30, 2027Kerem Y Camsarinsf.gov
SHF: Medium: Reasoning about Multiplicity in the Machine Learning PipelineNSFDivision of Computing and Communication Foundations2024$790,797October 1, 2024October 31, 2024Loris DAntoninsf.gov
Collaborative Research: SHF: Medium: EPOD: Data Reduction for Science through Efficient Processing Without DecompressionNSFSoftware & Systems Foundations2025$765,000July 15, 2025June 30, 2028Xipeng Shennsf.gov
FMitF: Track I: Flexible Data Plane ProgrammingNSFCSE - Core Programs2023$749,972October 1, 2023September 30, 2027Xiaokang Qiunsf.gov
Collaborative Research: SHF: Medium: Toward Understandability and Interpretability for Neural Language Models of Source CodeNSFDivision of Computing and Communication Foundations2023$745,197October 1, 2023April 30, 2024Kevin P Morannsf.gov
Collaborative Research: SHF: Medium: Toward Understandability and Interpretability for Neural Language Models of Source CodeNSFSoftware & Systems Foundations2024$745,197January 15, 2024September 30, 2027Kevin P Morannsf.gov
SHF: FET: Programming Foundations for Quantum Random AccessNSFSoftware & Systems Foundations2026$742,665October 1, 2026September 30, 2029Chenhui Yuannsf.gov
Collaborative Research: SHF: III: Medium: Effortless Data Locality Through Near-memory On-the-fly Data TransformationNSFSoftware & Systems Foundations2024$727,999August 1, 2024July 31, 2028Renato Mancusonsf.gov
SHF: Medium: Panther: New Highly Parallel Hardware and Software System for Graph-based Data Analytics to Improve Artificial Intelligence Reliability and EfficiencyNSFSoftware & Systems Foundations2025$724,000July 15, 2025June 30, 2027Mattan Ereznsf.gov
SHF: Medium: Compositional Semantics-Guided SynthesisNSFSoftware & Systems Foundations2025$719,494November 1, 2024September 30, 2027Loris DAntoninsf.gov
SHF: Medium: Improving the Efficiency and Applicability of Decision DiagramsNSFSoftware & Systems Foundations2022$716,000October 1, 2022June 30, 2027Andrew S Minernsf.gov
CAREER: Efficient Large Language Model Inference Through Codesign: Adaptable Software Partitioning and FPGA-based Distributed HardwareNSFSoftware & Systems Foundations2024$696,112May 1, 2024April 30, 2029Mohamed S Abdelfattahnsf.gov
CAREER: Scientist-in-the-loop-software testingNSFSoftware & Systems Foundations2024$689,772March 15, 2024February 28, 2029Joshua S Sunshinensf.gov
Collaborative Research: SHF: Medium: Near-Hardware Program Repair and OptimizationNSFSoftware & Systems Foundations2022$675,989October 1, 2022September 30, 2027Westley Weimernsf.gov
Collaborative Research: SHF: Medium: Semantic Aware Code Generation with Large Language ModelsNSFSoftware & Systems Foundations2025$675,000October 1, 2025September 30, 2028Limin Jiansf.gov
CAREER: SHF: Rethinking the Control Plane for Chiplet-Based Heterogeneous SystemsNSFSoftware & Systems Foundations2023$674,920September 1, 2023August 31, 2028Matthew D Sinclairnsf.gov
CAREER : Filling In the Design Landscape of Probabilistic Programming LanguagesNSFSoftware & Systems Foundations2025$674,830June 1, 2025May 31, 2030Steven Holtzennsf.gov
Collaborative Research: SHF: Medium: Learning Semantics of Code To Automate Software Assurance TasksNSFSoftware & Systems Foundations2023$666,000October 1, 2023September 30, 2027Baishakhi Raynsf.gov
Collaborative Research: SHF: Medium: Environment-Centric Analysis and Optimization for Higher-Order LanguagesNSFSoftware & Systems Foundations2022$664,000July 1, 2022June 30, 2027Olin G Shiversnsf.gov
SHF: Design Automation of Resilient and Interpretable Neural Architectures for Safety-Critical SystemsNSFSoftware & Systems Foundations2026$650,000July 1, 2026June 30, 2029Fadi J Kurdahinsf.gov
SHF: Small: Strengthening Correctness of Date and Time Logic in Software SystemsNSFSoftware & Systems Foundations2025$647,993April 1, 2025March 31, 2028Rohan Padhyensf.gov
CAREER: Foundations of Statistical Program ReasoningNSFSoftware & Systems Foundations2022$640,000February 1, 2022January 31, 2027Mukund Raghothamannsf.gov
Collaborative Research: SHF: Medium: Models and Analyses for Robotic and Autonomous Systems Operating in Complex and Unpredictable Real-worldNSFSoftware & Systems Foundations2024$639,945June 15, 2024May 31, 2027Claire Le Gouesnsf.gov
SHF: Small: Toward Fully Automated Formal Software VerificationNSFSoftware & Systems Foundations2022$635,852October 1, 2022September 30, 2027Yuriy Brunnsf.gov
SHF: Small: Energy and Computational Efficient Deep Generative AI Models via Emerging Devices, Circuits, and ArchitecturesNSFSoftware & Systems Foundations2022$635,223July 15, 2022June 30, 2027Qilian Liangnsf.gov
CAREER: SHF: Enhancing Serverless Efficiency Through Microarchitectural CheckpointingNSFSoftware & Systems Foundations2023$632,606September 1, 2023August 31, 2028Jonathan M Balkindnsf.gov
SHF: Small: Software Testing Cognizant of Just-in-time CompilersNSFSoftware & Systems Foundations2022$632,000October 1, 2022September 30, 2026August Shinsf.gov
Collaborative Research: SHF: Medium: Environment-Centric Analysis and Optimization for Higher-Order LanguagesNSFSoftware & Systems Foundations2022$630,196July 1, 2022June 30, 2027John H Reppynsf.gov
CAREER: Building Reliable Distributed Systems with Refinement TypesNSFSoftware & Systems Foundations2022$629,731July 1, 2022June 30, 2027Lindsey Kupernsf.gov
CAREER: Enabling Verifiable Computation with Hardware AccelerationNSFSoftware & Systems Foundations2022$628,422January 15, 2022December 31, 2027Scott Beamernsf.gov
Collaborative Research: SHF: Medium: Integrated Verification of IoT and Real-time Communication ProtocolsNSFSoftware & Systems Foundations2022$625,000July 1, 2022June 30, 2026Stephanie Balzernsf.gov
Collaborative Research: SHF: Medium: Improving Software Quality by Automatically Reproducing Failures from Bug ReportsNSFSoftware & Systems Foundations2024$624,232November 15, 2023September 30, 2027Tingting Yunsf.gov
SHF: Small: Methods, Workflows, and Data Commons for Reducing Training Costs in Neural Architecture Search on High-Performance Computing PlatformsNSFSoftware & Systems Foundations2022$623,999October 1, 2022September 30, 2027Michela Taufernsf.gov
SHF: Small: End-to-End Formal Verification of Concurrent C ProgramsNSFSoftware & Systems Foundations2024$620,000August 15, 2024July 31, 2027William Manskynsf.gov
CCF: SHF: CORE: Small: Towards Systematic Quality Control of Physically Unclonable Functions (PUFs)NSFSoftware & Systems Foundations2023$619,337January 15, 2023December 31, 2027Natasha Devroyensf.gov
SHF: Small: A General Framework for Accelerating AI on Resource-Constrained Edge DevicesNSFSoftware & Systems Foundations2022$616,000July 1, 2022June 30, 2027Yingying Chennsf.gov
Collaborative Research: SHF: Medium: Vectorized Instruction Space (VIS)NSFSoftware & Systems Foundations2022$615,999October 1, 2022September 30, 2027David B Whalleynsf.gov
SHF: Small: Ubiquitous and Transparent Near-data Computing for General Purpose ProcessorsNSFDivision of Computing and Communication Foundations2022$615,300June 15, 2022May 31, 2025Anthony Nowatzkinsf.gov
SHF: Extreme Semantic Dynamic Analysis of Multilingual CodeNSFSoftware & Systems Foundations2026$615,000January 1, 2027December 31, 2029Haipeng Cainsf.gov
SHF: Small: Acceleration Strategies for Emerging Life Science WorkloadsNSFSoftware & Systems Foundations2022$614,956October 1, 2022September 30, 2027Rajeev Balasubramoniannsf.gov
SHF:Small:RUI: Deep Induction Rules for Advanced Data TypesNSFSoftware & Systems Foundations2022$613,086October 1, 2022September 30, 2027Patricia Johannnsf.gov
SHF: Small: Synthesizing Mixed Discrete/Continuous Programs with the Neurosymbolic LibrarianNSFSoftware & Systems Foundations2023$610,000October 1, 2023September 30, 2026Kevin Ellisnsf.gov
FMitF: Track I: Formal Verification for Mechanism DesignNSFCSE - Core Programs2023$609,999September 15, 2023August 31, 2027Justin Hsunsf.gov
SHF: Small: Massively Parallel Server ProcessorsNSFSoftware & Systems Foundations2022$608,773June 15, 2022May 31, 2027Michael Ferdmannsf.gov
SHF: Small: A Chip of Happiness: Device-to-System Developments of Affective Computing for Human-in-the-loop Computer SystemNSFSoftware & Systems Foundations2022$608,100October 1, 2022September 30, 2027Jie Gunsf.gov
SHF: Small: Automated Unit Test Generation using Large Language ModelsNSFSoftware & Systems Foundations2023$607,977July 1, 2023June 30, 2027Frank Tipnsf.gov
SHF: Small: Data Movement Complexity: Theory and OptimizationNSFDivision of Computing and Communication Foundations2022$607,503July 1, 2022June 30, 2025Chen Dingnsf.gov
CCF: SHF: Small: Transformer synthesisNSFDivision of Computing and Communication Foundations2022$600,000February 1, 2022January 31, 2025Niraj K Jhansf.gov
SHF: Small: ML Accelerator Cohort ArchitectureNSFSoftware & Systems Foundations2022$600,000October 1, 2022September 30, 2026Murali Annavaramnsf.gov
SHF: Small: CT-DDS -- Scalable Concolic Testing of Parallel Applications With Shared Dynamic Data StructuresNSFSoftware & Systems Foundations2022$600,000October 1, 2022September 30, 2026Rajiv Guptansf.gov
SHF: Small: Towards High Performance Serverless Edge Computing for Data-intensive ApplicationsNSFSoftware & Systems Foundations2022$600,000October 1, 2022September 30, 2027Yuanyuan Yangnsf.gov
CAREER: Generating Domain-Specific Systems at ScaleNSFSoftware & Systems Foundations2023$600,000June 1, 2023May 31, 2028Yakun Sophia Shaonsf.gov
FET: Small: Rapid and Rational Drug-Cocktail Formulation and Discovery Via Electronic CircuitsNSFCSE - Core Programs2023$600,000October 1, 2023September 30, 2026Rahul Sarpeshkarnsf.gov
SHF: Small: Modular Automated Verification of Concurrent Data StructuresNSFSoftware & Systems Foundations2023$600,000October 1, 2023September 30, 2026Thomas Wiesnsf.gov
SHF: Small: Cryogenic Hybrid Systems Integration Across Multiple Temperature ZonesNSFSoftware & Systems Foundations2023$600,000October 1, 2023September 30, 2027Eby G Friedmannsf.gov
FET/SHF: Small: Reinforcement learning and transformer inspired smart photonics inverse designNSFCSE - Core Programs2023$600,000October 1, 2023September 30, 2027LJay Guonsf.gov
Collaborative Research: SHF: Medium: EPIC: Exploiting Photonic Interconnects for Resilient Data Communication and Acceleration in Energy-Efficient Chiplet-based ArchitecturesNSFSoftware & Systems Foundations2023$600,000August 1, 2023July 31, 2027Ahmed Lourinsf.gov
Collaborative Research: SHF: Medium: EPIC: Exploiting Photonic Interconnects for Resilient Data Communication and Acceleration in Energy-Efficient Chiplet-based ArchitecturesNSFSoftware & Systems Foundations2023$600,000August 1, 2023July 31, 2027Avinash Karanthnsf.gov
AF: Small: RUI: Toward High-Performance Block Krylov Subspace Algorithms for Solving Large-Scale Linear SystemsNSFSoftware & Systems Foundations2023$600,000October 1, 2023September 30, 2027Hao Jinsf.gov
FET: SHF: Small: A Verification Framework for Hybrid Classical and Quantum Protocols (VeriHCQ)NSFSoftware & Systems Foundations2024$600,000February 1, 2024January 31, 2027Xiaodi Wunsf.gov
CAREER: Verifying Security and Privacy of Distributed ApplicationsNSFSoftware & Systems Foundations2024$600,000May 1, 2024April 30, 2029Joseph D Tassarottinsf.gov
SHF: Small: A Hybrid Synchronous Language for Verifiable Execution of Cyber-Physical SystemsNSFSoftware & Systems Foundations2024$600,000April 1, 2024March 31, 2027Jean-Baptiste Jeanninnsf.gov
SHF: Small: Machine Learning-based Combinatorial Optimization for Electronic Design Automation and BeyondNSFSoftware & Systems Foundations2024$600,000June 15, 2024May 31, 2027Sherief Redansf.gov
Collaborative Research: SHF: Medium: Fine-Grained Software TestingNSFSoftware & Systems Foundations2024$600,000October 1, 2024September 30, 2028Owolabi Legunsennsf.gov
Collaborative Research: SHF: Medium: Fine-Grained Software TestingNSFSoftware & Systems Foundations2024$600,000October 1, 2024September 30, 2028Milos Gligoricnsf.gov
SHF: Small: A General-Purpose Static Program Analysis Framework for WebAssemblyNSFSoftware & Systems Foundations2024$600,000July 15, 2024June 30, 2027Weihang Wangnsf.gov
Error Tolerant Machine Learning Systems: Off-Line Test and Tuning and On-Line CorrectionNSFSoftware & Systems Foundations2024$600,000June 15, 2024May 31, 2027Abhijit Chatterjeensf.gov
SHF: Small: CoopSLS: Improving Boolean Satisfiability Solvers through Cooperative Stochastic Local SearchNSFSoftware & Systems Foundations2024$600,000August 1, 2024July 31, 2027Marienus Heulensf.gov
SHF: Small: Design Methodologies for Interpretable Differentiable Logic NetworksNSFSoftware & Systems Foundations2024$600,000July 1, 2024June 30, 2027Niraj K Jhansf.gov
SHF: Small: Memory Hiearachy Optimizations Meet Transformers (MITTEN)NSFSoftware & Systems Foundations2024$600,000October 1, 2024September 30, 2027Wei Niunsf.gov
CISE-ANR: SHF: Small: CAFEE: Control Algorithms Formal End-to-End VerificationNSFSoftware & Systems Foundations2025$600,000December 15, 2024November 30, 2027Jean-Baptiste Jeanninnsf.gov
SHF: Small: Enhancing Performance and Reliability in On-Chip Power Distribution NetworksNSFSoftware & Systems Foundations2025$600,000January 1, 2025December 31, 2027Sachin S Sapatnekarnsf.gov
SHF: Small: Efficient Multi-Task Learning for Augmented Reality SystemsNSFSoftware & Systems Foundations2025$600,000July 1, 2025June 30, 2028Sherief Redansf.gov
Collaborative Research: SHF: Medium: OASIS: An Open-Source AI-Driven EDA Tool for Real-Time Synthesis of Short-Distance Wireless Interconnects on SiliconNSFSoftware & Systems Foundations2025$600,000October 1, 2025September 30, 2029Zhuo Fengnsf.gov
Collaborative Research: SHF: Medium: A hardware accelerator for satisfiability (SAT): Over 100x speedup for combinatorial optimization problemsNSFSoftware & Systems Foundations2025$600,000October 1, 2025September 30, 2029Sandeep K Guptansf.gov
SHF: Small: Practical Privacy-preserving AI Offloading with Hybridizing Multi-party Computing and Strongly-secure HardwareNSFSoftware & Systems Foundations2025$600,000November 1, 2025October 31, 2028Kiwan Maengnsf.gov
SHF: Small: Towards a Unified Approach for DevOps Configuration Drift DetectionNSFSoftware & Systems Foundations2026$600,000July 1, 2026June 30, 2029Foyzul Hassannsf.gov
SHF: Design Methodologies for Energy-Based ModelsNSFSoftware & Systems Foundations2026$600,000August 1, 2026July 31, 2030Niraj K Jhansf.gov
SHF: Formal Reasoning of Reinforcement Learning PoliciesNSFSoftware & Systems Foundations2026$600,000September 1, 2026August 31, 2030Suguman Bansalnsf.gov
SHF: Small: High-Performance Incremental Spectral Algorithms for Efficient Modeling and Simulation of Large-Scale Integrated CircuitsNSFSoftware & Systems Foundations2024$599,998September 1, 2024August 31, 2027Zhuo Fengnsf.gov
SHF: Small: Semi-supervised Learning for Design and Quality Assurance of Integrated CircuitsNSFSoftware & Systems Foundations2024$599,997October 1, 2024September 30, 2027Peng Linsf.gov
SHF: Small: Practical Analyses and Safe Transformations for Imperative Deep Learning ProgramsNSFSoftware & Systems Foundations2022$599,974June 1, 2022May 31, 2027Raffi T Khatchadouriannsf.gov
Collaborative Research: SHF: Medium: Vectorized Instruction Space (VIS)NSFSoftware & Systems Foundations2022$599,968October 1, 2022September 30, 2027Soner Ondernsf.gov
SHF:Small:NSF-MUR: Automated and Explainable Provenance of AI-Generated CodeNSFSoftware & Systems Foundations2026$599,959July 1, 2026June 30, 2029Oscar Javier Chaparro Arenasnsf.gov
SHF: Small: A Distributed Scalable End-to-End Tail Latency SLO Guaranteed Resource Management Framework for MicroservicesNSFSoftware & Systems Foundations2022$599,953October 1, 2022September 30, 2027Hong Jiangnsf.gov
SHF: Small: Expediting the Execution of Machine Learning Applications on Multi-GPU Infrastructure with Architecture Awareness and Runtime SupportNSFSoftware & Systems Foundations2022$599,922June 15, 2022May 31, 2026Xulong Tangnsf.gov
CAREER: Reliable and Accelerated Deep Neural Networks via Co-Design of Hardware and AlgorithmsNSFSoftware & Systems Foundations2026$599,921January 1, 2026December 31, 2028Yanjing Linsf.gov
CCF: SHF: Small: Self-Adaptive Interference-Avoiding Wireless Receiver Hardware through Real-Time Learning-Based Automatic Optimization of Power-Efficient Integrated CircuitsNSFSoftware & Systems Foundations2022$599,912September 1, 2022August 31, 2027Francesco Restucciansf.gov
SHF: Small: Symbolic Execution for Low-Latency ApplicationsNSFSoftware & Systems Foundations2024$599,888August 1, 2024July 31, 2027Michael Reiternsf.gov
SHF: Small: Explainable Machine Learning for Better Design of Very Large Scale Integrated CircuitsNSFSoftware & Systems Foundations2023$599,756September 15, 2023August 31, 2027Azadeh Davoodinsf.gov
SHF: Small: Little Tricky Logics: Misconceptions in Understanding Logics and Formal PropertiesNSFSoftware & Systems Foundations2022$599,566January 1, 2023December 31, 2026Shriram Krishnamurthinsf.gov
SHF: Small: A Communication-Centric Validation Framework for System-on-Chip DesignsNSFSoftware & Systems Foundations2025$599,493January 15, 2025December 31, 2027Hao Zhengnsf.gov
GOALI: SHF:Small: Energy-Efficient and Real-Time Neural Partial Differential Equation Solvers on 2.5D Photonic ChipsNSFSoftware & Systems Foundations2024$599,474October 1, 2024September 30, 2027Qian Yunsf.gov
SHF: Small: Methods and Architectures for Optimization and Hardware Acceleration of Spiking Neural NetworksNSFSoftware & Systems Foundations2023$599,304September 15, 2023August 31, 2027Peng Linsf.gov
SHF: SMALL: A New Semantics for Type-Level Programming in HaskellNSFSoftware & Systems Foundations2024$599,291July 1, 2024June 30, 2027John Garrett Morrisnsf.gov
SHF: Small: Open Choreographies via Session TypesNSFSoftware & Systems Foundations2025$598,636September 1, 2025August 31, 2028Andrew K Hirschnsf.gov
SHF: Small: Domain-Specific FPGAs to Accelerate Unrolled DNNs with Fine-Grained Unstructured Sparsity and Mixed PrecisionNSFSoftware & Systems Foundations2023$598,449May 15, 2023April 30, 2027Mohamed S Abdelfattahnsf.gov
SHF: Small: Automated Verification and Synthesis of Input Generators in Property-Based Testing FrameworksNSFSoftware & Systems Foundations2023$597,785October 1, 2023September 30, 2027Benjamin J Delawarensf.gov
SHF: Small: Knowledge, Methodologies, and Tool-support for Combating Technical Debt in Machine Learning SystemsNSFSoftware & Systems Foundations2024$597,292June 1, 2024May 31, 2027Raffi T Khatchadouriannsf.gov
SHF: Small: A Programming Language Ecosystem for Higher-Order Software ContractsNSFSoftware & Systems Foundations2024$597,201June 1, 2024May 31, 2027Christos Dimoulasnsf.gov
CAREER: Transforming Peer Code Review Environments for Code Learning and High-Quality FeedbackNSFSoftware & Systems Foundations2024$596,759May 1, 2024April 30, 2029Amiangshu S Bosunsf.gov
CAREER: Reinforcement Learning for Recursive Markov Decision Processes and BeyondNSFSoftware & Systems Foundations2022$596,554May 1, 2022April 30, 2027Ashutosh Trivedinsf.gov
CAREER: Robust and Lightweight Formal Methods for Mobile Robot System DevelopmentNSFSoftware & Systems Foundations2024$594,739July 1, 2024June 30, 2029John-Paul W Orensf.gov
CAREER: SHF: Bio-Inspired Microsystems for Energy-Efficient Real-Time Sensing, Decision, and AdaptationNSFSoftware & Systems Foundations2024$594,175June 1, 2024May 31, 2029Siddharth Joshinsf.gov
SHF: Small: QED - A New Approach to Scalable Verification of Hardware Memory ConsistencyNSFSoftware & Systems Foundations2024$593,412March 1, 2024February 28, 2027Terani N Vijaykumarnsf.gov
CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent SoftwareNSFSoftware & Systems Foundations2023$593,022October 1, 2023September 30, 2026Eric Koskinennsf.gov
SHF: AF: Small: Algorithms and a Code Generator for Faster Stencil ComputationsNSFSoftware & Systems Foundations2023$592,987October 1, 2023September 30, 2027Rezaul A Chowdhurynsf.gov
Collaborative Research: SHF: Medium: Foundations of Zero Knowledge ComputationNSFSoftware & Systems Foundations2025$592,500July 1, 2025June 30, 2028Leonidas Lampropoulosnsf.gov
CAREER: Mitigating Flaky TestsNSFSoftware & Systems Foundations2022$590,199July 1, 2022June 30, 2027August Shinsf.gov
SHF: Small: Cross-Layer Design Automation for In-Memory Analog ComputingNSFSoftware & Systems Foundations2024$588,801June 1, 2024May 31, 2027Ramtin Zandnsf.gov
CAREER: Enabling Memory-Centric Computing from Internet of Things to CloudNSFSoftware & Systems Foundations2024$587,572April 1, 2024March 31, 2029Elaheh Sadredininsf.gov
CAREER: Data-Driven Hardware and Software Techniques to Enable Sustainable Data Center ServicesNSFSoftware & Systems Foundations2024$583,323March 1, 2024February 28, 2029Akshitha Sriramannsf.gov
CAREER: DeepCertify: Data-driven Formal Approach to Safe AutonomyNSFSoftware & Systems Foundations2023$583,274February 1, 2023June 30, 2028Chuchu Fannsf.gov
CAREER: Advancing Neural Testing and Debugging of SoftwareNSFSoftware & Systems Foundations2023$582,874June 1, 2023May 31, 2028Reyhaneh Jabbarvandnsf.gov
SHF:Small:Concurrency In Reversible ComputationsNSFSoftware & Systems Foundations2023$582,562March 1, 2023February 29, 2028Clement Aubertnsf.gov
CAREER: Fuzzing Formal SpecificationsNSFSoftware & Systems Foundations2022$582,352May 1, 2022April 30, 2027Leonidas Lampropoulosnsf.gov
SHF: Small: Hardware-Software Co-design for Privacy Protection on Deep Learning-based Recommendation SystemsNSFSoftware & Systems Foundations2024$581,966May 1, 2024April 30, 2027Youtao Zhangnsf.gov
CAREER: A Unified Compiler for Sparse Array Operations and Relational AlgebraNSFSoftware & Systems Foundations2022$576,319February 1, 2022January 31, 2027Fredrik Berg Kjoelstadnsf.gov
SHF: Small: E2R2--A Comprehensive Approach to Improve Simulation-based Testing of Autonomous Driving SystemsNSFSoftware & Systems Foundations2024$572,778July 1, 2024June 30, 2027Marcelo d'Amorimnsf.gov
Collaborative Research: SHF: Medium: Integrated Verification of IoT and Real-time Communication ProtocolsNSFSoftware & Systems Foundations2022$571,846July 1, 2022June 30, 2026Lukasz Ziareknsf.gov
CAREER: Live and Direct Programming EnvironmentsNSFSoftware & Systems Foundations2023$570,000May 1, 2023April 30, 2028Cyrus Omarnsf.gov
SHF: Small: Redesigning the Memory System in the Era of Compute Express LinkNSFSoftware & Systems Foundations2024$569,970April 15, 2024March 31, 2027Alexandros Daglisnsf.gov
SHF: small: On-device Large Language Model Personalization with Algorithm-Hardware Co-design for Healthcare ApplicationsNSFSoftware & Systems Foundations2024$569,268October 1, 2024September 30, 2027Ningyuan Caonsf.gov
CAREER: Enhancing Software Testing and Debugging for Autonomous DrivingNSFSoftware & Systems Foundations2025$566,404April 1, 2025March 31, 2030Joshua N Garciansf.gov
SHF: Small: Multi-Version eXecution for Managed LanguagesNSFSoftware & Systems Foundations2023$560,658July 1, 2023June 30, 2027Luís Gabriel Ganchinho de Pinansf.gov
Collaborative Research: SHF: Medium: Improving Software Quality by Automatically Reproducing Failures from Bug ReportsNSFSoftware & Systems Foundations2022$559,403October 1, 2022September 30, 2027William G Halfondnsf.gov
SHF: SMALL: FIRST: Enabling Real-Time, Scalable, and Verifiable Generative Visual AI SystemsNSFSoftware & Systems Foundations2025$557,460October 1, 2025September 30, 2028Radu Marculescunsf.gov
CAREER: Bottom-Up Localized Online Learning with Spintronic Neuromorphic NetworksNSFSoftware & Systems Foundations2022$555,998August 15, 2022July 31, 2027Joseph S Friedmannsf.gov
SHF: Small: Resilient Operations for Deployment Units Used in Container OrchestrationNSFSoftware & Systems Foundations2023$553,295October 1, 2023September 30, 2027Akond Ashfaque U Rahmannsf.gov
CAREER: Scalable and Adaptable Sparsity-driven Methods for more Efficient AI SystemsNSFSoftware & Systems Foundations2023$550,306March 1, 2023February 29, 2028Gheorghi Guzunnsf.gov
CAREER: Towards a Rigorous Methodology for Engineering Robust Software SystemsNSFSoftware & Systems Foundations2022$550,052February 1, 2022January 31, 2028Eunsuk Kangnsf.gov
SHF: Small: Learning Circuit Networks from MeasurementsNSFSoftware & Systems Foundations2022$550,000October 1, 2022September 30, 2026Zhuo Fengnsf.gov
CAREER: Composable Memory Consistency Models for Heterogeneous SystemsNSFSoftware & Systems Foundations2023$550,000July 1, 2023June 30, 2028Tyler Sorensennsf.gov
Collaborative Research: SHF: Medium: Models and Analyses for Robotic and Autonomous Systems Operating in Complex and Unpredictable Real-worldNSFSoftware & Systems Foundations2024$550,000June 15, 2024May 31, 2027Sebastian G Elbaumnsf.gov
Collaborative Research: SHF: Medium: Near-Hardware Program Repair and OptimizationNSFSoftware & Systems Foundations2022$549,999October 1, 2022September 30, 2027Stephanie Forrestnsf.gov
SHF: Small: Practical Mutation Analysis for Quality Assurance of Deep Learning SystemsNSFSoftware & Systems Foundations2025$549,359May 1, 2025April 30, 2028Ali Ghanbarinsf.gov
Static Verification for Fearless GPU programmingNSFSoftware & Systems Foundations2022$546,610June 1, 2022November 30, 2026Tiago Cogumbreironsf.gov
CAREER: Physics-inspired Machine Learning with Sparse and Asynchronous p-bitsNSFSoftware & Systems Foundations2023$546,147January 1, 2023December 31, 2027Kerem Y Camsarinsf.gov
SHF: Small: Synergy between Automated Reasoning and Interactive Theorem ProvingNSFDivision of Computing and Communication Foundations2022$544,003October 1, 2022September 30, 2025Marienus Heulensf.gov
SHF: Small: Understanding Correctness and Efficiency in Hardware AcceleratorsNSFSoftware & Systems Foundations2024$543,341October 1, 2024September 30, 2027Adrian Sampsonnsf.gov
CAREER: Designing Robust Cyber-Physical Systems: Logics, Automata, Optimization, and Heuristic MethodsNSFSoftware & Systems Foundations2023$540,999April 15, 2023March 31, 2028Vinayak Prabhunsf.gov
CAREER: Formal Verification of Stateful Distributed Systems and Their CompositionsNSFSoftware & Systems Foundations2025$540,535May 1, 2025April 30, 2030Ji Yong Shinnsf.gov
SHF: Small: Efficient, Deterministic and Formally Certified Methods for Solving Low-dimensional Linear Programs with Floating-point PrecisionNSFSoftware & Systems Foundations2023$540,000July 1, 2023June 30, 2027Mridul Aanjaneyansf.gov
SHF: Small: Compositional Certified Concurrent Abstraction LayersNSFSoftware & Systems Foundations2023$540,000October 1, 2023September 30, 2027Zhong Shaonsf.gov
SHF: Small: Programming, and Reasoning about, Actors that Share StateNSFSoftware & Systems Foundations2023$540,000July 1, 2023June 30, 2026Matthias Felleisennsf.gov
SHF: SMALL:Dependency Tracking and Dependent TypesNSFSoftware & Systems Foundations2023$540,000December 1, 2023May 31, 2027Stephanie C Weirichnsf.gov
SHF: Small: Compiler and Runtime Support for Computational Storage in HPCNSFSoftware & Systems Foundations2025$540,000July 1, 2025June 30, 2028Mahmut T Kandemirnsf.gov
SHF: Small: Scalable and Versatile Evolving Graph AnalyticsNSFSoftware & Systems Foundations2025$540,000October 1, 2025September 30, 2028Rajiv Guptansf.gov
SHF:Small: Beyond Performance: Energy-Conscious High Performance ComputingNSFSoftware & Systems Foundations2025$540,000October 1, 2025September 30, 2028Zhiling Lannsf.gov
SHF: Small: An Integrated Architecture-System Framework for High-Quality and Cost-Efficient Learning-Based Super ResolutionNSFSoftware & Systems Foundations2025$539,998July 1, 2025June 30, 2028Xin Funsf.gov
CAREER: Architecting Datacenters for Optimized Tail Latency at ScaleNSFSoftware & Systems Foundations2023$535,474October 1, 2023September 30, 2028Alexandros Daglisnsf.gov
CAREER: The Rational Programmer, An Investigative Method for Programming Language PragmaticsNSFSoftware & Systems Foundations2023$534,758June 1, 2023May 31, 2028Christos Dimoulasnsf.gov
Collaborative Research: SHF: Medium: Learning Semantics of Code To Automate Software Assurance TasksNSFSoftware & Systems Foundations2023$533,995October 1, 2023September 30, 2027Wei Lensf.gov
Collaborative Research: SHF: Medium: High-Performance, Verified Accelerator ProgrammingNSFSoftware & Systems Foundations2023$533,000July 1, 2023June 30, 2026Adam J Chlipalansf.gov
SHF: Toward Continuously Evolving Software Engineering AgentsNSFSoftware & Systems Foundations2026$530,000October 1, 2026September 30, 2029Lingming Zhangnsf.gov
CAREER: A Holistic Developer-Centered Approach to Enhance Privacy for Data-Driven ApplicationsNSFSoftware & Systems Foundations2023$529,773July 1, 2023June 30, 2028Sepideh Ghanavatinsf.gov
CAREER: Recursive Distributed Matrix and Tensor Decompositions on Neural EnginesNSFSoftware & Systems Foundations2022$528,733March 1, 2022February 28, 2027Panruo Wunsf.gov
CAREER: Metamorphic Debugging for Responsible AI-Software DevelopmentNSFDivision of Computing and Communication Foundations2025$528,319October 1, 2025October 31, 2025Saeid Tizpaz-Niarinsf.gov
CAREER: Metamorphic Debugging for Responsible AI-Software DevelopmentNSFSoftware & Systems Foundations2025$528,319October 1, 2025September 30, 2030Saeid Tizpaz-Niarinsf.gov
CAREER: Universal Design Automation Framework for Analog Integrated SystemsNSFSoftware & Systems Foundations2023$527,554January 1, 2023December 31, 2027Shaolan Linsf.gov
CAREER: Enhancing Deep-Learning-based Code Analyses via Human IntelligenceNSFSoftware & Systems Foundations2022$527,130May 1, 2022April 30, 2027Wei Yangnsf.gov
CAREER: Automated Verification of Loops in Systems CodeNSFSoftware & Systems Foundations2023$525,000February 1, 2023January 31, 2028Ronghui Gunsf.gov
CAREER: Live Programming for Finite Model FindersNSFSoftware & Systems Foundations2024$525,000June 1, 2024May 31, 2029Allison Sullivannsf.gov
CAREER: An Agile Compiler Framework for Spatial Dataflow AcceleratorsNSFSoftware & Systems Foundations2024$525,000February 1, 2024January 31, 2029Thirimadura C Mendisnsf.gov
CAREER: Programming Heterogeneous Memory HierarchiesNSFSoftware & Systems Foundations2023$524,470May 1, 2023April 30, 2028Joseph H Izraelevitznsf.gov
SHF:Small:Closing the Specification Gap with Logic and LinguisticsNSFSoftware & Systems Foundations2022$524,425October 1, 2022September 30, 2027Colin S Gordonnsf.gov
CAREER: GPU Performance Portability for Volunteer Computing through Heterogeneity-aware AutotuningNSFSoftware & Systems Foundations2022$523,415March 1, 2022February 28, 2027Sreepathi Painsf.gov
SHF/FET: 2.5D/3D Heterogeneous Integration of In-Pixel and Near-Pixel Compute ChipletsNSFSoftware & Systems Foundations2024$520,000October 1, 2024September 30, 2027Shimeng Yunsf.gov
Collaborative Research: SHF: Hardware-Algorithm Co-Design of Efficient AI Accelerators for Molecular Biology and GenomicsNSFSoftware & Systems Foundations2026$520,000July 15, 2026June 30, 2030Hao Zhengnsf.gov
CAREER: Foundations, Algorithms, and Tools for Browser InvalidationNSFSoftware & Systems Foundations2024$512,782March 15, 2024February 28, 2029Pavel Panchekhansf.gov
CAREER: NeuralSAT: A Constraint-Solving Framework for Verifying Deep Neural NetworksNSFSoftware & Systems Foundations2023$510,509July 1, 2023June 30, 2028ThanhVu H Nguyennsf.gov
CAREER: Computational Ethics in Human-Scale Autonomous SystemsNSFSoftware & Systems Foundations2022$510,000September 1, 2022August 31, 2027Houssam Y Abbasnsf.gov
CAREER: Enabling Robust and Adaptive Architectures through a Decoupled Security-Centric Hardware/Software StackNSFSoftware & Systems Foundations2023$509,560October 1, 2023September 30, 2028Ashish Venkatnsf.gov
CAREER: A Semantic Framework for Verifying Heterogeneous ApplicationsNSFSoftware & Systems Foundations2025$509,540January 1, 2025December 31, 2029Stephanie Balzernsf.gov
CAREER: Regularizing Large Language Models for Safe and Reliable Program GenerationNSFSoftware & Systems Foundations2024$505,807July 1, 2024June 30, 2029Tianyi Zhangnsf.gov
Collaborative Research: SHF: MEDIUM: Smart Integrated Tuning of Parallel Code for Multicore and Manycore SystemsNSFSoftware & Systems Foundations2022$502,318October 1, 2022September 30, 2027Ali Jannesarinsf.gov
CAREER: Proof Sharing and Transfer for Boosting Neural Network VerificationNSFSoftware & Systems Foundations2023$500,002February 1, 2023January 31, 2028Gagandeep Singhnsf.gov
CAREER: Advancing Combinatorial Optimization Accelerataors with Compute in Memory Design ApproachNSFSoftware & Systems Foundations2022$500,000January 15, 2022December 31, 2027Jaydeep P Kulkarninsf.gov
CAREER: Hardware/Software Co-design for Serverless ComputingNSFSoftware & Systems Foundations2022$500,000January 15, 2022December 31, 2027Seunghee Shinnsf.gov
NSF-BSF: SHF: Small: Neural Network Verification: Abstraction, Compositional Verification and StandardizationNSFDivision of Computing and Communication Foundations2022$500,000October 1, 2022September 30, 2025Clark Barrettnsf.gov
CAREER: SHF: Chimp: Algorithm-Hardware-Automation Co-Design Exploration of Real-Time Energy-Efficient Motion PlanningNSFSoftware & Systems Foundations2023$500,000January 1, 2023December 31, 2027Bo Yuannsf.gov
SHF:Small: Learning-based Fast Analysis and Fixing for Electromigration DamageNSFSoftware & Systems Foundations2023$500,000September 1, 2023August 31, 2027Sheldon X Tannsf.gov
Collaborative Research: SHF: Medium: Memory-efficient Algorithm and Hardware Co-Design for Spike-based Edge ComputingNSFDivision of Computing and Communication Foundations2023$500,000October 1, 2023November 30, 2023Jae-sun Seonsf.gov
SHF: Small: High Performance Graph Pattern Mining System and ArchitectureNSFSoftware & Systems Foundations2023$500,000October 1, 2022September 30, 2026Changhee Jungnsf.gov
CAREER: Architectural Foundations for Practical Privacy-Preserving ComputationNSFSoftware & Systems Foundations2024$500,000February 1, 2024January 31, 2029Brandon Reagennsf.gov
Collaborative Research: SHF: Medium: Memory-efficient Algorithm and Hardware Co-Design for Spike-based Edge ComputingNSFSoftware & Systems Foundations2024$500,000October 1, 2023September 30, 2027Jae-sun Seonsf.gov
CAREER: Improving Software Test Quality and Developer Skills through Developer-in-the-Loop Test OptimizationNSFSoftware & Systems Foundations2026$500,000January 1, 2027December 31, 2031Ajay K Jhansf.gov
Collaborative Research: SHF: FlexScale: Exploiting Workload Elasticity to Increase HPC Throughput while Lowering Cost via Dynamic Power SteeringNSFSoftware & Systems Foundations2026$500,000September 1, 2026August 31, 2030Frank Muellernsf.gov
Collaborative Research: SHF: SHARP: Achieving Scalable Blockchain Sharding via Software and Hardware OptimizationsNSFSoftware & Systems Foundations2026$500,000August 1, 2026July 31, 2029Lu Pengnsf.gov
Collaborative Research: SHF: SHARP: Achieving Scalable Blockchain Sharding via Software and Hardware OptimizationsNSFSoftware & Systems Foundations2026$500,000August 1, 2026July 31, 2029Danella Zhaonsf.gov
Collaborative Research: SHF: FlexScale: Exploiting Workload Elasticity to Increase HPC Throughput while Lowering Cost via Dynamic Power SteeringNSFSoftware & Systems Foundations2026$499,999September 1, 2026August 31, 2030Rong Gensf.gov
SHF: Small: A Design Automation Methodology for Flexible Real-Time Computing based on Split and Early Exit Neural ModelsNSFSoftware & Systems Foundations2022$499,998February 1, 2022January 31, 2027Mohammad Al Faruquensf.gov
SHF:Small: Distributed Key Manager for higher functionality KV StoresNSFSoftware & Systems Foundations2022$499,971July 1, 2022June 30, 2027Narasimha A Reddynsf.gov
SHF: Small: Predictable Performance for Just-in-Time CompilationNSFSoftware & Systems Foundations2022$499,587October 1, 2022September 30, 2026Jan Viteknsf.gov
SHF: SMALL: End-to-End Global Routing with Reinforcement Learning in VLSI SystemsNSFSoftware & Systems Foundations2022$499,550February 1, 2022January 31, 2027Inna Partin-Vaisbandnsf.gov
CISE/SHF: Summer School on Formal TechniquesNSFSoftware & Systems Foundations2023$499,526April 1, 2023December 31, 2027Natarajan Shankarnsf.gov
CAREER: Requirements at Development TimeNSFSoftware & Systems Foundations2023$498,878September 1, 2023August 31, 2028Alicia M Grubbnsf.gov
CAREER: Building Scalable and Reliable Composable Computer ArchitecturesNSFSoftware & Systems Foundations2024$497,974July 1, 2024June 30, 2029Hyeran Jeonnsf.gov
SHF: Small: A Ubiquitous Brain-Computer Interface for Supplementing Cognitive and Motor FunctionsNSFSoftware & Systems Foundations2025$497,881July 1, 2025June 30, 2028Amir Alimohammadnsf.gov
CAREER: Efficient, Dynamic, Robust, and On-Device Continual Deep Learning with Non-Volatile Memory based In-Memory Computing SystemNSFSoftware & Systems Foundations2025$496,516October 1, 2024May 31, 2027Deliang Fannsf.gov
SHF: Foundations for Comprehensive Integration Testing in Agentic AI Workflow OrchestrationNSFSoftware & Systems Foundations2026$495,000October 1, 2026September 30, 2029Eli Tilevichnsf.gov
SHF: Small: INCA: Incremental Analysis of Software Specification for Evolving SystemsNSFSoftware & Systems Foundations2022$489,946October 1, 2022September 30, 2026Allison Sullivannsf.gov
CAREER: Enhanced Reliability and Efficiency of Software Regression Testing in the Presence of Flaky TestsNSFSoftware & Systems Foundations2024$488,369October 1, 2024September 30, 2029Wing Lamnsf.gov
SHF: Small: Liveness Proofs at ScaleNSFSoftware & Systems Foundations2024$482,482August 15, 2024July 31, 2027Kenneth McMillannsf.gov
CAREER: High-Level Synthesis for Verification-Driven Heterogeneous Dataflow System Integration with AI-Assisted TransformationNSFSoftware & Systems Foundations2026$477,430June 1, 2026May 31, 2031Peipei Zhounsf.gov
CAREER: Specification-Guided Imitation LearningNSFSoftware & Systems Foundations2024$472,494March 1, 2024February 28, 2029Wenchao Linsf.gov
CAREER: Formal Guarantees for Neurosymbolic Programs via Conformal PredictionNSFSoftware & Systems Foundations2024$472,357July 1, 2024June 30, 2029Osbert Bastaninsf.gov
Collaborative Research: SHF: Small: Architecture Innovations for Enabling Simultaneous Translation at the EdgeNSFSoftware & Systems Foundations2022$468,000October 1, 2022September 30, 2026Lizhong Chennsf.gov
Collaborative Research: SHF: Small: Distributed Fragmented Software Design MeetingsNSFSoftware & Systems Foundations2022$467,236August 1, 2022July 31, 2026Adriaan W van der Hoeknsf.gov
Collaborative Research: SHF: Core: Medium: Program Synthesis for Schema ChangesNSFSoftware & Systems Foundations2022$466,000October 1, 2022September 30, 2027Xinyu Wangnsf.gov
CAREER: Enabling Secure and Efficient AI Infrastructure with CXL-Enabled Disaggregated Shared MemoryNSFSoftware & Systems Foundations2026$464,384April 1, 2026March 31, 2031Yuanchao Xunsf.gov
CAREER: Enhanced User Interface Engineering via Automated Semantic Screen UnderstandingNSFSoftware & Systems Foundations2025$459,744May 1, 2025April 30, 2030Kevin P Morannsf.gov
Collaborative Research: SHF: MEDIUM: General and Scalable Pluggable Type InferenceNSFSoftware & Systems Foundations2023$456,475July 1, 2023June 30, 2027Martin Kelloggnsf.gov
CAREER: Scalable Assurance via Verifiable Hardware-Software ContractsNSFSoftware & Systems Foundations2023$455,513February 1, 2023January 31, 2028Caroline Trippelnsf.gov
CISE-ANR: CCF: Retrofit: Bringing Esterel out of its ShellNSFSoftware & Systems Foundations2025$453,903July 1, 2025June 30, 2028Robert B Findlernsf.gov
SHF: Small: Improving Efficiency of Vision Transformers via Software-Hardware Co-Design and AccelerationNSFSoftware & Systems Foundations2023$450,064October 1, 2023September 30, 2027Avesta Sasannsf.gov
SHF: Small: Circuit Support for Maintaining the Continuous-power Abstraction in Energy Harvesting SystemsNSFSoftware & Systems Foundations2023$450,000October 1, 2023September 30, 2026Matthew Hicksnsf.gov
Collaborative Research: SHF: MEDIUM: General and Scalable Pluggable Type InferenceNSFSoftware & Systems Foundations2023$450,000July 1, 2023June 30, 2027Manu Sridharannsf.gov
Collaborative Research: SHF: Small: Quasi Weightless Neural Networks for Energy-Efficient Machine Learning on the EdgeNSFSoftware & Systems Foundations2023$450,000October 1, 2023September 30, 2027Lizy K Johnnsf.gov
Collaborative Research: SHF: Medium: Differentiable Hardware SynthesisNSFSoftware & Systems Foundations2024$450,000October 1, 2024September 30, 2028Cunxi Yunsf.gov
Collaborative Research: SHF: Medium: Differentiable Hardware SynthesisNSFSoftware & Systems Foundations2024$450,000October 1, 2024September 30, 2028Zhiru Zhangnsf.gov
SHF: CORE: Small: Exploring the Uses of Large Language Models to Assist Program AnalysisNSFSoftware & Systems Foundations2025$450,000October 1, 2025September 30, 2028Zhiyun Qiannsf.gov
SHF: Small: Gradual Information Flow ControlNSFSoftware & Systems Foundations2025$449,727October 1, 2025September 30, 2028Jeremy G Sieknsf.gov
CAREER: The Exocompiler: Decoupling Algorithms from the Organization of Computation and DataNSFDivision of Computing and Communication Foundations2023$448,421March 1, 2023June 30, 2025Jonathan M Ragan-Kelleynsf.gov
SHF: Small: Enhancing Just-Enough and Maintainable Mocking in Unit Testing in Software EngineeringNSFSoftware & Systems Foundations2024$448,410October 1, 2024September 30, 2027Lu xiaonsf.gov
CAREER: Algorithm-Hardware Co-design of Efficient Large Graph Machine Learning for Electronic Design AutomationNSFSoftware & Systems Foundations2025$442,292October 1, 2024April 30, 2029Caiwen Dingnsf.gov
SHF: Small: Practical Dynamic Program Reasoning Across Language BoundariesNSFSoftware & Systems Foundations2025$439,112February 1, 2025May 31, 2027Haipeng Cainsf.gov
CAREER: Program Analysis with Precise AbstractionsNSFSoftware & Systems Foundations2023$435,424July 1, 2023June 30, 2028Qirun Zhangnsf.gov
SHF: Medium:DILSE: Codesigning Decentralized Incremental Learning System via Streaming Data Summarization on EdgeNSFDivision of Computing and Communication Foundations2022$435,395August 1, 2022July 31, 2024Yingyan C Linnsf.gov
CAREER: Next Generation of High-Level Synthesis for Agile Architectural Design (ArchHLS)NSFSoftware & Systems Foundations2024$434,668June 1, 2024May 31, 2029Cong Haonsf.gov
Collaborative Research: SHF: Medium: Towards More Human-like AI Models of Source CodeNSFSoftware & Systems Foundations2022$431,880June 15, 2022May 31, 2027Yu Huangnsf.gov
CAREER: Programming Abstractions and Formal Reasoning for IoT Application DevelopmentNSFSoftware & Systems Foundations2024$431,758February 1, 2024January 31, 2029Konstantinos Mamourasnsf.gov
SHF: Small: Testing and Design-for-Test Techniques for Monolithic 3D Integrated CircuitsNSFDivision of Computing and Communication Foundations2023$430,234January 1, 2023September 30, 2025Krishnendu Chakrabartynsf.gov
CAREER: Informed Decision Making for Software ChangeNSFSoftware & Systems Foundations2023$425,268June 1, 2023May 31, 2028Oscar Javier Chaparro Arenasnsf.gov
Collaborative Research: SHF: Scaling E-graphs for Incremental Analysis and OptimizationNSFSoftware & Systems Foundations2026$425,000August 1, 2026July 31, 2030Zachary Tatlocknsf.gov
Collaborative Research: SHF: Scaling E-graphs for Incremental Analysis and OptimizationNSFSoftware & Systems Foundations2026$425,000August 1, 2026July 31, 2030Pavel Panchekhansf.gov
CAREER: Foundations and Verification of Parsers and Type CheckersNSFSoftware & Systems Foundations2026$424,806May 1, 2026April 30, 2031Max S Newnsf.gov
CAREER: Enabling Efficient AI Computing at Scale with Heterogeneous Retention-Aware Memory SystemsNSFSoftware & Systems Foundations2026$424,237September 1, 2026August 31, 2031Thierry Tambensf.gov
Collaborative Research: SHF: Small: Model-driven Design and Optimization of Dataflows for Scientific ApplicationsNSFSoftware & Systems Foundations2023$424,000October 1, 2023September 30, 2027Michela Taufernsf.gov
CAREER: Enabling Ultra-Low-Cost Cloud-Free Data Processing at the EdgeNSFSoftware & Systems Foundations2026$420,719July 1, 2026June 30, 2031Saugata Ghosensf.gov
CISE-ANR: SHF: Small: Generating Highly Performant Code via Polyhedral Compilation and Graph-based LearningNSFSoftware & Systems Foundations2025$420,000May 1, 2025April 30, 2028Ali Jannesarinsf.gov
CAREER: Interactive Program Synthesis for Web AutomationNSFSoftware & Systems Foundations2023$415,186March 1, 2023February 29, 2028Xinyu Wangnsf.gov
CAREER: Error-Resilient Algorithmic Design for Emerging Hardware TechnologiesNSFSoftware & Systems Foundations2026$414,320June 1, 2026May 31, 2031Sara Achournsf.gov
Collaborative Research: SHF: Medium: Memory-efficient Algorithm and Hardware Co-Design for Spike-based Edge ComputingNSFSoftware & Systems Foundations2026$411,682October 1, 2025September 30, 2027Priyadarshini Pandansf.gov
Collaborative Research: SHF: Scalable Cross-Layer Co-Design for Stable Mixed-Precision AccelerationNSFSoftware & Systems Foundations2026$405,886January 1, 2027December 31, 2029Brian K Planchernsf.gov
CAREER: Enhancing Software Testing by Generating, Suggesting, and Maintaining Carved TestsNSFSoftware & Systems Foundations2026$405,207May 1, 2026April 30, 2031Mattia Fazzininsf.gov
SHF: Small: Application-Aware Homomorphic Encryption for Neural Networks: From Algorithm to Hardware AcceleratorsNSFSoftware & Systems Foundations2025$404,113December 15, 2024November 30, 2027Xinmiao Zhangnsf.gov
CCF: Small: Paradox and Brain-inspired Computer ArchitectureNSFSoftware & Systems Foundations2022$402,690October 1, 2022September 30, 2027JoAnn M Paulnsf.gov
CAREER: PTM-SEER: Software Engineering Foundations for Re-Using Pre-Trained Neural ModelsNSFSoftware & Systems Foundations2026$401,546June 1, 2026May 31, 2031James C Davisnsf.gov
Collaborative Research: SHF: SensABridge: Learnable Sensor-AI Bridge for Ubiquitous Edge Intelligent ProcessingNSFSoftware & Systems Foundations2026$400,256August 1, 2026July 31, 2029Weidong Caonsf.gov
Collaborative Research: SHF: Medium: A New Direction of Research and Development to Fulfill the Promise of Computational StorageNSFSoftware & Systems Foundations2022$400,000July 1, 2022June 30, 2026Xiaodong Zhangnsf.gov
Collaborative Research: SHF: Medium: A New Direction of Research and Development to Fulfill the Promise of Computational StorageNSFSoftware & Systems Foundations2022$400,000July 1, 2022June 30, 2026Tong Zhangnsf.gov
Collaborative Research: SHF: Medium: Co-optimizing Spectral Algorithms and Systems for High-Performance Graph LearningNSFSoftware & Systems Foundations2022$400,000July 1, 2022June 30, 2027Zhiru Zhangnsf.gov
Collaborative Research: SHF: Medium: Approximate Computing for Machine Learning Security: Foundations and Accelerator DesignNSFSoftware & Systems Foundations2022$400,000August 1, 2022July 31, 2027Khaled N Khasawnehnsf.gov
Collaborative Research: SHF: Medium: Semantics-Aware Neural Models of CodeNSFSoftware & Systems Foundations2022$400,000August 1, 2022July 31, 2027Christopher M Jermainensf.gov
Collaborative Research: SHF: Medium: Semantics-Aware Neural Models of CodeNSFSoftware & Systems Foundations2022$400,000August 1, 2022July 31, 2027Swarat Chaudhurinsf.gov
Collaborative Research: SHF: Medium: Verifying Deep Neural Networks with Spintronic Probabilistic ComputersNSFSoftware & Systems Foundations2023$400,000July 1, 2023June 30, 2027Pedram Khalili Amirinsf.gov
Collaborative Research: SHF: Medium: A hardware-software co-design approach for high-performance in-memory analytic data processingNSFDivision of Computing and Communication Foundations2023$400,000October 1, 2023December 31, 2023Jignesh M Patelnsf.gov
Collaborative Research: SHF: Medium: A hardware-software co-design approach for high-performance in-memory analytic data processingNSFSoftware & Systems Foundations2023$400,000October 1, 2023September 30, 2027Kevin Skadronnsf.gov
SHF: Small: Taming Huge Page Problems for Memory Bulk Operations Using a Hardware/Software Co-Design ApproachNSFSoftware & Systems Foundations2024$400,000July 1, 2024June 30, 2027Jun Wangnsf.gov
Collaborative Research: SHF: Medium: Tiny Chiplets for Big AI: A Reconfigurable-On-Package SystemNSFSoftware & Systems Foundations2024$400,000July 1, 2024June 30, 2028Jun Zhangnsf.gov
Collaborative Research: SHF: Medium: A hardware-software co-design approach for high-performance in-memory analytic data processingNSFSoftware & Systems Foundations2024$400,000October 1, 2023September 30, 2027Jignesh M Patelnsf.gov
Collaborative Research: SHF: ZEAL: Zero-Knowledge Proof Acceleration Leveraging Hardware-Software Co-DesignNSFSoftware & Systems Foundations2026$400,000September 1, 2026August 31, 2030Yiran Chennsf.gov
Collaborative Research: SHF: ZEAL: Zero-Knowledge Proof Acceleration Leveraging Hardware-Software Co-DesignNSFSoftware & Systems Foundations2026$400,000September 1, 2026August 31, 2030Jeyavijayan Rajendrannsf.gov
Collaborative Research: SHF: Medium: A hardware-software co-design approach for high-performance in-memory analytic data processingNSFSoftware & Systems Foundations2023$399,998October 1, 2023September 30, 2027Jose F Martineznsf.gov
CAREER: Formally Verified Intermittent Systems with Tiered TrustNSFSoftware & Systems Foundations2026$399,522June 1, 2026May 31, 2031Milijana Surbatovichnsf.gov
SHF:Small: More Modular Deep LearningNSFDivision of Computing and Communication Foundations2022$399,197October 1, 2022January 31, 2025Hridesh Rajannsf.gov
Collaborative Research: CCF Core: Small: User-transparent Data Management for Persistence and Crash-consistency in Non-volatile MemoriesNSFSoftware & Systems Foundations2023$399,036October 1, 2023September 30, 2027Jia Raonsf.gov
CAREER: Heterogeneous Neuromorphic and Edge Computing Systems for Realtime Machine Learning TechnologiesNSFSoftware & Systems Foundations2024$397,791May 1, 2024April 30, 2029Ramtin Zandnsf.gov
CAREER: Enabling Human-Guided AI for CodeNSFSoftware & Systems Foundations2026$397,084June 1, 2026May 31, 2031Yu Huangnsf.gov
SHF:Small: Extensible Models and Proofs via Family PolymorphismNSFDivision of Computing and Communication Foundations2023$396,914July 1, 2023June 30, 2025Nada Aminnsf.gov
CAREER: Measuring and Supporting Creativity in Developing Software RequirementsNSFHuman Centered Computing & Education2023$396,695June 15, 2023May 31, 2028Tanmay Bhowmiknsf.gov
CAREER: Formal Specifications as a Foundation for Aligned and Automated Software EngineeringNSFSoftware & Systems Foundations2026$396,112July 1, 2026June 30, 2031Juan Zhainsf.gov
Collaborative Research: SHF: III: Medium: Effortless Data Locality Through Near-memory On-the-fly Data TransformationNSFSoftware & Systems Foundations2024$396,000August 1, 2024July 31, 2028Heechul Yunnsf.gov
CAREER: Automated Machine Learning Compilation for Emerging Models and PlatformsNSFSoftware & Systems Foundations2026$395,936May 1, 2026April 30, 2031Tianqi Chennsf.gov
CAREER: Structured Learning and Verification of Control Policies for Linear Temporal Logic ObjectivesNSFSoftware & Systems Foundations2026$395,821May 1, 2026April 30, 2031He Zhunsf.gov
CAREER: HeteroTime: Accelerating Static Timing Analysis with Intelligent Heterogeneous ParallelismNSFSoftware & Systems Foundations2024$395,199October 1, 2023February 29, 2028Tsung-Wei Huangnsf.gov
Collaborative Research: SHF: Scalable Cross-Layer Co-Design for Stable Mixed-Precision AccelerationNSFSoftware & Systems Foundations2026$394,792January 1, 2027December 31, 2029Sabrina Neumannsf.gov
Collaborative Research: SHF: Medium: A Comprehensive Modeling Framework for Cross-Layer Benchmarking of In-Memory Computing Fabrics: From Devices to ApplicationsNSFSoftware & Systems Foundations2024$392,870October 1, 2023November 30, 2027Kai Ninsf.gov
CAREER: Underapproximate Refinement Types for Program Exploration and UnderstandingNSFSoftware & Systems Foundations2026$391,123September 1, 2026August 31, 2031Benjamin J Delawarensf.gov
CAREER: CO2-Efficient Computing: Quantifying Trade-Offs in Power, Performance, Area, and Total Carbon Footprint of Monolithic Three-Dimensional Integrated CircuitsNSFSoftware & Systems Foundations2025$387,798January 15, 2025December 31, 2029Gage Hillsnsf.gov
Collaborative Research: SHF: Small: Artificial Intelligence of Things (AIoT): Theory, Architecture, and AlgorithmsNSFSoftware & Systems Foundations2024$386,682December 15, 2023September 30, 2027Xiaoyong Yuannsf.gov
SHF: Small: K-Way Speculation for Mapping Applications with Dependencies on Modern HPC SystemsNSFDivision of Computing and Communication Foundations2023$384,248July 1, 2023July 31, 2025Gagan Agrawalnsf.gov
CAREER: Foundations of Semantic Code Understanding by Large Language Models for Software MaintenanceNSFSoftware & Systems Foundations2026$383,998July 1, 2026June 30, 2031Muhammad Ali Gulzarnsf.gov
CAREER: Specifying and Verifying Correctness of Software UpdatesNSFDivision of Information & Intelligent Systems2026$381,641September 1, 2026August 31, 2031Tej Chajednsf.gov
Collaborative Research: SHF: Hardware-Algorithm Co-Design of Efficient AI Accelerators for Molecular Biology and GenomicsNSFSoftware & Systems Foundations2026$380,000July 15, 2026June 30, 2030Ahmed Lourinsf.gov
Collaborative Research: SHF: Medium: Enabling GPU Performance Simulation for Large-Scale Workloads with Lightweight Simulation MethodsNSFSoftware & Systems Foundations2024$379,800May 1, 2024April 30, 2028Adwait Jognsf.gov
Collaborative Research: SHF: Medium: Enabling GPU Performance Simulation for Large-Scale Workloads with Lightweight Simulation MethodsNSFSoftware & Systems Foundations2024$377,694May 1, 2024April 30, 2028Sreepathi Painsf.gov
SHF: Small: Exploring and Enhancing Capabilities of Emerging Hybrid/Convertible Solid-State DrivesNSFSoftware & Systems Foundations2024$377,158October 1, 2023July 31, 2027Bingzhe Linsf.gov
Collaborative Research: SHF: Medium: Enabling Graphics Processing Unit Performance Simulation for Large-Scale Workloads with Lightweight Simulation MethodsNSFSoftware & Systems Foundations2024$376,249May 1, 2024April 30, 2028Yifan Sunnsf.gov
Collaborative Research: SHF: Medium: Probabilistic Concurrent Outcome Logic (pcOL) -- Expressive Specifications for Concurrent Randomized ProgramsNSFSoftware & Systems Foundations2025$376,058October 1, 2025September 30, 2029Alexandra Silvansf.gov
Collaborative Research: SHF: Small: Fault Localization for Deep LearningNSFSoftware & Systems Foundations2026$376,008June 1, 2026May 31, 2029Hridesh Rajannsf.gov
CAREER: Reliable and Accelerated Deep Neural Networks via Co-Design of Hardware and AlgorithmsNSFDivision of Computing and Communication Foundations2024$372,127January 1, 2024June 30, 2026Yanjing Linsf.gov
CAREER: Dynamic Distributed Learning in Spiking Neural Networks with Neural Architecture SearchNSFSoftware & Systems Foundations2026$369,386October 1, 2025December 31, 2027Priyadarshini Pandansf.gov
CISE-ANR: SHF: Small: CHAMELEON: CompreHending And Mitigating Error in AnaLog ImplEmentations of On-Die Neural NetworksNSFSoftware & Systems Foundations2026$368,494October 1, 2025September 30, 2027Yiorgos Makrisnsf.gov
CAREER: From Neural Network Verification to General SMT Solving: A New Framework for Solving SMT over Non-linear Real ArithmeticNSFSoftware & Systems Foundations2026$368,343August 1, 2026July 31, 2031Huan Zhangnsf.gov
CAREER: System-Technology Co-Optimization for 3-D ICs With Hierarchical Digital TwinsNSFSoftware & Systems Foundations2026$367,934June 1, 2026May 31, 2031Tathagata Srimaninsf.gov
Collaborative Research: SHF: Medium: A Scalable Graph-Based Approach to ClusteringNSFSoftware & Systems Foundations2024$364,000October 1, 2024September 30, 2028Laxman Dhulipalansf.gov
Collaborative Research: SHF: Medium: A Scalable Graph-Based Approach to ClusteringNSFSoftware & Systems Foundations2024$364,000October 1, 2024September 30, 2028Julian Shunnsf.gov
Collaborative Research: SHF: Medium: A Scalable Graph-Based Approach to ClusteringNSFSoftware & Systems Foundations2024$363,931October 1, 2024September 30, 2028David E Hershkowitznsf.gov
Collaborative Research: SHF: Hierarchical Optimization of Ragged Tensor Operators for Deep Learning WorkloadsNSFSoftware & Systems Foundations2026$362,095July 15, 2026June 30, 2029Keren Zhounsf.gov
CAREER: Cross-Layer Electronic-Photonic Design Automation and Co-Design Toolflow for Large-Scale Photonics-Empowered AI SystemsNSFSoftware & Systems Foundations2026$360,002June 1, 2026May 31, 2031Jiaqi Gunsf.gov
CAREER: An Algorithm and System Co-Designed Framework for Graph Sampling and Random Walk on GPUsNSFSoftware & Systems Foundations2023$359,555January 1, 2023February 28, 2027Hang Liunsf.gov
CAREER: Human-AI Collaboration to Debug Analog CircuitsNSFSoftware & Systems Foundations2026$357,497March 15, 2026February 28, 2031John Hunsf.gov
Collaborative Research: SHF: Medium: Panther: New Highly Parallel Hardware and Software System for Graph-based Data Analytics to Improve AI Reliability and EfficiencyNSFSoftware & Systems Foundations2025$355,999July 15, 2025June 30, 2027Mark H Oskinnsf.gov
Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive ProofsNSFSoftware & Systems Foundations2022$349,999October 1, 2022September 30, 2026Todd D Millsteinnsf.gov
Collaborative Research: SHF: Medium: EPOD: Data Reduction for Science through Efficient Processing Without DecompressionNSFSoftware & Systems Foundations2025$349,917July 15, 2025June 30, 2028Rong Gensf.gov
CAREER: Algorithm-Hardware Cross-Layer Design for High-Performance Scientific Data CompressionNSFSoftware & Systems Foundations2026$347,035June 1, 2026May 31, 2031Miao Yinnsf.gov
CAREER: Communication Network for Ultra-Large-Scale Chiplet-Based SystemsNSFSoftware & Systems Foundations2026$344,624May 1, 2026April 30, 2031Boris Vaisbandnsf.gov
CAREER: Dynamic Distributed Learning in Spiking Neural Networks with Neural Architecture SearchNSFDivision of Computing and Communication Foundations2023$342,030January 1, 2023January 31, 2026Priyadarshini Pandansf.gov
CAREER: Enabling Trustworthy Complex Learning-enabled AutonomyNSFSoftware & Systems Foundations2026$341,006October 1, 2025January 31, 2030Dung Trannsf.gov
Collaborative Research: SHF: Small: Efficient and Scalable Privacy-Preserving Neural Network Inference based on Ciphertext-Ciphertext Fully Homomorphic EncryptionNSFSoftware & Systems Foundations2023$340,999April 1, 2023March 31, 2027Keshab K Parhinsf.gov
Collaborative Research: SHF: Small: RUI: Keystone: Modular Concurrent Software VerificationNSFSoftware & Systems Foundations2023$339,977October 1, 2023September 30, 2026Cormac Flanagannsf.gov
Collaborative Research: SHF: Medium: End-to-End Resilience in Autonomous Driving Systems: Strategic Vulnerability Assessment and MitigationNSFSoftware & Systems Foundations2024$338,536July 15, 2024June 30, 2027Lishan Yangnsf.gov
Collaborative Research: SHF: Medium: Hardware and Software Support for Memory-Centric Computing SystemsNSFSoftware & Systems Foundations2024$334,000December 15, 2023November 30, 2027Tong Zhangnsf.gov
Collaborative Research: SHF: Medium: Probabilistic Concurrent Outcome Logic (pcOL) -- Expressive Specifications for Concurrent Randomized ProgramsNSFSoftware & Systems Foundations2025$333,627October 1, 2025September 30, 2029Joseph D Tassarottinsf.gov
Collaborative Research: SHF: Medium: Hardware and Software Support for Memory-Centric Computing SystemsNSFSoftware & Systems Foundations2024$333,000December 15, 2023November 30, 2027Xiaodong Zhangnsf.gov
Collaborative Research: SHF: Small: Technical Debt Management in Dynamic and Distributed SystemsNSFSoftware & Systems Foundations2023$330,807June 15, 2023May 31, 2027Yuanfang Cainsf.gov
CAREER:High Performance Code Generation for Irregular Computation via a Graph Structure Descriptor LanguageNSFSoftware & Systems Foundations2025$330,757January 1, 2025December 31, 2029Richard M Verasnsf.gov
Collaborative Research: SHF: Small: Exploiting Performance Correlations for Accurate and Low-cost Performance Testing for Serverless ComputingNSFSoftware & Systems Foundations2022$329,334June 15, 2022May 31, 2027Xiaoyin Wangnsf.gov
Collaborative Research: SHF: Medium: Toward Understandability and Interpretability for Neural Language Models of Source CodeNSFSoftware & Systems Foundations2023$329,183October 1, 2023September 30, 2027Denys Poshyvanyknsf.gov
SHF: Small: Rethinking Virtualization at the Edge to Support Highly-efficient and Low-power ApplicationsNSFSoftware & Systems Foundations2022$325,050July 1, 2022June 30, 2027Kun Suonsf.gov
Collaborative Research: SHF: Small: Access Patterns in Massive Parallelism: Abstractions and Oriented Unified Memory Management for GPU Accelerated SystemsNSFSoftware & Systems Foundations2024$324,795June 15, 2024May 31, 2027Rong Gensf.gov
CAREER : Towards Exascale Performance of Parallel ApplicationsNSFSoftware & Systems Foundations2024$324,734February 1, 2024January 31, 2029Amanda Bienznsf.gov
CAREER: Embracing Uncertainty in High-Performance Computing Resource Scheduling: An Integrated Algorithmic and Machine Learning-based ApproachNSFSoftware & Systems Foundations2025$324,315October 1, 2025September 30, 2030Hongyang Sunnsf.gov
Collaborative Research: SHF: Small: Toward Automated Software Testing on Augmented Reality AppsNSFSoftware & Systems Foundations2025$324,000February 1, 2025January 31, 2028Xiaoyin Wangnsf.gov
Collaborative Research: SHF: Small: Toward Automated Software Testing on Augmented Reality AppsNSFSoftware & Systems Foundations2025$323,961February 1, 2025January 31, 2028Xueling Zhangnsf.gov
CAREER: Rethinking Toolchain Design for RustNSFSoftware & Systems Foundations2022$323,154February 1, 2022January 31, 2027Hong Hunsf.gov
CAREER: Theoretical and Computational Advances for Enabling Robust Numerical Guarantees in Linear and Mixed Integer Programming SolversNSFSoftware & Systems Foundations2024$322,141August 15, 2024July 31, 2029Adolfo R Escobedonsf.gov
SHF: Small: Optimizing runtime efficiency of symbolic execution for functional languagesNSFSoftware & Systems Foundations2025$321,874June 15, 2025May 31, 2028William T Hallahannsf.gov
CAREER: A Scalable, Polymorphic, and Efficient Architecture for Irregular and Sparse Computations (APEX)NSFSoftware & Systems Foundations2025$321,036March 1, 2025February 28, 2030Hao Zhengnsf.gov
Collaborative Research: SHF: Small: An Accelerated Computation Architecture for State Transition Representation and ApplicationsNSFSoftware & Systems Foundations2024$318,500August 1, 2024July 31, 2027Xiaojiang Dunsf.gov
CAREER: OneSense: One-Rule-for-All Combinatorial Boolean Synthesis via Reinforcement LearningNSFSoftware & Systems Foundations2024$317,800October 1, 2023June 30, 2027Cunxi Yunsf.gov
Collaborative Research: SHF: Medium: End-to-End Resilience in Autonomous Driving Systems: Strategic Vulnerability Assessment and MitigationNSFSoftware & Systems Foundations2024$316,963July 15, 2024June 30, 2027Homa Alemzadehnsf.gov
CAREER: Process Technology-based Electronic Design Automation Framework Development for Efficient Monolithic Three-dimensional (3D) IntegrationNSFSoftware & Systems Foundations2025$315,459February 15, 2025January 31, 2030Umamaheswara R Tidansf.gov
CAREER: Redefining Testing Foundations for Heterogeneity-Aware AI CompilationNSFSoftware & Systems Foundations2026$315,154July 1, 2026June 30, 2031Qian Zhangnsf.gov
Collaborative Research: SHF: Small: Towards Variability-Aware Software Analysis and TestingNSFSoftware & Systems Foundations2022$314,785September 1, 2022August 31, 2027Robyn R Lutznsf.gov
CAREER: Enhancing Mobile Application Security through Contextual Integrity and User AwarenessNSFSoftware & Systems Foundations2023$314,318February 15, 2023July 31, 2027Xusheng Xiaonsf.gov
Collaborative Research: SHF: Small: Enabling Dialogue Systems for Non-Functional RequirementsNSFSoftware & Systems Foundations2025$310,000October 1, 2025September 30, 2028Sepideh Ghanavatinsf.gov
Collaborative Research: SHF: Small: Enabling Dialogue Systems for Non-Functional RequirementsNSFSoftware & Systems Foundations2025$309,911October 1, 2025September 30, 2028Collin McMillannsf.gov
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At ScaleNSFSoftware & Systems Foundations2023$308,739January 1, 2024December 31, 2026Sanjukta Bhowmicknsf.gov
CAREER: ProTrain: Enabling Efficient Large Language Model Training via Performance, Energy, and Reliability Co-optimizationsNSFSoftware & Systems Foundations2026$308,232September 1, 2026August 31, 2031Jieyang Chennsf.gov
Collaborative Research: SHF: Small: Verification-guided Assessment and Reduction of Code ComplexityNSFSoftware & Systems Foundations2024$306,475August 1, 2024July 31, 2027Martin Kelloggnsf.gov
Collaborative Research: SHF: MADE: Memory-centric Architectures for Distributed Edge IntelligenceNSFSoftware & Systems Foundations2026$301,642August 1, 2026July 31, 2029Dayane Alfenas Reisnsf.gov
Collaborative Research: SHF: Small: Towards Variability-Aware Software Analysis and TestingNSFSoftware & Systems Foundations2022$300,000September 1, 2022August 31, 2027Tuba Yavuznsf.gov
Collaborative Research: SHF: Medium: Automated energy-efficient sensor data winnowing using native analog processingNSFSoftware & Systems Foundations2022$300,000October 1, 2022September 30, 2027Jiang Hunsf.gov
Collaborative Research: SHF: Small: Software Hardware Architecture Co-Design for Enabling True Virtual Reality on Mobile DevicesNSFSoftware & Systems Foundations2022$300,000July 1, 2022June 30, 2026Wei Gaonsf.gov
Collaborative Research: SHF: Small: Software Hardware Architecture Co-Design for Enabling True Virtual Reality on Mobile DevicesNSFSoftware & Systems Foundations2022$300,000July 1, 2022June 30, 2027Guohong Caonsf.gov
Collaborative Research: SHF: Small: A General Framework for Responsive Static AnalysisNSFSoftware & Systems Foundations2022$300,000October 1, 2022September 30, 2027Bor-Yuh Evan Changnsf.gov
Collaborative Research: SHF: Small: A General Framework for Responsive Static AnalysisNSFSoftware & Systems Foundations2022$300,000October 1, 2022September 30, 2027Manu Sridharannsf.gov
Collaborative Research: SHF: Medium: Natural Language Models with Execution Data for Software TestingNSFSoftware & Systems Foundations2023$300,000October 1, 2023September 30, 2027Sasa Misailovicnsf.gov
Collaborative Research: SHF: Small: Reimagining Communication Bottlenecks in GNN Acceleration through Collaborative Locality Enhancement and Compression Co-DesignNSFSoftware & Systems Foundations2023$300,000October 1, 2023September 30, 2027Fengguang Songnsf.gov
Collaborative Research: An Effective and Efficient Low-Cost Alternate to Cell Aware Test Generation for Cell Internal DefectsNSFSoftware & Systems Foundations2023$300,000October 1, 2023September 30, 2027Abhijit Chatterjeensf.gov
Collaborative Research: An Effective and Efficient Low-Cost Alternate to Cell Aware Test Generation for Cell Internal DefectsNSFSoftware & Systems Foundations2023$300,000October 1, 2023September 30, 2027Adit D Singhnsf.gov
EAGER: Proof-Carrying Code CompletionsNSFSoftware & Systems Foundations2024$300,000February 15, 2024January 31, 2027Caleb Stanfordnsf.gov
Collaborative Research: SHF: Small: Verification-guided Assessment and Reduction of Code ComplexityNSFSoftware & Systems Foundations2024$300,000August 1, 2024July 31, 2027Oscar Javier Chaparro Arenasnsf.gov
CCF:SHF:Small: Some new classes of codes for computer and memory systems.NSFSoftware & Systems Foundations2025$300,000March 1, 2025February 29, 2028Bella Bosensf.gov
SHF: Small: Practical Controlled Concurrency Testing for Managed CodeNSFSoftware & Systems Foundations2025$300,000October 1, 2025September 30, 2028Rohan Padhyensf.gov
Collaborative Research: SHF: Medium: OASIS: An Open-Source AI-Driven EDA Tool for Real-Time Synthesis of Short-Distance Wireless Interconnects on SiliconNSFSoftware & Systems Foundations2025$300,000October 1, 2025September 30, 2029Asimina Kiourtinsf.gov
Collaborative Research: SHF: Medium: Foundations of Zero Knowledge ComputationNSFSoftware & Systems Foundations2025$300,000July 1, 2025June 30, 2028Ethan B Cecchettinsf.gov
Collaborative Research: SHF: Medium: A hardware accelerator for satisfiability (SAT): Over 100x speedup for combinatorial optimization problemsNSFSoftware & Systems Foundations2025$300,000October 1, 2025September 30, 2029Pierluigi Nuzzonsf.gov
Collaborative Research: SHF: Small: HexAI: Holistic Exploration for Design Automation of Efficient AI AcceleratorsNSFSoftware & Systems Foundations2025$300,000October 1, 2025September 30, 2028Bo Yuannsf.gov
Collaborative Research: SHF: Small: HexAI: Holistic Exploration for Design Automation of Efficient AI AcceleratorsNSFSoftware & Systems Foundations2025$300,000October 1, 2025September 30, 2028Jiang Hunsf.gov
Collaborative Research: SHF: Documentation-Guided Adaptable Static AnalysisNSFSoftware & Systems Foundations2026$300,000October 1, 2026September 30, 2029Umar Farooqnsf.gov
Collaborative Research: SHF: Documentation-Guided Adaptable Static AnalysisNSFSoftware & Systems Foundations2026$300,000October 1, 2026September 30, 2029Muhammad A Siddiquensf.gov
Collaborative Research: SHF: Documentation-Guided Adaptable Static AnalysisNSFSoftware & Systems Foundations2026$300,000October 1, 2026September 30, 2029Manu Sridharannsf.gov
Collaborative Research: SHF: Medium: Towards Harmonious Federated Intelligence in Heterogeneous Edge Computing via Data MigrationNSFSoftware & Systems Foundations2023$299,951August 15, 2023July 31, 2027Xiaonan Zhangnsf.gov
Collaborative Research: SHF: MADE: Memory-centric Architectures for Distributed Edge IntelligenceNSFSoftware & Systems Foundations2026$299,927August 1, 2026July 31, 2029Sercan Aygunnsf.gov
EAGER:Stochastic Thermodynamics of Distributed ComputationNSFDivision of Computing and Communication Foundations2022$299,888June 1, 2022July 31, 2025David Wolpertnsf.gov
Collaborative Research: SHF: Small: Scalable and Extensible I/O Runtime and Tools for Next Generation Adaptive Data LayoutsNSFSoftware & Systems Foundations2022$299,687July 15, 2022June 30, 2027Steve Petruzzansf.gov
EAGER: Feyenman: Developing and Evaluating Computational Transparency Approaches for Understanding AI SystemsNSFSoftware & Systems Foundations2026$299,538September 1, 2026August 31, 2028Kirk W Cameronnsf.gov
CAREER: Cross-Boundary Program Analyses for Web ApplicationsNSFSoftware & Systems Foundations2023$298,948March 1, 2023August 31, 2026Weihang Wangnsf.gov
RTML: Large: Collaborative: Harmonizing Predictive Algorithms and Mixed-Signal/Precision Circuits via Computation-Data Access Exchange and Adaptive DataflowsNSFDivision of Computing and Communication Foundations2024$296,588October 1, 2023September 30, 2025Yingyan C Linnsf.gov
EAGER: From Mitigation to Exploitation: A Cross-Layer Co-Design Framework for Robust In-Memory ComputingNSFSoftware & Systems Foundations2026$295,771September 15, 2026August 31, 2028Xiaobo S Hunsf.gov
SHF:Small:Intelligent Management of Hybrid Workloads for Extreme Scale ComputingNSFDivision of Computing and Communication Foundations2024$295,548October 1, 2023September 30, 2025Zhiling Lannsf.gov
EAGER: Formal reasoning with SPIRAL program generation and automatic hardware-centric optimization to achieve guarantees in high performance math kernels produced by generative AINSFDivision of Computing and Communication Foundations2024$295,169October 1, 2024September 30, 2025Franz Franchettinsf.gov
CAREER: Cross-Layer Integration of Stochastic Processing Ensembles for Versatile Intelligent ComputingNSFSoftware & Systems Foundations2025$291,485January 15, 2025December 31, 2029Cheng Wangnsf.gov
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At ScaleNSFSoftware & Systems Foundations2023$291,261January 1, 2024December 31, 2027Binghui Wangnsf.gov
CAREER: SHF: Compositional Analysis of Randomized AlgorithmsNSFDivision of Computing and Communication Foundations2022$291,247January 1, 2022November 30, 2025Justin Hsunsf.gov
Collaborative Research: SHF: Small: Scalable and Extensible I/O Runtime and Tools for Next Generation Adaptive Data LayoutsNSFSoftware & Systems Foundations2024$289,136October 1, 2023June 30, 2027Sidharth kumarnsf.gov
Collaborative Research: SHF: Small: Technical Debt Management in Dynamic and Distributed SystemsNSFSoftware & Systems Foundations2023$288,995June 15, 2023May 31, 2027Rick Kazmannsf.gov
Collaborative Research: SHF: Medium: Data-Efficient Uncovering of Rare Design Failures for Reliability-Critical CircuitsNSFSoftware & Systems Foundations2022$286,804October 1, 2021October 31, 2026Xiaoning Qiannsf.gov
Collaborative Research: SHF: Small: Software Developer Tools for Enabling Heterogeneous ComputingNSFSoftware & Systems Foundations2024$281,385October 1, 2024September 30, 2027Miryung Kimnsf.gov
Collaborative Research: SHF: Small: Designing and Optimizing Tiny Vector Symbolic Architectures for Ultra-Efficient Inference on Tiny DevicesNSFSoftware & Systems Foundations2025$280,000October 1, 2025September 30, 2028Xiaolin Xunsf.gov
Collaborative Research: SHF: Small: Designing and Optimizing Tiny Vector Symbolic Architectures for Ultra-Efficient Inference on Tiny DevicesNSFSoftware & Systems Foundations2025$280,000October 1, 2025September 30, 2028Shaolei Rennsf.gov
Collaborative Research: SHF: Medium: Hardware and Software Support for Memory-Centric Computing SystemsNSFSoftware & Systems Foundations2025$276,578December 15, 2024November 30, 2027Feng Chennsf.gov
Collaborative Research: SHF: Core: Medium: Program Synthesis for Schema ChangesNSFSoftware & Systems Foundations2022$275,000October 1, 2022September 30, 2027Isil Dillignsf.gov
Collaborative Research: SHF: Small: Access Patterns in Massive Parallelism: Abstractions and Oriented Unified Memory Management for GPU Accelerated SystemsNSFSoftware & Systems Foundations2024$274,765June 15, 2024May 31, 2027Yonghong Yannsf.gov
CAREER: Elastic Algorithm-Architecture Co-Design for Energy-Efficient and Scalable Artificial Intelligence via Dynamic ConnectivityNSFSoftware & Systems Foundations2025$274,636January 1, 2025December 31, 2029Liu Liunsf.gov
Collaborative Research: SHF: Medium: SCIOPT: Toward Certifiable Compression-Aware SciML SystemsNSFSoftware & Systems Foundations2024$272,992October 1, 2024September 30, 2027Martin Burtschernsf.gov
Collaborative Research: SHF: Medium: End-to-End Resilience in Autonomous Driving Systems: Strategic Vulnerability Assessment and MitigationNSFSoftware & Systems Foundations2024$272,238July 15, 2024June 30, 2027Evgenia Smirninsf.gov
Collaborative Research: SHF: Small: Building scalable GPU simulation and efficient GPU memory management for large machine learning accelerationNSFSoftware & Systems Foundations2025$270,000October 1, 2025September 30, 2028Hyesoon Kimnsf.gov
Collaborative Research: SHF: Small: Scalable Algorithmic and Software Foundations for Subgraph Counting and EnumerationNSFSoftware & Systems Foundations2025$270,000July 1, 2025June 30, 2028Quanquan C Liunsf.gov
Collaborative Research: SHF: Small: Scalable Algorithmic and Software Foundations for Subgraph Counting and EnumerationNSFSoftware & Systems Foundations2025$270,000July 1, 2025June 30, 2028David A Badernsf.gov
CAREER: Compiler and Runtime Support for Sampled Sparse Computations on Heterogeneous SystemsNSFSoftware & Systems Foundations2024$269,174June 1, 2024May 31, 2029Peng Jiangnsf.gov
Collaborative Research: SHF: Hierarchical Optimization of Ragged Tensor Operators for Deep Learning WorkloadsNSFSoftware & Systems Foundations2026$268,768July 15, 2026June 30, 2029Jiajia Linsf.gov
Collaborative Research: SHF: Small: Building scalable GPU simulation and efficient GPU memory management for large machine learning accelerationNSFSoftware & Systems Foundations2025$267,791October 1, 2025September 30, 2028Hyeran Jeonnsf.gov
Collaborative Research: SHF: Medium: High-Performance, Verified Accelerator ProgrammingNSFSoftware & Systems Foundations2023$266,667July 1, 2023June 30, 2026Gilbert L Bernsteinnsf.gov
CAREER: Near-Memory Datacenter NetworkNSFSoftware & Systems Foundations2025$266,548October 1, 2024April 30, 2028Mohammad Aliannsf.gov
Collaborative Research: SHF: Small: Sub-millisecond Topological Feature Extractor for High-Rate Machine LearningNSFSoftware & Systems Foundations2023$266,000May 15, 2023April 30, 2027Austin Downeynsf.gov
CAREER: Synthesizing Architectural TacticsNSFSoftware & Systems Foundations2024$264,979October 1, 2023February 28, 2027Mehdi Mirakhorlinsf.gov
Collaborative Research: SHF: Small: Reimagining Communication Bottlenecks in GNN Acceleration through Collaborative Locality Enhancement and Compression Co-DesignNSFSoftware & Systems Foundations2026$264,299January 1, 2026September 30, 2027Tong Gengnsf.gov
Collaborative Research: SHF: Small: Software Developer Tools for Enabling Heterogeneous ComputingNSFSoftware & Systems Foundations2024$263,900October 1, 2024September 30, 2027Qian Zhangnsf.gov
CAREER: SPEED: Scalable Performance-aware Engine for Efficient Decision-making on High-Performance Computing SystemsNSFSoftware & Systems Foundations2025$259,999January 1, 2025December 31, 2029Tanzima Z Islamnsf.gov
Collaborative Research: SHF: Small: RUI: Keystone: Modular Concurrent Software VerificationNSFSoftware & Systems Foundations2023$259,949October 1, 2023September 30, 2027Stephen N Freundnsf.gov
CAREER: Enabling Trustworthy Complex Learning-enabled AutonomyNSFDivision of Computing and Communication Foundations2025$259,076February 1, 2025April 30, 2026Dung Trannsf.gov
CAREER: Physically-Aware Accelerator Design Flows for Motion PlanningNSFSoftware & Systems Foundations2025$258,335January 1, 2025December 31, 2029Sabrina Neumannsf.gov
CISE-ANR: SHF: Small: CHAMELEON: CompreHending And Mitigating Error in AnaLog ImplEmentations of On-Die Neural NetworksNSFDivision of Computing and Communication Foundations2022$255,259October 1, 2022January 31, 2026Yiorgos Makrisnsf.gov
Collaborative Research: SHF: Small: Exploiting Performance Correlations for Accurate and Low-cost Performance Testing for Serverless ComputingNSFSoftware & Systems Foundations2022$252,958June 15, 2022May 31, 2026Lori L Pollocknsf.gov
CAREER: Differentiable Network-Accelerator Co-Search Towards Ubiquitous On-Device Intelligence and Green AINSFSoftware & Systems Foundations2024$251,499December 15, 2023March 31, 2027Yingyan C Linnsf.gov
Collaborative Research: SHF: SMALL: Compile-Parallelize-Schedule-Retarget-Repeat (EASER) Paradigm for Dealing with Extreme HeterogeneityNSFSoftware & Systems Foundations2022$250,000June 15, 2022May 31, 2027Bin Rennsf.gov
Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive ProofsNSFDivision of Computing and Communication Foundations2022$250,000October 1, 2022September 30, 2025Sorin Lernernsf.gov
Collaborative Research: SHF: SensABridge: Learnable Sensor-AI Bridge for Ubiquitous Edge Intelligent ProcessingNSFSoftware & Systems Foundations2026$250,000August 1, 2026July 31, 2029Wantong Linsf.gov
Collaborative Research: EAGER: Fueling a Virtuous Cycle Between Cognitive Modeling and Quantum ComputingNSFSoftware & Systems Foundations2026$250,000August 1, 2026July 31, 2028Margaret Martonosinsf.gov
EAGER: Formal Analysis of Stochastic Models in Systems Biology Under UncertaintyNSFCSE - Core Programs2022$249,999July 1, 2022June 30, 2026Krishnendu Ghoshnsf.gov
Collaborative Research: SHF:SMALL: Compile-Parallelize-Schedule-Retarget-Repeat (EASER) Paradigm for Dealing with Extreme HeterogeneityNSFDivision of Computing and Communication Foundations2022$249,998June 15, 2022July 31, 2023Gagan Agrawalnsf.gov
Collaborative Research: SHF:SMALL: Compile-Parallelize-Schedule-Retarget-Repeat (EASER) Paradigm for Dealing with Extreme HeterogeneityNSFSoftware & Systems Foundations2023$249,998July 1, 2023May 31, 2027Gagan Agrawalnsf.gov
CAREER: High-Level Synthesis and Compilation for Domain-Specific Reconfigurable Heterogeneous SystemsNSFSoftware & Systems Foundations2025$249,724January 15, 2025December 31, 2029Sitao Huangnsf.gov
CAREER: Algorithm-Centric High Performance Graph ProcessingNSFDivision of Computing and Communication Foundations2023$249,600October 1, 2022March 31, 2025Changhee Jungnsf.gov
Collaborative Research: SHF: Small: RUI: CMOS+X: Honey-ReRAM Enabled 3D Neuromorphic AcceleratorNSFSoftware & Systems Foundations2026$249,255October 1, 2025September 30, 2027Feng Zhaonsf.gov
Collaborative Research: SHF: Medium: A New Direction of Research and Development to Fulfill the Promise of Computational StorageNSFSoftware & Systems Foundations2025$248,301December 15, 2024June 30, 2027Feng Chennsf.gov
CAREER: Certified Explanations for Trustworthy Artificial IntelligenceNSFSoftware & Systems Foundations2025$246,639June 1, 2025May 31, 2030Eric Wongnsf.gov
Collaborative Research: SHF: MEDIUM: Smart Integrated Tuning of Parallel Code for Multicore and Manycore SystemsNSFSoftware & Systems Foundations2022$243,903October 1, 2022September 30, 2027Barbara M Chapmannsf.gov
Collaborative Research: SHF: Small: Efficient and Scalable Privacy-Preserving Neural Network Inference based on Ciphertext-Ciphertext Fully Homomorphic EncryptionNSFSoftware & Systems Foundations2024$240,062January 1, 2024March 31, 2027Yingjie Laonsf.gov
EAGER: Causal Analysis through Formal Reasoning and AI for Cancer DiagnosticsNSFDivision of Computing and Communication Foundations2023$239,960July 1, 2023December 31, 2025Borzoo Bonakdarpournsf.gov
Collaborative Research: SHF: Medium: Bug Report Management 2.0NSFDivision of Computing and Communication Foundations2023$238,622August 15, 2023September 30, 2025Wing Lamnsf.gov
SHF: SMALL: Language-agnostic ProofsNSFSoftware & Systems Foundations2023$233,336October 1, 2023September 30, 2026Matteo Cimininsf.gov
Collaborative Research: SHF: Small: An Accelerated Computation Architecture for State Transition Representation and ApplicationsNSFDivision of Computing and Communication Foundations2024$227,500August 1, 2024December 31, 2024Yuede Jinsf.gov
Collaborative Research: SHF: Small: An Accelerated Computation Architecture for State Transition Representation and ApplicationsNSFSoftware & Systems Foundations2025$227,500October 1, 2024July 31, 2027Yuede Jinsf.gov
Collaborative Research: SHF: Medium: Semantic Aware Code Generation with LLMsNSFSoftware & Systems Foundations2025$225,000October 1, 2025September 30, 2028Ravi Mangalnsf.gov
Collaborative Research: SHF: Small: Fault Localization for Deep LearningNSFSoftware & Systems Foundations2026$223,992June 1, 2026May 31, 2029Mohammad Wardatnsf.gov
CAREER: Automated Synthesis of Electromagnetic Devices for Nanophotonic and Radio Frequency ApplicationsNSFSoftware & Systems Foundations2026$222,796January 1, 2026February 29, 2028Constantine Siderisnsf.gov
FMitF: Collaborative Research: Track I: Preventing Human Errors in Cyber-human Systems with Formal Approaches to Human Reliability Rating and Model RepairNSFDivision of Computing and Communication Foundations2022$221,846January 15, 2022July 31, 2024Matthew L Boltonnsf.gov
CAREER: Advancing Dependable Reusable Change Integration Across Software VariantsNSFSoftware & Systems Foundations2026$219,000October 1, 2026September 30, 2031John Busingensf.gov
Collaborative Research: SHF: Small: Sub-millisecond Topological Feature Extractor for High-Rate Machine LearningNSFSoftware & Systems Foundations2023$218,212May 15, 2023April 30, 2027Simon Laflammensf.gov
CAREER: Distributed System Synthesis on Certified MiddlewareNSFSoftware & Systems Foundations2024$217,858April 1, 2024June 30, 2027Mohsen Lesaninsf.gov
Collaborative Research: SHF: Small: Enabling Efficient 3D Perception: An Architecture-Algorithm Co-Design ApproachNSFDivision of Computing and Communication Foundations2023$213,321February 1, 2023October 31, 2026Guoyu Lunsf.gov
CAREER: Neural Network-Inspired Information Processing Beyond the Binary Digital AbstractionNSFSoftware & Systems Foundations2025$211,129January 1, 2025May 31, 2026Xuan Zhangnsf.gov
CRII: SHF: Codata: A Logical Fusion of Object-Oriented and Functional ProgrammingNSFSoftware & Systems Foundations2023$210,728June 1, 2023May 31, 2026Paul Downennsf.gov
Collaborative Research: SHF: Medium: Semantics-Aware Neural Models of CodeNSFSoftware & Systems Foundations2022$209,190August 1, 2022July 31, 2026Thomas W Repsnsf.gov
CAREER: Near-Memory Datacenter NetworkNSFDivision of Computing and Communication Foundations2023$208,214May 1, 2023April 30, 2025Mohammad Aliannsf.gov
SHF: Small: A Novel Integrated Accelerator for a Challenging Irregular Critical ApplicationNSFSoftware & Systems Foundations2025$207,470January 1, 2025December 31, 2027Uzi Vishkinnsf.gov
Collaborative Research: SHF: Small: Enabling Efficient 3D Perception: An Architecture-Algorithm Co-Design ApproachNSFSoftware & Systems Foundations2026$203,746October 1, 2025September 30, 2027Guoyu Lunsf.gov
Collaborative Research: SHF: Small: Enabling Caches and GPUs for Energy Harvesting SystemsNSFSoftware & Systems Foundations2022$200,000June 15, 2022June 30, 2026Dongyoon Leensf.gov
Collaborative Research: SHF: Small: Enabling Caches and GPUs for Energy Harvesting SystemsNSFSoftware & Systems Foundations2022$200,000June 15, 2022May 31, 2026Wenjie Xiongnsf.gov
Collaborative Research: SHF: Small: Enabling Caches and GPUs for Energy Harvesting SystemsNSFSoftware & Systems Foundations2022$200,000June 15, 2022May 31, 2026Changhee Jungnsf.gov
Collaborative Research: CCF Core: Small: User-transparent Data Management for Persistence and Crash-consistency in Non-volatile MemoriesNSFDivision of Computing and Communication Foundations2023$200,000October 1, 2023March 31, 2024Hui Lunsf.gov
Collaborative Research: SHF: Small: Model-driven Design and Optimization of Dataflows for Scientific ApplicationsNSFSoftware & Systems Foundations2023$200,000October 1, 2023September 30, 2026Ewa Deelmannsf.gov
Collaborative Research: CCF Core: Small: User-transparent Data Management for Persistence and Crash-consistency in Non-volatile MemoriesNSFSoftware & Systems Foundations2024$200,000November 15, 2023September 30, 2027Hui Lunsf.gov
SHF: Small: Software and Hardware Support for Robust Deep LearningNSFDivision of Computing and Communication Foundations2023$199,999March 1, 2023February 28, 2026Abdullah A Muzahidnsf.gov
Collaborative Research: SHF: Medium: Heterogeneous Architecture for Collaborative Machine LearningNSFSoftware & Systems Foundations2024$199,812April 1, 2024June 30, 2026Xiaoyong Yuannsf.gov
SHF: Small: A New Approach for Hardware Design of High-Precision Discrete Gaussian SamplingNSFDivision of Computing and Communication Foundations2022$199,780February 1, 2022January 31, 2025Aydin Aysunsf.gov
Collaborative Research: SHF: Small: RUI: CMOS+X: Honey-ReRAM Enabled 3D Neuromorphic AcceleratorNSFSoftware & Systems Foundations2026$198,578December 1, 2025September 30, 2027Jinhui Wangnsf.gov
CAREER: Testing Evolving Complex Software SystemsNSFDivision of Computing and Communication Foundations2022$197,328January 1, 2022November 30, 2023Tingting Yunsf.gov
CRII: SHF: Systematic Construction of Teaching Language Progressions for Embedded Domain-Specific LanguagesNSFSoftware & Systems Foundations2024$195,000April 15, 2024March 31, 2027Jason B Hemannnsf.gov
CRII: SHF: Graphical User Interface Test Code Adaptation for Developing Voice Assistant Features in Mobile ApplicationsNSFSoftware & Systems Foundations2023$194,650June 1, 2023May 31, 2027Xue Qinnsf.gov
Collaborative Research: SHF: Small: Artificial Intelligence of Things (AIoT): Theory, Architecture, and AlgorithmsNSFDivision of Computing and Communication Foundations2022$190,632October 1, 2022September 30, 2025Nima Magharinsf.gov
CRII: SHF: Assessing and Profiling Continuous Integration for Machine Learning ApplicationsNSFDivision of Computing and Communication Foundations2022$190,290May 1, 2022April 30, 2026Foyzul Hassannsf.gov
SHF:Small: More Modular Deep LearningNSFSoftware & Systems Foundations2025$180,803October 1, 2024September 30, 2026Hridesh Rajannsf.gov
SHF: Medium: Compositional Semantics-Guided SynthesisNSFDivision of Computing and Communication Foundations2022$180,506October 1, 2022December 31, 2024Loris DAntoninsf.gov

Organizations

OrganizationPlaceNIH awardsNIH amountNSF awardsNSF amount
Carnegie Mellon UniversityPittsburgh, PA0$023$11.7 million
Georgia Tech Research CorporationAtlanta, GA0$017$8.9 million
University of Texas at AustinAustin, TX0$012$7 million
Northeastern UniversityBoston, MA0$014$6.5 million
Cornell UniversityIthaca, NY0$014$6.4 million
University of California-RiversideRiverside, CA0$016$5.7 million
University of Wisconsin-MadisonMadison, WI0$012$5.6 million
University of Michigan at Ann ArborAnn Arbor, MI0$010$5.3 million
Purdue UniversityWest Lafayette, IN0$016$5.2 million
University of California-IrvineIrvine, CA0$08$5 million
University of California-Santa BarbaraSanta Barbara, CA0$07$5 million
University of Southern CaliforniaLos Angeles, CA0$010$4.4 million
Iowa State UniversityAmes, IA0$014$4.3 million
University of Illinois at ChicagoChicago, IL0$010$4.1 million
University of Notre DameNotre Dame, IN0$07$4.1 million
Stevens Institute of TechnologyHoboken, NJ0$07$3.9 million
University of California-Santa CruzSanta Cruz, CA0$07$3.8 million
University of Maryland, College ParkCollege Park, MD0$012$3.8 million
University of VirginiaCharlottesville, VA0$09$3.6 million
Rutgers University New BrunswickNew Brunswick, NJ0$010$3.6 million
University of MinnesotaMinneapolis, MN0$07$3.5 million
University of Texas at ArlingtonArlington, TX0$09$3.5 million
University of PennsylvaniaPhiladelphia, PA0$05$3.5 million
University of California, San DiegoLa Jolla, CA0$05$3.4 million
Arizona State UniversityScottsdale, AZ0$011$3.3 million
University of Illinois at Urbana-ChampaignUrbana, IL0$08$3.3 million
George Mason UniversityFairfax, VA0$09$3.3 million
North Carolina State UniversityRaleigh, NC0$07$3.2 million
Pennsylvania State Univ University ParkUniversity Park, PA0$05$3 million
Stanford UniversityStanford, CA0$010$2.8 million
William Marsh Rice UniversityHouston, TX0$06$2.8 million
College of William and MaryWilliamsburg, VA0$08$2.7 million
Clemson UniversityClemson, SC0$07$2.7 million
Brown UniversityProvidence, RI0$06$2.7 million
Northwestern University at ChicagoChicago, IL0$05$2.6 million
University of California Los AngelesLos Angeles, CA0$05$2.5 million
University of UtahSalt Lake City, UT0$06$2.5 million
The University of Central Florida Board of TrusteesOrlando, FL0$06$2.5 million
Virginia Polytechnic Institute and State UniversityBlacksburg, VA0$07$2.4 million
Ohio State UniversityColumbus, OH0$06$2.3 million
SUNY at Stony BrookStony Brook, NY0$05$2.2 million
SUNY at BuffaloAmherst, NY0$04$2.2 million
Massachusetts Institute of TechnologyCambridge, MA0$06$2.2 million
University of RochesterRochester, NY0$05$2.1 million
Princeton UniversityPrinceton, NJ0$05$2.1 million
New York UniversityNew York, NY0$07$2.1 million
Trustees of Boston UniversityBoston, MA0$06$2 million
Texas A&M Engineering Experiment StationCollege Station, TX0$07$2 million
University of WashingtonSeattle, WA0$07$1.9 million
University of California at DavisDavis, CA0$06$1.9 million
University of Tennessee KnoxvilleKnoxville, TN0$03$1.8 million
University of IowaIowa City, IA0$05$1.8 million
University of Texas at DallasRichardson, TX0$04$1.7 million
University of Pittsburgh at PittsburghPittsburgh, PA0$05$1.6 million
University of Georgia Research Foundation IncAthens, GA0$05$1.6 million
Indiana UniversityBloomington, IN0$05$1.5 million
University of Colorado at BoulderBoulder, CO0$05$1.5 million
Auburn UniversityAuburn, AL0$03$1.4 million
George Washington UniversityWashington, DC0$03$1.4 million
Oregon State UniversityCorvallis, OR0$03$1.3 million
University of South Carolina at ColumbiaColumbia, SC0$03$1.3 million
Yale UniversityNew Haven, CT0$04$1.2 million
Hunter CollegeNew York, NY0$02$1.2 million
Columbia UniversityNew York, NY0$02$1.2 million
Duke UniversityDurham, NC0$04$1.1 million
University of HoustonHouston, TX0$02$1.1 million
Tulane University of LouisianaNew Orleans, LA0$03$1.1 million
University of ConnecticutStorrs, CT0$05$1.1 million
New Jersey Institute of TechnologyNewark, NJ0$03$1 million
University of Massachusetts AmherstAmherst, MA0$02$1 million
Florida State UniversityTallahassee, FL0$04$1 million
SUNY at BinghamtonBinghamton, NY0$03$1 million
Rensselaer Polytechnic InstituteTroy, NY0$03$1 million
Augusta UniversityAugusta, GA0$03$1 million
Dartmouth CollegeHanover, NH0$02$1 million
University of ChicagoChicago, IL0$02$1 million
University of Kansas Center for Research IncLawrence, KS0$04$943,529
University of California-BerkeleyBerkeley, CA0$03$915,000
University of South FloridaTampa, FL0$03$903,136
University of FloridaGainesville, FL0$04$882,818
Vanderbilt UniversityNashville, TN0$03$878,022
Drexel UniversityPhiladelphia, PA0$02$855,232
University of MaineOrono, ME0$02$839,773
North Dakota State University FargoFargo, ND0$03$830,459
University of California - MercedMerced, CA0$04$815,765
Regents of the University of Michigan - DearbornDearborn, MI0$02$790,290
Harvard UniversityCambridge, MA0$02$784,712
Colorado State UniversityFort Collins, CO0$02$765,999
Rochester Institute of TechRochester, NY0$04$683,432
University of ArizonaTucson, AZ0$02$657,203
University of Texas at San AntonioSan Antonio, TX0$02$653,334
Michigan Technological UniversityHoughton, MI0$02$622,641
Appalachian State UniversityBoone, NC0$01$613,086
Ohio UniversityAthens, OH0$01$600,000
Cal Poly Pomona Foundation, Inc.Pomona, CA0$01$600,000
Wayne State UniversityDetroit, MI0$01$596,759
University of North Carolina at CharlotteCharlotte, NC0$03$583,479
University of HawaiiHonolulu, HI0$03$577,974
San Jose State University FoundationSan Jose, CA0$01$550,306
University of Massachusetts BostonDorchester, MA0$01$546,610

Funding by fiscal year

Fiscal yearNIH awardsNIH amountNSF awardsNSF amount
20260$0106$34,781,962
20250$0193$55,305,858
20240$0210$53,901,708
20230$0214$52,146,430
20220$0159$47,243,681

Open federal funding opportunities

From Grants.gov: notices that funded awards in this table, and open notices on the same agency and assistance listing.

Open opportunityNumberAgencyListingClosesAward ceilingWhy it matches
National Science Foundation Translation to Practice (NSF TTP)25-540NSF47.070November 17, 2026$2 millionSame assistance listing 47.070 as 665 awards here
EPSCoR Research Infrastructure Improvement Program: Focused EPSCoR Collaborations (FEC)24-573NSF47.070January 26, 2027$1.5 millionSame assistance listing 47.070 as 665 awards here
Mid-scale Research Infrastructure-124-598NSF47.070February 8, 2027$20 millionSame assistance listing 47.070 as 665 awards here
NSF Dynamic Language Infrastructure - NEH Documenting Endangered Languages (DLI-DEL)22-615NSF47.070February 16, 2027Not listedSame assistance listing 47.070 as 665 awards here
Expeditions in Computing20-544NSF47.070March 31, 2027Not listedSame assistance listing 47.070 as 665 awards here
EPSCoR Research Infrastructure Improvement (RII): EPSCoR Research Fellows24-528NSF47.070April 13, 2027Not listedSame assistance listing 47.070 as 665 awards here
Findable Accessible Interoperable Reusable Open Science (FAIROS)25-533NSF47.070April 14, 2027Not listedSame assistance listing 47.070 as 665 awards here
Faculty Early Career Development Program (CAREER)22-586NSF47.070July 28, 2027Not listedSame assistance listing 47.070 as 665 awards here
Research Experiences for Undergraduates (REU)23-601NSF47.070August 18, 2027$500,000Same assistance listing 47.070 as 665 awards here
Historically Black Colleges and Universities - Excellence in Research (HBCU - EiR)23-598NSF47.070October 19, 2027Not listedSame assistance listing 47.070 as 665 awards here
National Science Foundation National Innovation Corps Teams (NSF National I-CorpsTM Teams) Program25-549NSF47.070October 6, 2076Not listedSame assistance listing 47.070 as 665 awards here
Facilitating Research at Primarily Undergraduate Institutions: (RUI and ROA-PUI)14-579NSF47.070October 14, 2076Not listedSame assistance listing 47.070 as 665 awards here
Established Program to Stimulate Competitive Research (EPSCoR): Workshop Opportunities24-540NSF47.070$200,000Same assistance listing 47.070 as 665 awards here
Foundational Research in RoboticsPD-20-144YNSF47.070Not listedSame assistance listing 47.070 as 665 awards here
Cyberinfrastructure for Public Access and Open SciencePD-24-7414NSF47.070$600,000Same assistance listing 47.070 as 665 awards here
Unlocking Dataset Value for AI-Enabled Scientific Discovery (AI Datasets)26-512NSF47.041November 4, 2026Not listedSame assistance listing 47.041 as 3 awards here
PFE: Research Initiation in Engineering Formation (PFE: RIEF)20-558NSF47.041November 10, 2026Not listedSame assistance listing 47.041 as 3 awards here
Training-based Workforce Development for Advanced Cyberinfrastructure23-520NSF47.041January 21, 2027$1 millionSame assistance listing 47.041 as 3 awards here
GROWING CONVERGENCE RESEARCH (GCR)24-527NSF47.041February 8, 2027$3.6 millionSame assistance listing 47.041 as 3 awards here
EMERGING FRONTIERS IN RESEARCH AND INNOVATION (EFRI-2026/27): Wave-Based Computing ( EFRI-WBC)26-524NSF47.041February 11, 2027Not listedSame assistance listing 47.041 as 3 awards here

Updated November 3, 2026. Read from NIH RePORTER ExPORTER and NSF Award Search. Published by NIH and NSF as U.S. government data. NIH awards are fiscal years 2021 to 2025 (NIH files published to 2026-07-09); NSF awards are fiscal years 2022 to 2026 (NSF files published to 2026-11-02). NIH amounts are the total cost of each fiscal year in the window; NSF amounts are the funds obligated in the window. Organizations are matched on the UEI. Open opportunities come from Grants.gov and match on agency and assistance listing number, and on the notice number NIH prints on an award. Free to reuse with credit to SpecStream under CC BY 4.0. Spot a wrong value? Write to [email protected] with the link to this page.