White papers

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.

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

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.

Security Vulnerability Analysis. Designing techniques for finding exploitable bugs.