[TYPES/announce] Facebook Testing and Verification call for research proposals

[O'Hearn, Peter]

Funding research into scalable testing and verification.

Facebook is pleased to invite university faculty to respond to a call for research proposals on Testing and Verification (TAV). This is Phase One of Facebook’s funding initiative to support research in Testing and Verification.

We're particularly interested in:

- Automated fixes, from dynamic or static analyses
- Automated test case design
- Dealing with non-deterministic testing
- Incremental verification and testing techniques
- Reasoning about distributed and concurrent programs

and other areas described in the call.


https://research.fb.com/announcing-the-facebook-testing-and-verification-request-for-research-proposals/


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180530/b47a22f2/attachment.html>