3

Code Researcher: Deep Research Agent for Large Systems Code and Commit History
Deep research agent for resolving crashes in large and complex systems codebases like the Linux kernel by gathering relevant context from the codebase and the commit history.
PDF Cite
Code Researcher: Deep Research Agent for Large Systems Code and Commit History
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
An approach to perform polyglot verification directly using abstraction, compositional reasoning, and synthesis.
PDF Cite