Raisin

Amazon Research Award. Resource-Aware Conservative Static Analysis

ANR Young Researcher Grant (JCJC). Started in Fall 2024