| Is Self-Repair a Silver Bullet for Code Generation? TX Olausson, JP Inala, C Wang, J Gao, A Solar-Lezama International Conference on Learning Representations (ICLR 2024), 2024 | 61* | 2024 |
| Top-Down Synthesis for Library Learning M Bowers, TX Olausson, C Wong, G Grand, JB Tenenbaum, K Ellis, ... POPL 23: The 50th Annual ACM SIGPLAN Symposium on Principles of Programming …, 2023 | 37 | 2023 |
| LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers TX Olausson, A Gu, B Lipkin, CE Zhang, A Solar-Lezama, JB Tenenbaum, ... The 2023 Conference on Empirical Methods in Natural Language Processing …, 2023 | 17 | 2023 |
| LILO: Learning Interpretable Libraries by Compressing and Documenting Code G Grand, L Wong, M Bowers, TX Olausson, M Liu, JB Tenenbaum, ... International Conference on Learning Representations (ICLR 2024), 2024 | 8* | 2024 |
| HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols N Oswald, V Gavrielatos, V Nagarajan, T Olausson, DJ Sorin, R Carr 2022 IEEE International Symposium on High-Performance Computer Architecture …, 2022 | 7 | 2022 |
| Benchmarking the Accuracy of Algorithms for Memory-Constrained Image Classification S Müksch, T Olausson, J Wilhelm, P Andreadis 2020 IEEE/ACM Symposium on Edge Computing, 2020 | 4* | 2020 |
| The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? A Gu, WD Li, N Jain, TX Olausson, C Lee, K Sen, A Solar-Lezama arXiv preprint arXiv:2402.19475, 2024 | 3 | 2024 |
| Towards the Automatic Synthesis of Cache Coherence Protocols T Olausson University of Edinburgh, 2020 | 2 | 2020 |
| Generating Gem5 Cache Coherence Controllers with ProtoGen T Olausson University of Edinburgh, 2021 | | 2021 |
