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.

Cookies Disclaimer

I Agree Our site saves small pieces of text information (cookies) on your device in order to deliver better content and for statistical purposes. You can disable the usage of cookies by changing the settings of your browser. By browsing our website without changing the browser settings you grant us permission to store that information on your device. See our Privacy Policy and Terms of Use Policy for more details.