Research reports and academic papers

Diffblue Research

Gartner Reports

Academic Research Papers

As a spin-out from University of Oxford, we believe in intellectual rigour, openness and innovation. We regularly publish our work in academic settings to ensure that it benefits from the scrutiny of our peers in the AI community and to advance the overall state of AI that understands code.

Precise Program Analysis. Code analysis via mathematical solvers.

Machine Learning for Code. Using learning for speedup and improved efficiency.

Program Abstractions. Automated detection of relevant code features.

Program Synthesis. Making changes to code automatically.

Analysis of concurrent systems. Dealing with the complexity of parallelism.

Want more amazing content?

Get new content delivered straight to your inbox by signing up to our Newsletter: