Alexei Colin, Brandon Lucia
Termination checking and task decomposition for task-based intermittent programs
CC, 2018.
@inproceedings{CC-2018-ColinL, author = "Alexei Colin and Brandon Lucia", booktitle = "{Proceedings of the 27th International Conference on Compiler Construction}", doi = "10.1145/3178372.3179525", pages = "116--127", publisher = "{ACM}", title = "{Termination checking and task decomposition for task-based intermittent programs}", year = 2018, }