Follow
Theo X. Olausson
Theo X. Olausson
Ph.D. student at MIT
Verified email at mit.edu - Homepage
Title
Cited by
Cited by
Year
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
42*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
302023
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
112023
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
62022
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
5*2024
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
Towards the Automatic Synthesis of Cache Coherence Protocols
T Olausson
University of Edinburgh, 2020
22020
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
2024
Generating Gem5 Cache Coherence Controllers with ProtoGen
T Olausson
University of Edinburgh, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–9