Skip to main

Impact case study database

The impact case study database allows you to browse and search for impact case studies submitted to the REF 2021. Use the search and filters below to find the impact case studies you are looking for.
Impact case study database FAQs
Download all impact case studies (spreadsheet)
Download all impact case studies (spreadsheet) (generating)
Download all impact case study tags (spreadsheet)
Download all impact case study tags (spreadsheet) (generating)
Back

Infer: Scalable Static Analysis at Facebook and Beyond

Download case study PDF
Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Summary impact type
Technological
Request cross-referral to
-
Is this case study continued from a case study submitted in 2014?
No
Underpinning research subjects
  • Computer Software
  • Information Systems
  • Electrical And Electronic Engineering

1. Summary of the impact

2. Underpinning research

3. References to the research

4. Details of the impact

5. Sources to corroborate the impact

Additional contextual information

Grant funding

Grant number Value of grant
EP/E002536/1 £324,918
EP/H008373/1 £3,189,258
EP/C544757/1 £274,469
Funding programmes
  • EPSRC Advanced Fellowship (Pre-FEC): A Unified Theory of Structured Update
  • EPSRC Programme Grant Resource Reasoning
  • Smallfoot: Static Assertion Checking for C Programs
Global research identifiers
  • grid.421091.f
  • grid.421091.f
  • grid.421091.f
Name of funders
  • EPSRC
  • EPSRC
  • EPSRC