Raphaël Monat
Raphaël Monat
Home
Publications
Talks
Students
Community Service
Ph.D
Contact
Light
Dark
Automatic
raisin
Amazon Research Awards: Resource-Aware Conservative Static Analysis
I have been granted an Amazon Research Award to further explore Resource-Aware Conservative Static Analyses.
ANR-JCJC RAISIN: Resource-Aware conservatIve StatIc aNalysis
This project is funded through an ANR Young Researcher Grant (JCJC), and will start in Fall 2024. Participants: Julien Forget Sophie Cerf
Cite
×