Gieun Jeong

dblp:429/2549 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2026
0009-0007-6110-2050ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Compilers and program optimization · 100%
Artificial intelligence
1 paper
Deep learning architectures and training · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Compilers and program optimization › deep learning compiler
operator fusion
1.012026
Trinity: Three-Dimensional Tensor Program Optimization via Tile-level Equality Saturation · ASPLOS (2) 2026
Compilers and program optimization › deep learning compiler
tensor program optimization
1.012026
Trinity: Three-Dimensional Tensor Program Optimization via Tile-level Equality Saturation · ASPLOS (2) 2026
Machine learning › Deep learning architectures and training
transformer
0.312026
Trinity: Three-Dimensional Tensor Program Optimization via Tile-level Equality Saturation · ASPLOS (2) 2026

Methods — techniques the papers use, named apart from their topics

tiling · 2.0equality saturation · 2.0algebraic rewriting · 2.0
YearPublicationVenuePosition
2026 Trinity: Three-Dimensional Tensor Program Optimization via Tile-level Equality Saturation
abstract
Modern tensor program optimizers operate at two separate levels: graph-level optimizations (operator fusion, algebraic rewrites) and operator-level scheduling (tiling, parallelization). This separation prevents them from discovering cross-operator, tile-level optimizations that make hand-tuned kernels like FlashAttention effective. We present Trinity, the first tensor program optimizer that achieves scalable joint optimization through tile-level equality saturation. Our key insight is that optimal performance requires simultaneously optimizing three interdependent dimensions -- algebraic equivalence, memory I/O, and compute orchestration. To enable this, Trinity introduces a novel fine-grained IR that exposes all three axes as first-class, rewritable entities and applies equality saturation to perform scalable joint optimization. As a result, Trinity automatically discovers complex optimizations that require coordinated reasoning across all three dimensions. Across diverse Transformer variants, Trinity achieves up to 2.09× speedup over TensorRT and 2.35× over TorchInductor, both state-of-the-art production compilers.
Haechan An, Gieun Jeong, Jeehoon Kang, Dongsu Han
ASPLOS (2)4