Funding
I am very thankful to my sponsors for helping fund my research and teaching activities.
I thank the US National Science Foundation (NSF) for supporting my research under the following awards:
- Collaborative Research: CIRC: Dev: Adaptable Realistic Benchmark Generator for Verification (ARG-V)
PIs: Elena Sherman and Robert Dyer (2024-2026) - CRI: CI-P: Collaborative: Towards a Program Analysis Collaboratory
PIs: Elena Sherman and Robert Dyer (2018-2020) - SHF:Large:Collaborative Research: Inferring Software Specifications from Open Source Repositories by Leveraging Data and Collective Community Expertise
PIs: Hridesh Rajan, Tien N. Nguyen, Gary T. Leavens, Vasant Honavar, and Robert Dyer (2015-2019) - CI-EN: Boa: Enhancing Infrastructure for Studying Software and its Evolution at a Large Scale
PIs: Hridesh Rajan, Tien N. Nguyen, and Robert Dyer (2015-2019)
- Collaborative Research: CIRC: Dev: Adaptable Realistic Benchmark Generator for Verification (ARG-V)
My research has been supported by a generous startup grant from the University of Nebraska-Lincoln.
My research was previously supported by a generous startup grant from Bowling Green State University.
XSEDE provided a startup allocation in 2020.
Amazon has provided credits over the years:
- Amazon provided AWS credits for porting Boa to AWS in 2018.
- Amazon provided AWS credits for each of my students in my MSA 6500 course in Spring 2015.
Sea Change Ventures provided an internal grant to study the use of an automatic grading platform in our data structures course in 2018.
