Alexander Brauckmann

16 papers A 2B 6C 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B conf
Accelerating Sparse Algebra with Program Synthesis.
CC
José Wesley de Souza Magalhães, Shideh Hashemian, Alexander Brauckmann, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle
2026 A conf
Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis.
CGO
Alexander Brauckmann, Aarsh Chaube, José Wesley de S. Magalhães, Elizabeth Polgreen, Michael F. P. O'Boyle
2025 B conf
DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses.
CC
Alexander Brauckmann, Anderson Faustino da Silva, Gabriel Synnaeve, Michael F. P. O'Boyle, Jerónimo Castrillón, Hugh Leather
2025 B conf
Guess, Measure & Edit: Using Lowering to Lift Tensor Code.
PACT
José Wesley de Souza Magalhães, Jackson Woodruff, Jordi Armengol-Estapé, Alexander Brauckmann, Luc Jaulmes, Elizabeth Polgreen, Michael F. P. O'Boyle
2025 J jnl
Guided Tensor Lifting.
CoRR
Yixuan Li, José Wesley de Souza Magalhães, Alexander Brauckmann, Michael F. P. O'Boyle, Elizabeth Polgreen
2025 J jnl
Guided Tensor Lifting.
Proc. ACM Program. Lang.
Yixuan Li, José Wesley de Souza Magalhães, Alexander Brauckmann, Michael F. P. O'Boyle, Elizabeth Polgreen
2025 A conf
Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving.
CGO
Alexander Brauckmann, Luc Jaulmes, José Wesley de Souza Magalhães, Elizabeth Polgreen, Michael F. P. O'Boyle
2023 J jnl
Rewriting History: Repurposing Domain-Specific CGRAs.
CoRR
Jackson Woodruff, Thomas Koehler, Alexander Brauckmann, Chris Cummins, Sam Ainsworth, Michael F. P. O'Boyle
2023 B conf
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis.
PACT
Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael F. P. O'Boyle
2023 J jnl
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis.
CoRR
Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael F. P. O'Boyle
2022 — conf
ExeBench: an ML-scale dataset of executable C functions.
MAPS@PLDI
Jordi Armengol-Estapé, Jackson Woodruff, Alexander Brauckmann, José Wesley de Souza Magalhães, Michael F. P. O'Boyle
2021 J jnl
A Reinforcement Learning Environment for Polyhedral Optimizations.
CoRR
Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón
2021 B conf
PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning.
PACT
Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón
2020 C conf
ComPy-Learn: A toolbox for exploring machine learning representations for compilers.
FDL
Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón
2020 B conf
Compiler-based graph representations for deep learning models of code.
CC
Alexander Brauckmann, Andrés Goens, Sebastian Ertel, Jerónimo Castrillón
2019 — conf
A case study on machine learning for synthesizing benchmarks.
MAPL@PLDI
Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jerónimo Castrillón