Continuous Reasoning request for proposals

Facebook is interested in proposals that address fundamental problems in the area, including:

• Development of compositional versions of existing whole-program analysis techniques.
• Addressing fundamental problems for mostly-automatic or interactive verifiers concerning the effort of obtaining specs or the effort of maintaining a proof over time.
• Assumptions for techniques that can be applied at diff-submission or code-review time.
• Abstract theory for program analysis addressing efficiency and open world challenges of continuous reasoning.

Funding: $50,000 total 

Duration: no fixed limit 

Research Authority due date: 23.8.18