PyCAM5 is a LLM-Agent-Enabled Python modernization of the Community Atmosphere Model (CAM5).

Science-Recast is an open-source, agentic ecosystem for modernizing legacy scientific software.

This repo tracks the latest CESM modernization status.

Lancet is a formal framework for exploit analysis on Intel Pin and QEMU traces

Artifact Evaluation for the QLancet Project

SeaK is A eBPF-based security allocator design for OS kernel

An eBPF-based software fault isolation framework for on-the-fly kernel compartmentalization and runtime memory access protection.