updates

Author: ryanphuang

_data/allpubs.yml

@@ -1,10 +1,10 @@
-- title: 'Verifying Distributed Deep Learning Training via Parallelization Equivalence'
+- title: 'TrainVerify: Equivalence-Based Verification for Distributed LLM Training'
   conference: SOSP 2025
   year: 2025
   authors:
     - yunchi
-    - chengtan
     - youshan
+    - chengtan
     - ryan
     - yizhu
     - xianzhang
@@ -13,7 +13,15 @@
     conference:
       url: https://sigops.org/s/conferences/sosp/2025/
     paper:
-      url: '#'
+      url: paper/trainverify-sosp25.pdf
+    bib:
+      url: paper/trainverify.bib
+    arxiv:
+      url: https://arxiv.org/abs/2506.15961
+    talk:
+      url: slides/trainverify_sosp25_slides.pdf
+    software:
+      url: https://github.com/verify-llm/TrainVerify
 - title: 'Optimistic Recovery for High-Availability Software via Partial Process State Preservation'
   conference: SOSP 2025
   year: 2025
@@ -30,7 +38,13 @@
     conference:
       url: https://sigops.org/s/conferences/sosp/2025/
     paper:
-      url: '#'
+      url: paper/phoenix-sosp25.pdf
+    bib:
+      url: paper/phoenix.bib
+    talk:
+      url: slides/phoenix_sosp25_slides.pdf
+    software:
+      url: https://github.com/OrderLab/phoenix
 - title: 'Mitigating Application Resource Overload with Targeted Task Cancellation'
   conference: SOSP 2025
   year: 2025
@@ -46,7 +60,13 @@
     conference:
       url: https://sigops.org/s/conferences/sosp/2025/
     paper:
-      url: '#'
+      url: paper/atropos-sosp25.pdf
+    bib:
+      url: paper/atropos.bib
+    talk:
+      url: slides/atropos_sosp25_slides.pdf
+    software:
+      url: https://github.com/OrderLab/Atropos
 - title: 'Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks'
   conference: OSDI 2025
   year: 2025

_data/authors.yml

@@ -227,7 +227,7 @@ ruiming:
     url: https://ruiming-lu.github.io
 yunchi:
     name: Yunchi Lu
-    url: https://mercury-browser-ede.notion.site/yunchi
+    url: https://luyunchi.github.io
 yuxuan:
     name: Yuxuan Jiang
     url: https://essoz.github.io