Registered user since Wed 19 Aug 2020

Name:Cyril Six
Affiliation:Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG

Contributions

CPP 2022 Formally Verified Superblock Scheduling
Show activities from other conferences

POPL 2022-profile
View general profile