Funding
ARG-V's team is very thankful for the financial support provided to it.
This project is partially supported by the U.S. National Science Foundation (NSF) under the following grants:
- CNS-23-46326: Collaborative Research: CIRC: Dev: Adaptable Realistic Benchmark Generator for Verification (ARG-V). PI: Elena Sherman (2024-2026)
- CNS-23-46327: Collaborative Research: CIRC: Dev: Adaptable Realistic Benchmark Generator for Verification (ARG-V). PI: Robert Dyer (2024-2026)
- CNS-18-23357: CRI: CI-P: Collaborative: Towards a Program Analysis Collaboratory. PI: Elena Sherman (2018-2020)
- CNS-18-23294: CRI: CI-P: Collaborative: Towards a Program Analysis Collaboratory. PI: Robert Dyer (2018-2020)
The prototype infrastructure is supported by a generous startup grant provided by the University of Nebraska—Lincoln to Dr. Robert Dyer.
The prototype infrastructure was previously supported by a generous startup grant provided by Bowling Green State University to Dr. Robert Dyer.