raisin

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

This project is funded through an ANR Young Researcher Grant (JCJC), and will start in Fall 2024. Participants: Julien Forget Sophie Cerf