Amazon Research Awards: Resource-Aware Conservative Static Analysis

01/09/25

I have been granted an Amazon Research Award to further explore Resource-Aware Conservative Static Analyses.

raisin