1. IAC Probability Calculations in Voting Theory: Progress Report;Studies in Choice and Welfare;2020-12-19
2. Automatic Cost Analysis for Imperative BSP Programs;International Journal of Parallel Programming;2018-02-21
3. Optimizing Affine Control With Semantic Factorizations;ACM Transactions on Architecture and Code Optimization;2017-12-31
4. Abstract Domains of Affine Relations;ACM Transactions on Programming Languages and Systems;2014-10-28
5. Fix the code. Don't tweak the hardware;Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization;2014-02-15