EDBT 2026 Demo / reviewers in the wild / expert
Yixuan Mei
dblp:350/3771
· DBLP profile ↗
4ranked-venue papers
3as first author
4since 2021 · last 2026
0009-0003-5781-9164ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 2 first-author · 3 since 2021Systems, architecture and hardware · 2 · 2 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-author · 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.
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Cloud and datacenter computing · 36% Hardware reliability and fault tolerance · 31% GPUs and heterogeneous computing · 18% | |
| Artificial intelligence
1 paper |
Reinforcement learning · 50% Deep learning architectures and training · 50% | |
| Software engineering, system software, and programming languages
1 paper |
Compilers and program optimization · 100% | |
| Theoretical computer science
1 paper |
Quantum computing and quantum information · 100% |
Topics — the 13 heaviest of 14, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Hardware reliability and fault tolerance › software fault tolerance
algorithm-based fault tolerance |
1.0 | 1 | 2026 | SEVI: Silent Data Corruption of Vector Instructions in Hyper-Scale Datacenters · ASPLOS (2) 2026 |
Electronic design automation › hardware verification and test
fault detection |
1.0 | 1 | 2026 | SEVI: Silent Data Corruption of Vector Instructions in Hyper-Scale Datacenters · ASPLOS (2) 2026 |
Hardware reliability and fault tolerance › soft errors
silent data corruption |
1.0 | 1 | 2026 | SEVI: Silent Data Corruption of Vector Instructions in Hyper-Scale Datacenters · ASPLOS (2) 2026 |
GPUs and heterogeneous computing › heterogeneous cluster computing
heterogeneous GPU cluster |
0.9 | 1 | 2025 | Helix: Serving Large Language Models over Heterogeneous GPUs and Network via Max-Flow · ASPLOS (1) 2025 |
Cloud and datacenter computing
inference serving |
0.9 | 1 | 2025 | Helix: Serving Large Language Models over Heterogeneous GPUs and Network via Max-Flow · ASPLOS (1) 2025 |
Cloud and datacenter computing › inference serving
LLM serving |
0.9 | 1 | 2025 | Helix: Serving Large Language Models over Heterogeneous GPUs and Network via Max-Flow · ASPLOS (1) 2025 |
Compilers and program optimization
compiler optimization |
0.8 | 1 | 2024 | Quarl: A Learning-Based Quantum Circuit Optimizer · Proc. ACM Program. Lang. 2024 |
Quantum computing and quantum information
quantum circuit optimization |
0.8 | 1 | 2024 | Quarl: A Learning-Based Quantum Circuit Optimizer · Proc. ACM Program. Lang. 2024 |
Machine learning › Reinforcement learning › sample efficiency
sample-efficient reinforcement learning |
0.7 | 1 | 2023 | SpeedyZero: Mastering Atari with Limited Data and Time · ICLR 2023 |
Machine learning › Deep learning architectures and training › neural network training
training with limited data |
0.7 | 1 | 2023 | SpeedyZero: Mastering Atari with Limited Data and Time · ICLR 2023 |
Cloud and datacenter computing › datacenter architecture
hyperscale datacenter |
0.3 | 1 | 2026 | SEVI: Silent Data Corruption of Vector Instructions in Hyper-Scale Datacenters · ASPLOS (2) 2026 |
Cloud and datacenter computing › cluster resource management and scheduling
cluster resource management |
0.3 | 1 | 2025 | Helix: Serving Large Language Models over Heterogeneous GPUs and Network via Max-Flow · ASPLOS (1) 2025 |
GPUs and heterogeneous computing
GPU scheduling |
0.3 | 1 | 2025 | Helix: Serving Large Language Models over Heterogeneous GPUs and Network via Max-Flow · ASPLOS (1) 2025 |
Methods — techniques the papers use, named apart from their topics
reinforcement learning · 1.5graph neural network · 1.5fault injection · 1.0application-level analysis · 1.0mixed integer linear programming · 0.9max-flow · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | SEVI: Silent Data Corruption of Vector Instructions in Hyper-Scale DatacentersabstractSilent Data Corruption (SDC) poses a reliability threat in modern datacenters. These insidious errors evade detections and propagate incorrect results throughout the system. Companies including Google, Meta, and Alibaba have reported SDC incidents affecting their production. In this paper, we present the first comprehensive instruction- and application-level analysis of vector instruction SDCs in hyper-scale datacenters using a two-stage approach. We perform over 78 trillion test rounds in more than 14 billion CPU seconds. Our observations reveal undocumented SDC patterns that provide insights into possible underlying causes and inspire new mitigation strategies. Based on these findings, we propose a low-overhead SDC detection mechanism leveraging in-application algorithm-based fault tolerance. Our method achieves 88% to 100% SDC machine detection rate with a time overhead of only 1.35% even for modestly sized inputs. Yixuan Mei, Shreya Varshini, Harish Dattatraya Dixit, Sriram Sankar, K. V. Rashmi |
ASPLOS (2) | 1 |
| 2025 | Helix: Serving Large Language Models over Heterogeneous GPUs and Network via Max-FlowabstractThis paper introduces Helix, a distributed system for high-throughput, low-latency large language model (LLM) serving in heterogeneous GPU clusters. The key idea behind Helix is to formulate inference computation of LLMs over heterogeneous GPUs and network connections as a max-flow problem on directed, weighted graphs, whose nodes represent GPU instances and edges capture both GPU and network heterogeneity through their capacities. Helix then uses a mixed integer linear programming (MILP) algorithm to discover highly optimized strategies to serve LLMs on heterogeneous GPUs. This approach allows Helix to jointly optimize model placement and request scheduling, two highly entangled tasks in heterogeneous LLM serving. Our evaluation on several heterogeneous clusters ranging from 24 to 42 GPU nodes shows that Helix improves serving throughput by up to 3.3x and reduces prompting and decoding latency by up to 66% and 24%, respectively, compared to existing approaches. Helix is available at https://github.com/Thesys-lab/Helix-ASPLOS25. Yixuan Mei, Yonghao Zhuang 0001, Xupeng Miao, Juncheng Yang, K. V. Rashmi |
ASPLOS (1) | 1 |
| 2024 | Quarl: A Learning-Based Quantum Circuit OptimizerabstractOptimizing quantum circuits is challenging due to the very large search space of functionally equivalent circuits and the necessity of applying transformations that temporarily decrease performance to achieve a final performance improvement. This paper presents Quarl, a learning-based quantum circuit optimizer. Applying reinforcement learning (RL) to quantum circuit optimization raises two main challenges: the large and varying action space and the non-uniform state representation. Quarl addresses these issues with a novel neural architecture and RL-training procedure. Our neural architecture decomposes the action space into two parts and leverages graph neural networks in its state representation, both of which are guided by the intuition that optimization decisions can be mostly guided by local reasoning while allowing global circuit-wide reasoning. Our evaluation shows that Quarl significantly outperforms existing circuit optimizers on almost all benchmark circuits. Surprisingly, Quarl can learn to perform rotation merging—a complex, non-local circuit optimization implemented as a separate pass in existing optimizers. Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu 0013, Oded Padon |
Proc. ACM Program. Lang. | 3 |
| 2023 | SpeedyZero: Mastering Atari with Limited Data and Time
Yixuan Mei, Jiaxuan Gao, Weirui Ye, Shaohuai Liu, Yang Gao 0029, Yi Wu 0013 |
ICLR | 1 |