| M3 semantic API migrations B Collie, P Ginsbach, J Woodruff, A Rajan, MFP O'Boyle Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 33 | 2020 |
| Automatically Harnessing Sparse Acceleration P Ginsbach, B Collie, MFP O'Boyle Proceedings of the 29th International Conference on Compiler Construction …, 2020 | 17 | 2020 |
| Modeling Black-Box Components with Probabilistic Synthesis B Collie, J Woodruff, MFP O'Boyle Proceedings of the 19th ACM SIGPLAN International Conference on Generative …, 2020 | 15 | 2020 |
| Type-Directed Program Synthesis and Constraint Generation for Library Portability B Collie, P Ginsbach, MFP O'Boyle 2019 28th International Conference on Parallel Architectures and Compilation …, 2019 | 14 | 2019 |
| Program lifting using gray-box behavior B Collie, MFP O'Boyle 2021 30th International Conference on Parallel Architectures and Compilation …, 2021 | 10 | 2021 |
| Augmenting Type Signatures for Program Synthesis B Collie, M O'Boyle arXiv preprint arXiv:1907.05649, 2019 | 3 | 2019 |
| Practical synthesis from real-world oracles B Collie The University of Edinburgh, 2022 | 2 | 2022 |
| Retrofitting Symbolic Holes to LLVM IR B Collie, M O'Boyle arXiv preprint arXiv:2006.05875, 2020 | 2 | 2020 |
| Program Synthesis for Heterogenous Accelerators B Collie University of Edinburgh, 2018 | 1 | 2018 |
| Statically Checked Assertions for TESLA B Collie University of Cambridge, 2017 | | 2017 |
Michael O'BoyleProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
