logo

Origin is a novel programming concept that bridges programming languages, software engineering, systems, and cybersecurity.

We acknowledge funding from federal agencies and tech industry leaders.

nsf


CAREER: Scalable and Maximal Concurrency Debugging

New Defenses for Data-Only Attacks

Towards Pointer Analysis as a Service

Detecting Races in SDN Control Plane

Smart Programming Tools for Improving Software Debugging

darpa


SmartScript: A Learning-based Approach to Type Inconsistency

ONR


Hyper-converged Programmable Secure Communication

mozilla


Multi-threaded Use-After-Free Vulnerabilities in Firefox

facebook


Continuous Reasoning: Differential Concurrency Analysis

google

Predictively Detecting Multithreaded UAF Vulnerabilities