Thiago S. F. X. Teixeira

According to our database, Thiago S. F. X. Teixeira authored at least 15 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, April, 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, March, 2025

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, February, 2025

Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces.

Anjiang Wei, Allen Nie, Thiago S. F. X. Teixeira, Rohan Yadav, Wonchan Lee, Ke Wang, Alex Aiken

Proceedings of the Forty-second International Conference on Machine Learning, 2025

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking.

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

Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025

2024

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

2023

AutoMap.

Thiago S. F. X. Teixeira, Alexandra Henzinger, Rohan Yadav, Alex Aiken

Dataset, June, 2023

Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous Machines.

Thiago S. F. X. Teixeira, Alexandra Henzinger, Rohan Yadav, Alex Aiken

Proceedings of the International Conference for High Performance Computing, 2023

2021

Online multimedia retrieval on CPU-GPU platforms with adaptive work partition.

Rafael Souza, André Fernandes, Thiago S. F. X. Teixeira, George Teodoro, Renato Ferreira

J. Parallel Distributed Comput., 2021

2020

A language and a system for program optimization

Thiago Santos Faria Xavier Teixeira

PhD thesis, 2020

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

Locus: A System and a Language for Program Optimization.

Thiago S. F. X. Teixeira, Corinne Ancourt, David A. Padua, William Gropp

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019

2017

A DSL for Performance Orchestration.

Thiago Santos Faria Xavier Teixeira, David A. Padua, William Gropp

Proceedings of the 26th International Conference on Parallel Architectures and Compilation Techniques, 2017

2014

Large-Scale Distributed Locality-Sensitive Hashing for General Metric Data.

Eliezer S. Silva, Thiago S. F. X. Teixeira, George Teodoro, Eduardo Valle

Proceedings of the Similarity Search and Applications - 7th International Conference, 2014

2013

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