We are at an exciting time in the history of the development of Software Testing and Verification (TAV). Research is increasingly impacting the Tech Sector, with many recent examples of breakthroughs, deployment and adoption. Facebook is playing its own role in the deployment and further development of TAV research with initiatives such as Infer, Sapienz, and Zoncolan, which are well known, but Tech Sector as a whole is also actively working on deployment and development of TAV research.
To recognize and further re-enforce this trend Facebook launched a Request for Proposals (RFP) in 2018. The call, for research in Software Testing and Verification, received 141 submission and deployed approximately $250k in awards. The quality of submissions was very high, thereby encouraging and allowing us to extend the finding available for this year’s RFP.
To foster further innovation in these topics, and to deepen our collaboration with academia, Facebook is pleased to invite faculty and graduate students to respond to this call for research proposals pertaining to the aforementioned topics. We anticipate awarding a total of up to 10 awards, each of up to $50,000. Payment will be made to the proposer’s host university as an unrestricted gift.
We are interested in proposals that tackle any topics on testing and verification that have potential to have profound impact on the tech sector, based on advances on the theory and practice of testing and verification, and in particular, we welcome proposals that tackle
- Test Flakiness. This includes, but not limited to, proposals for measuring, reducing, managing and coping better with flakiness; re-formulations of previously proposed testing approaches, e.g. in regression testing, test generation, oracles, etc, that are aware of (or less susceptible to) unavoidable flakiness; theories and techniques for ameliorating the harmful impact of test flakiness.
- Pay-as-you-go Verification. Usually, verification techniques are all or nothing: one gets value only after having specified dependencies and constructed a proof. Ideally, one should get value from verification activities proportional to the effort put in in a way that allows the ideal of fully proven code to be approximated and improved steadily, with measurable value.
Proposals should include
- A summary of the project (1-2 pages) explaining the area of focus, a description of techniques, any relevant prior work, and a timeline with milestones and expected outcomes.
- A draft budget description (1 page) including an approximate cost of the award and explanation of how funds would be spent
- Curriculum Vitae for all project participants.
- Organization details; this will include tax information and administrative contact details
- Awards must comply with applicable US and international laws, regulations and policies.
- Applicants must be current full-time faculty at an accredited academic institution that awards research degrees to PhD students.
- Applicants must be the Principal Investigator on any resulting award.
Application Deadline: Friday, July 26th, 2019 at 5:00 pm PST
Illustration Photo: Software developers (credits: Mahmoud Hashemi / Flickr Creative Commons Attribution-ShareAlike 2.0 Generic (CC BY-SA 2.0))