Arthur Charguéraud

Registered user since Thu 11 Jun 2015

Name: Arthur Charguéraud

Country: France

Affiliation: Inria

Personal website: http://arthur.chargueraud.org

Contributions

PLDI 2018 Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
Show activities from other conferences

PLDI 2018-profile
View general profile