1. Multi-Objective region-Aware optimization of parallel programs;Parallel Computing;2019-04
2. A Region-Aware Multi-Objective Auto-Tuner for Parallel Programs;2017 46th International Conference on Parallel Processing Workshops (ICPPW);2017-08
3. LMS-Verify: abstraction without regret for verified systems programming;ACM SIGPLAN Notices;2017-05-11
4. Talpidae;Proceedings of the 2017 ACM International Conference on Management of Data - SIGMOD '17;2017
5. LMS-Verify: abstraction without regret for verified systems programming;Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages;2017-01