Arthur Charguéraud
Research
Binders
Capabilities
Verification
Fixed points
Granularity
Pretty-big-step
JavaScript
Publications
by venue
by project
by date
Talks
by venue
by project
by date
Software
LN
CFML
TLC
PASL
Teaching
France-IOI
Coq proofs
Verification
Home
–
Contact
@InProceedings{acar-chargueraud-rainey-11-oracle, author = "Umut A. Acar and Arthur Chargu{\'e}raud and Mike Rainey", title = "Oracle Scheduling: Controlling Granularity in Implicitly Parallel Languages", year = "2011", month = "October", url = "http://arthur.chargueraud.org/research/2011/oracle", pages = "499-518", editor = "Cristina Videira Lopes and Kathleen Fisher", booktitle = "Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, ({OOPSLA})", publisher = "ACM", }