Theo Olausson is an author at Cornell University specializing in computational linguistics, language studies, and linguistics.
Top concepts
LanguageSemanticsEngineeringLinguisticsVerificationFormal MethodsLanguage ModelsComputer ScienceLogic ProgrammingAutomated Reasoning
Publications per year
2022–2023
3
3
Top-Down Synthesis for Library Learning
Matthew L. Bowers, Theo Olausson, Lionel Wong et al. · Proceedings of the ACM on Programming Languages · 2023 · 28 citations · Full text
HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols
Nicolai Oswald, Vijay Nagarajan, Daniel J. Sorin et al. · 2022 · 11 citations · Full text
Rows per page
1–3 of 3