1. Staged metaprogramming for shader system development;ACM Transactions on Graphics;2019-12-31
2. Streaming irregular arrays;ACM SIGPLAN Notices;2017-10-31
3. Static stages for heterogeneous programming;Proceedings of the ACM on Programming Languages;2017-10-12
4. Streaming irregular arrays;Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell;2017-09-07
5. Compiling to categories;Proceedings of the ACM on Programming Languages;2017-08-29