1. Linearity and Uniqueness: An Entente Cordiale;Programming Languages and Systems;2022
2. In search of a map: using program slicing to discover potential parallelism in recursive functions;Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing;2017-09-07
3. Parallel functional arrays;ACM SIGPLAN Notices;2017-05-11
4. Parallel functional arrays;Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages;2017-01
5. The best of both worlds: linear functional programming without compromise;ACM SIGPLAN Notices;2016-12-05