1. A Parallel Scan Algorithm in the Tensor Core Unit Model;Euro-Par 2023: Parallel Processing;2023
2. Distributive Disjoint Polymorphism for Compositional Programming;Programming Languages and Systems;2019
3. A Survey on Fooling Sets as Effective Tools for Lower Bounds on Nondeterministic Complexity;Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications;2018
4. Folding domain-specific languages;ACM SIGPLAN Notices;2014-11-26
5. Folding domain-specific languages;Proceedings of the 19th ACM SIGPLAN international conference on Functional programming;2014-08-19