Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@ToAppear{acar-chargueraud-rainey-16-oracle, author = "Umut A. Acar, Arthur Chargu{\'e}raud and Mike Rainey", title = "Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages", year = "2016", month = "December", journal = "Journal of Functional Programming", volume = "26", }