Thiago S. F. X. Teixeira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EMNLP | 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 |
| 2025 | ICML | 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 |
| 2023 | SC | Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous Machines. | Thiago S. F. X. Teixeira, Alexandra Henzinger, Rohan Yadav, Alex Aiken |
| 2019 | CGO | Locus: A System and a Language for Program Optimization. | Thiago S. F. X. Teixeira, Corinne Ancourt, David A. Padua, William Gropp |
| 2014 | SISAP | Large-Scale Distributed Locality-Sensitive Hashing for General Metric Data. | Eliezer S. Silva, Thiago S. F. X. Teixeira, George Teodoro, Eduardo Valle |