Skip to content

Commit 472bd09

Browse files
committed
Add OSDI '25 artifact evaluation results and AE committee members
1 parent 7b1b0d2 commit 472bd09

2 files changed

Lines changed: 392 additions & 0 deletions

File tree

Lines changed: 184 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,184 @@
1+
---
2+
title: Organizers
3+
order: 20
4+
---
5+
6+
## Artifact Evaluation Committee Co-Chairs
7+
8+
[Ryan Huang](https://ryanhuang.com), University of Michigan <br>
9+
[Tianyin Xu](https://tianyin.github.io), University of Illinois Urbana–Champaign <br>
10+
11+
## Artifact Evaluation Committee
12+
13+
Ghazal Abdollahi, University of Utah<br>
14+
Ghadeer Almusaddar, Binghamton University<br>
15+
Ayush Bansal, University of Illinois Urbana–Champaign<br>
16+
Binong Kiri Bey, Indian Institute of Technology<br>
17+
Archit Bhatnagar, University of Michigan<br>
18+
Rahul Bothra, University of Illinois Urbana–Champaign<br>
19+
Cláudia Brito, INESC TEC and University of Minho<br>
20+
Quinn Burke, University of Wisconsin–Madison<br>
21+
Cathy Cai, University of Illinois Urbana–Champaign<br>
22+
Tingjia Cao, University of Wisconsin–Madison<br>
23+
Sarthak Chakraborty, University of Illinois Urbana–Champaign<br>
24+
Hongzheng Chen, Cornell University<br>
25+
Qixuan Chen, Boston University<br>
26+
Xiang Chen, Hong Kong University of Science and Technology<br>
27+
Yi Chen, University of Michigan<br>
28+
Feng Cheng, Duke University<br>
29+
Georgia Christofidi, IMDEA Software Institute<br>
30+
Jackson Clark, University of Illinois Urbana–Champaign<br>
31+
Chuanqi Cong, Beihang University<br>
32+
Guangyang Deng, Xiamen University<br>
33+
Jiaqi Deng, Georgia Institute of Technology<br>
34+
Sriram Devata, University of Illinois Urbana–Champaign<br>
35+
Huibing Dong, University of Minnesota<br>
36+
Juechu Dong, University of Michigan<br>
37+
Chunfeng Du, Zhengzhou University<br>
38+
Enguang Fan, University of Illinois Urbana–Champaign<br>
39+
Yuan Feng, University of California, Merced<br>
40+
Shen Fu, University of Science and Technology of China<br>
41+
Kaihui Gao, Zhongguancun Laboratory<br>
42+
Xiangyu Gao, University of Washington<br>
43+
Raja Gond, Microsoft Research<br>
44+
Jinnan Guo, Imperial College London<br>
45+
Ke Han, Purdue University<br>
46+
Wanning He, University of Michigan<br>
47+
Kiran Hombal, University of Illinois Urbana–Champaign<br>
48+
Lana Honcharuk, Crusoe Cloud<br>
49+
Tony Hong, University of Illinois Urbana–Champaign<br>
50+
Guanzhou Hu, University of Wisconsin–Madison<br>
51+
Hao Hu, Harare Institute of Technology<br>
52+
Tiancheng Hu, Peking University<br>
53+
Hao Huang, Harbin Institute of Technology<br>
54+
Lei Huang, Boston University<br>
55+
Ryan Huang, University of Michigan<br>
56+
Songlin Huang, The University of Hong Kong<br>
57+
Yibo Huang, University of Michigan<br>
58+
Malvika Jadhav, University of Florida<br>
59+
Shashwat Jaiswal, University of Illinois Urbana–Champaign<br>
60+
Yuchen Ji, ShanghaiTech University<br>
61+
Haitian Jiang, New York University<br>
62+
Teng "Sebastian" Jiang, Columbia University<br>
63+
Zhihan Jiang, Chinese University of Hong Kong<br>
64+
Zewen Jin, University of Science and Technology of China<br>
65+
Sagar Bharadwaj Kalasibail Seetharam, Carnegie Mellon University<br>
66+
Rishika Varma Kalidindi, University of Michigan<br>
67+
Saisha Kamat, University of North Carolina at Charlotte<br>
68+
Ashish Kashinath, University of Illinois Urbana–Champaign<br>
69+
Zhaokang Ke, University of Minnesota<br>
70+
Jungwoo Kim, Stanford University<br>
71+
Arohi Kumar, Google<br>
72+
Fadhil Kurnia, University of Massachusetts Amherst<br>
73+
Borui Li, Southeast University<br>
74+
Hanchen Li, Stealth Startup and University of California, Berkeley<br>
75+
Jiansong Li, Li Auto Inc<br>
76+
Junzhe Li, The University of Hong Kong<br>
77+
Shengkai Li, University of Chinese Academy of Sciences<br>
78+
Sijia Li, Virginia Tech<br>
79+
Tuo Li, Tsinghua University<br>
80+
Yueying Li, Cornell University<br>
81+
Yuke Li, University of California, Merced<br>
82+
Zeyu Li, Hong Kong University of Science and Technology<br>
83+
Zhifei Li, University of California, Berkeley<br>
84+
Junxuan Liao, University of Wisconsin–Madison<br>
85+
Georgios Liargkovas, Columbia University<br>
86+
Changyuan Lin, University of British Columbia<br>
87+
Jing Liu, Max Planck Institute for Security and Privacy<br>
88+
Peizhe Liu, University of Illinois Urbana–Champaign<br>
89+
Yiqi Liu, University of Illinois Urbana–Champaign<br>
90+
Jiaheng Lu, University of Michigan<br>
91+
Shouxi Luo, Southwest Jiaotong University<br>
92+
Yilong Luo, Peking University<br>
93+
Jeff J. Ma, University of Michigan<br>
94+
Shivani Mehendarge, Amazon<br>
95+
Deepanjali Mishra, Carnegie Mellon University<br>
96+
Farzad Mohammadi, Imperial College London<br>
97+
Grigoris Ntousakis, Brown University<br>
98+
João Oliveira, INESC-ID and Instituto Superior Técnico, Universidade de Lisboa<br>
99+
Nikolaos Pagonas, Columbia University<br>
100+
Jiaqi Pan, University of Illinois Urbana–Champaign and Tsinghua University<br>
101+
Lichen Pan, Peking University<br>
102+
Melissa Z. Pan, University of California, Berkeley<br>
103+
Yanqi Pan, Harbin Institute of Technology<br>
104+
Zaifeng Pan, University of California, San Diego<br>
105+
Santosh Pandey, Rutgers University<br>
106+
Konstantinos Papaioannou, IMDEA Software Institute<br>
107+
Michael Paper, Stanford University<br>
108+
Magdalena Pasternak, University of Florida<br>
109+
Sibendu Paul, Amazon Prime Video<br>
110+
Pedro Henrique Penna, Microsoft Research<br>
111+
Stratos Psomadakis, National Technical University of Athens<br>
112+
Rohan Puri, Samsung Semiconductor<br>
113+
Shangshu Qian, Purdue University<br>
114+
Feiran (Alex) Qin, North Carolina State University<br>
115+
Suyan Qu, University of Wisconsin–Madison<br>
116+
Vishal Rao, Georgia Institute of Technology<br>
117+
Siddhant Ray, University of Chicago<br>
118+
Jonah Rosenblum, University of Michigan<br>
119+
Giannis Roumpos, IMDEA Software Institute<br>
120+
Amit Samanta, University of Utah<br>
121+
Srinjoy Sarkar, Indian Institute of Technology<br>
122+
Aditya Shah, Google<br>
123+
Shail Shah, Microsoft<br>
124+
Shazibul Islam Shamim, Kennesaw State University<br>
125+
Tanvi Sharma, Purdue University<br>
126+
Xiaoxiang Shi, Shanghai Jiao Tong University<br>
127+
Sachin Kumar Singh, University of Utah<br>
128+
Jiansen Song, Chinese Academy of Sciences<br>
129+
Yuhang Song, Boston University<br>
130+
Zihe Song, The University of Texas at Dallas<br>
131+
Cesar A. Stuardo, ByteDance<br>
132+
Yiming Su, University of Illinois Urbana–Champaign<br>
133+
Qingxiao Sun, China University of Petroleum<br>
134+
Tong Sun, Zhejiang University<br>
135+
Xin Tan, Chinese University of Hong Kong<br>
136+
Syed Salauddin Mohammad Tariq, University of Michigan<br>
137+
Sahil Tyagi, Oak Ridge National Laboratory<br>
138+
Diogo Vaz, INESC-ID and Instituto Superior Técnico, Universidade de Lisboa<br>
139+
Alan Wang, Northeastern University<br>
140+
Ruihong Wang, Purdue University<br>
141+
Wenlong Wang, University of Minnesota<br>
142+
Xinkai Wang, Shanghai Jiao Tong University<br>
143+
Yun Wang, Shanghai Jiao Tong University<br>
144+
Chiyue Wei, Duke University<br>
145+
Hengfeng Wei, Nanjing University<br>
146+
Caeden Whitaker, University of Wisconsin–Madison<br>
147+
Chao Wu, Nanjing University of Science and Technology<br>
148+
Yanran Wu, Purdue University<br>
149+
Zeqing Wu, Zhengzhou University<br>
150+
Ziqiang Wu, Huazhong University of Science and Technology<br>
151+
Xingyu Xiang, Harvard University<br>
152+
Shaokang Xie, University of California, Davis<br>
153+
Yifan Xie, National University of Defense Technology<br>
154+
Guanglei Xu, Huazhong University of Science and Technology<br>
155+
Hanchen Xu, Virginia Tech<br>
156+
Haocheng Xu, University of California, Irvine<br>
157+
Tianyin Xu, University of Illinois Urbana–Champaign<br>
158+
Kaiwen Xue, University of Michigan<br>
159+
Mingxuan Yang, Imperial College London<br>
160+
Sheng Yao, Hong Kong University of Science and Technology<br>
161+
Chenhao Ye, University of Wisconsin–Madison<br>
162+
Jia Yin, Renmin University<br>
163+
Jinsun Yoo, Georgia Institute of Technology<br>
164+
Boxi Yu, Chinese University of Hong Kong<br>
165+
Diman Zad Tootaghaj, Hewlett Packard Labs<br>
166+
Wahid Uz Zaman, The Pennsylvania State University<br>
167+
Ioannis Zarkadas, Columbia University<br>
168+
Junyao Zhang, Duke University<br>
169+
Siyuan Zhang, Ohio State University<br>
170+
Songhao Zhang, University of Illinois Urbana–Champaign<br>
171+
Wenhui Zhang, ByteDance<br>
172+
Xiangqun Zhang, Syracuse University<br>
173+
Xiao Zhang, The University of Texas at Austin<br>
174+
Yuanliang Zhang, National University of Defense Technology<br>
175+
Naiqian Zheng, Peking University<br>
176+
Xinying Zheng, University of Illinois Urbana–Champaign<br>
177+
Yusheng Zheng, University of California, Santa Cruz<br>
178+
Shawn Zhong, University of Wisconsin–Madison<br>
179+
Tianle Zhong, University of Virginia<br>
180+
Yangjie Zhou, National University of Singapore<br>
181+
Jianian Zhu, Huazhong University of Science and Technology<br>
182+
Siqi Zhu, Tsinghua University<br>
183+
Zeying Zhu, University of Maryland<br>
184+
Xiangyu Zou, Harbin Institute of Technology

_conferences/osdi2025/results.md

Lines changed: 208 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,208 @@
1+
---
2+
title: Results
3+
order: 50
4+
available_img: "usenix_available.svg"
5+
available_name: "Artifacts Available"
6+
functional_img: "usenix_functional.svg"
7+
functional_name: "Artifacts Evaluated - Functional"
8+
reproduced_img: "usenix_reproduced.svg"
9+
reproduced_name: "Results Reproduced"
10+
11+
artifacts:
12+
- title: "EMT: An OS Framework for New Memory Translation Architectures"
13+
paper_url: "https://www.usenix.org/system/files/osdi25-chai-siyuan.pdf"
14+
badges: "available,functional,reproduced"
15+
16+
- title: "Paralegal: Practical Static Analysis for Privacy Bugs"
17+
paper_url: "https://www.usenix.org/system/files/osdi25-adam.pdf"
18+
badges: "available,functional,reproduced"
19+
20+
- title: "Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering"
21+
paper_url: "https://www.usenix.org/system/files/osdi25-bhat.pdf"
22+
badges: "available,functional,reproduced"
23+
24+
- title: "Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware Scheduling"
25+
paper_url: "https://www.usenix.org/system/files/osdi25-domingo.pdf"
26+
badges: "available,functional,reproduced"
27+
28+
- title: "Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash Recovery"
29+
paper_url: "https://www.usenix.org/system/files/osdi25-cui.pdf"
30+
badges: "available,functional"
31+
32+
- title: "QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach"
33+
paper_url: "https://www.usenix.org/system/files/osdi25-dong.pdf"
34+
badges: "available,functional"
35+
36+
- title: "Stripeless Data Placement for Erasure-Coded In-Memory Storage"
37+
paper_url: "https://www.usenix.org/system/files/osdi25-gao.pdf"
38+
badges: "available,functional"
39+
40+
- title: "QOS: Quantum Operating System"
41+
paper_url: "https://www.usenix.org/system/files/osdi25-giortamis.pdf"
42+
badges: "available"
43+
44+
- title: "Picsou: Enabling Replicated State Machines to Communicate Efficiently"
45+
paper_url: "https://www.usenix.org/system/files/osdi25-frank.pdf"
46+
badges: "available,functional,reproduced"
47+
48+
- title: "KPerfIR: Towards a Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads"
49+
paper_url: "https://www.usenix.org/system/files/osdi25-guan.pdf"
50+
badges: "available,functional,reproduced"
51+
52+
- title: "Achieving Low-Latency Graph-Based Vector Search via Aligning Best-First Search Algorithm with SSD"
53+
paper_url: "https://www.usenix.org/system/files/osdi25-guo.pdf"
54+
badges: "available,functional,reproduced"
55+
56+
- title: "Neutrino: Fine-grained GPU Kernel Profiling via Programmable Probing"
57+
paper_url: "https://www.usenix.org/system/files/osdi25-huang-songlin.pdf"
58+
badges: "available,functional,reproduced"
59+
60+
- title: "Tigon: A Distributed Database for a CXL Pod"
61+
paper_url: "https://www.usenix.org/system/files/osdi25-huang-yibo.pdf"
62+
badges: "available,functional,reproduced"
63+
64+
- title: "Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks"
65+
paper_url: "https://www.usenix.org/system/files/osdi25-jiang.pdf"
66+
badges: "available,functional,reproduced"
67+
68+
- title: "Bayesian Code Diffusion for Efficient Automatic Deep Learning Program Optimization"
69+
paper_url: "https://www.usenix.org/system/files/osdi25-jeong.pdf"
70+
badges: "available,functional"
71+
72+
- title: "PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection"
73+
paper_url: "https://www.usenix.org/system/files/osdi25-leblanc.pdf"
74+
badges: "available,functional,reproduced"
75+
76+
- title: "Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty"
77+
paper_url: "https://www.usenix.org/system/files/osdi25-li.pdf"
78+
badges: "available,functional,reproduced"
79+
80+
- title: "Understanding Stragglers in Large Model Training Using What-if Analysis"
81+
paper_url: "https://www.usenix.org/system/files/osdi25-lin-jinkun.pdf"
82+
badges: "available,functional"
83+
84+
- title: "Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems"
85+
paper_url: "https://www.usenix.org/system/files/osdi25-lou.pdf"
86+
badges: "available,functional"
87+
88+
- title: "Quake: Adaptive Indexing for Vector Search"
89+
paper_url: "https://www.usenix.org/system/files/osdi25-mohoney.pdf"
90+
badges: "available,functional"
91+
92+
- title: "MettEagle: Costs and Benefits of Implementing Containers on Microkernels"
93+
paper_url: "https://www.usenix.org/system/files/osdi25-miemietz.pdf"
94+
badges: "available"
95+
96+
- title: "Fast and Synchronous Crash Consistency with Metadata Write-Once File System"
97+
paper_url: "https://www.usenix.org/system/files/osdi25-pan.pdf"
98+
badges: "available,functional,reproduced"
99+
100+
- title: "Building Bridges: Safe Interactions with Foreign Languages through Omniglot"
101+
paper_url: "https://www.usenix.org/system/files/osdi25-schuermann.pdf"
102+
badges: "available,functional"
103+
104+
- title: "Enabling Efficient GPU Communication over Multiple NICs with FuseLink"
105+
paper_url: "https://www.usenix.org/system/files/osdi25-ren.pdf"
106+
badges: "available"
107+
108+
- title: "XSched: Preemptive Scheduling for Diverse XPUs"
109+
paper_url: "https://www.usenix.org/system/files/osdi25-shen-weihang.pdf"
110+
badges: "available,functional,reproduced"
111+
112+
- title: "Weave: Efficient and Expressive Oblivious Analytics at Scale"
113+
paper_url: "https://www.usenix.org/system/files/osdi25-soleimani.pdf"
114+
badges: "available,functional"
115+
116+
- title: "Scalio: Scaling up DPU-based JBOF Key-value Store with NVMe-oF Target Offload"
117+
paper_url: "https://www.usenix.org/system/files/osdi25-sun.pdf"
118+
badges: "available,functional,reproduced"
119+
120+
- title: "Quantum Virtual Machines"
121+
paper_url: "https://www.usenix.org/system/files/osdi25-tao.pdf"
122+
badges: "available,functional"
123+
124+
- title: "FineMem: Breaking the Allocation Overhead vs. Memory Waste Dilemma in Fine-Grained Disaggregated Memory Management"
125+
paper_url: "https://www.usenix.org/system/files/osdi25-wang-xiaoyang.pdf"
126+
badges: "available"
127+
128+
- title: "Mirage: A Multi-Level Superoptimizer for Tensor Programs"
129+
paper_url: "https://www.usenix.org/system/files/osdi25-wu-mengdi.pdf"
130+
badges: "available,functional,reproduced"
131+
132+
- title: "WLB-LLM: Workload-Balanced 4D Parallelism for Large Language Model Training"
133+
paper_url: "https://www.usenix.org/system/files/osdi25-wang-zheng.pdf"
134+
badges: "available,functional,reproduced"
135+
136+
- title: "Decouple and Decompose: Scaling Resource Allocation with DeDe"
137+
paper_url: "https://www.usenix.org/system/files/osdi25-xu.pdf"
138+
badges: "available,functional"
139+
140+
- title: "BlitzScale: Fast and Live Large Model Autoscaling with O(1) Host Caching"
141+
paper_url: "https://www.usenix.org/system/files/osdi25-zhang-dingyan.pdf"
142+
badges: "available"
143+
144+
- title: "KRR: Efficient and Scalable Kernel Record Replay"
145+
paper_url: "https://www.usenix.org/system/files/osdi25-zhang-tianren.pdf"
146+
badges: "available,functional,reproduced"
147+
148+
- title: "Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols"
149+
paper_url: "https://www.usenix.org/system/files/osdi25-zhang-tony.pdf"
150+
badges: "available,functional,reproduced"
151+
152+
- title: "Extending Applications Safely and Efficiently"
153+
paper_url: "https://www.usenix.org/system/files/osdi25-zheng-yusheng.pdf"
154+
badges: "available,functional,reproduced"
155+
156+
- title: "Compass: Encrypted Semantic Search with High Accuracy"
157+
paper_url: "https://www.usenix.org/system/files/osdi25-zhu-jinhao.pdf"
158+
badges: "available,functional,reproduced"
159+
160+
- title: "NanoFlow: Towards Optimal Large Language Model Serving Throughput"
161+
paper_url: "https://www.usenix.org/system/files/osdi25-zhu-kan.pdf"
162+
badges: "available,functional,reproduced"
163+
---
164+
165+
**Evaluation Results**:
166+
167+
* 38 Artifacts Available
168+
* 33 Artifacts Functional
169+
* 22 Results Reproduced
170+
171+
<table>
172+
<thead>
173+
<tr>
174+
<th>Paper title</th>
175+
<th>Avail.</th>
176+
<th>Funct.</th>
177+
<th>Repro.</th>
178+
</tr>
179+
</thead>
180+
<tbody>
181+
{% for artifact in page.artifacts %}
182+
<tr>
183+
<td>
184+
{% if artifact.paper_url %}
185+
<a href="{{artifact.paper_url}}" target="_blank">{{artifact.title}}</a>
186+
{% else %}
187+
{{ artifact.title }}
188+
{% endif %}
189+
</td>
190+
<td>
191+
{% if artifact.badges contains "available" %}
192+
<img src="{{ site.baseurl }}/images/{{ page.available_img }}" alt="{{ page.available_name }}" width="50px">
193+
{% endif %}
194+
</td>
195+
<td>
196+
{% if artifact.badges contains "functional" %}
197+
<img src="{{ site.baseurl }}/images/{{ page.functional_img }}" alt="{{ page.functional_name }}" width="50px">
198+
{% endif %}
199+
</td>
200+
<td>
201+
{% if artifact.badges contains "reproduced" %}
202+
<img src="{{ site.baseurl }}/images/{{ page.reproduced_img }}" alt="{{ page.reproduced_name }}" width="50px">
203+
{% endif %}
204+
</td>
205+
</tr>
206+
{% endfor %}
207+
</tbody>
208+
</table>

0 commit comments

Comments
 (0)