Thiago S. F. X. Teixeira

12 papers A* 2A 2B 1Journal 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis.
CoRR
Anjiang Wei, Tarun Suresh, Jiannan Cao, Naveen Kannan, Yuheng Wu, Kai Yan, Thiago S. F. X. Teixeira, Ke Wang, Alex Aiken
2025 J jnl
EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking.
CoRR
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
2025 A* conf
EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking.
EMNLP
Anjiang Wei, Jiannan Cao, Ran Li, Hongyu Chen, Yuhui Zhang, Ziheng Wang, Yuan Liu, Thiago S. F. X. Teixeira, Diyi Yang, Ke Wang, Alex Aiken
2025 A* conf
Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces.
ICML
Anjiang Wei, Allen Nie, Thiago S. F. X. Teixeira, Rohan Yadav, Wonchan Lee, Ke Wang, Alex Aiken
2025 J jnl
VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation.
CoRR
Anjiang Wei, Huanmi Tan, Tarun Suresh, Daniel Mendoza, Thiago S. F. X. Teixeira, Ke Wang, Caroline Trippel, Alex Aiken
2024 J jnl
Improving Parallel Program Performance Through DSL-Driven Code Generation with LLM Optimizers.
CoRR
Anjiang Wei, Allen Nie, Thiago S. F. X. Teixeira, Rohan Yadav, Wonchan Lee, Ke Wang, Alex Aiken
2023 A conf
Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous Machines.
SC
Thiago S. F. X. Teixeira, Alexandra Henzinger, Rohan Yadav, Alex Aiken
2021 J jnl
Online multimedia retrieval on CPU-GPU platforms with adaptive work partition.
J. Parallel Distributed Comput.
Rafael Souza, André Fernandes, Thiago S. F. X. Teixeira, George Teodoro, Renato Ferreira
2019 A conf
Locus: A System and a Language for Program Optimization.
CGO
Thiago S. F. X. Teixeira, Corinne Ancourt, David A. Padua, William Gropp
2019 J jnl
Managing code transformations for better performance portability.
Int. J. High Perform. Comput. Appl.
Thiago S. F. X. Teixeira, William Gropp, David A. Padua
2014 B conf
Large-Scale Distributed Locality-Sensitive Hashing for General Metric Data.
SISAP
Eliezer S. Silva, Thiago S. F. X. Teixeira, George Teodoro, Eduardo Valle
2013 J jnl
Scalable Locality-Sensitive Hashing for Similarity Search in High-Dimensional, Large-Scale Multimedia Datasets.
CoRR
Thiago S. F. X. Teixeira, George Teodoro, Eduardo Valle, Joel H. Saltz