Scalable Locality-Sensitive Hashing for Similarity Search in High-Dimensional, Large-Scale Multimedia Datasets. - Thiago S. F. X. Teixeira; George Teodoro; Eduardo Valle; Joel H. Saltz (CoRR, 2013)

Large-Scale Distributed Locality-Sensitive Hashing for General Metric Data. - Eliezer S. Silva; Thiago S. F. X. Teixeira; George Teodoro; Eduardo Valle (SISAP, 2014)

A DSL for Performance Orchestration. - Thiago Santos Faria Xavier Teixeira; David A. Padua; William Gropp (PACT, 2017)

Locus: A System and a Language for Program Optimization. - Thiago S. F. X. Teixeira; Corinne Ancourt; David A. Padua; William Gropp (CGO, 2019)

Managing code transformations for better performance portability. - Thiago S. F. X. Teixeira; William Gropp; David A. Padua (Int. J. High Perform. Comput. Appl., 2019)

A language and a system for program optimization - Thiago Santos Faria Xavier Teixeira (2020)

Online multimedia retrieval on CPU-GPU platforms with adaptive work partition. - Rafael Souza; André Fernandes; Thiago S. F. X. Teixeira; George Teodoro; Renato Ferreira 001 (J. Parallel Distributed Comput., 2021)

Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous Machines. - Thiago S. F. X. Teixeira; Alexandra Henzinger; Rohan Yadav; Alex Aiken (SC, 2023)

AutoMap. - Thiago S. F. X. Teixeira; Alexandra Henzinger; Rohan Yadav; Alex Aiken (Zenodo, 2023)

Improving Parallel Program Performance Through DSL-Driven Code Generation with LLM Optimizers. - Anjiang Wei; Allen Nie; Thiago S. F. X. Teixeira; Rohan Yadav; Wonchan Lee; Ke Wang; Alex Aiken (CoRR, 2024)

EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking. - Anjiang Wei; Jiannan Cao; Ran Li; Hongyu Chen; Yuhui Zhang; Ziheng Wang; Yaofeng Sun; Yuan Liu; Thiago S. F. X. Teixeira; Diyi Yang; Ke Wang; Alex Aiken (CoRR, 2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis. - Anjiang Wei; Tarun Suresh; Jiannan Cao; Naveen Kannan; Yuheng Wu; Kai Yan; Thiago S. F. X. Teixeira; Ke Wang; Alex Aiken (CoRR, 2025)

VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation. - Anjiang Wei; Huanmi Tan; Tarun Suresh; Daniel Mendoza; Thiago S. F. X. Teixeira; Ke Wang; Caroline Trippel; Alex Aiken (CoRR, 2025)