update pubs

ryanphuang · ryanphuang · commit 99d287c25e82 · 2025-07-14T12:16:57.000-04:00
diff --git a/_data/allpubs.yml b/_data/allpubs.yml
@@ -1,3 +1,52 @@
+- title: 'Verifying Distributed Deep Learning Training via Parallelization Equivalence'
+  conference: SOSP 2025
+  year: 2025
+  authors:
+    - yunchi
+    - chengtan
+    - youshan
+    - ryan
+    - yizhu
+    - xianzhang
+    - fanyang
+  links:
+    conference:
+      url: https://sigops.org/s/conferences/sosp/2025/
+    paper:
+      url: '#'
+- title: 'Optimistic Recovery for High-Availability Software via Partial Process State Preservation'
+  conference: SOSP 2025
+  year: 2025
+  authors:
+    - yuzhuo
+    - yuqimai
+    - angting
+    - yichen
+    - wanning
+    - xiaoyang
+    - peter
+    - ryan
+  links:
+    conference:
+      url: https://sigops.org/s/conferences/sosp/2025/
+    paper:
+      url: '#'
+- title: 'Mitigating Application Resource Overload with Targeted Task Cancellation'
+  conference: SOSP 2025
+  year: 2025
+  authors:
+    - yigong
+    - zeyin
+    - yicheng
+    - yile
+    - shuangyu
+    - baris
+    - ryan
+  links:
+    conference:
+      url: https://sigops.org/s/conferences/sosp/2025/
+    paper:
+      url: '#'
 - title: 'Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks'
   conference: OSDI 2025
   year: 2025
@@ -12,7 +61,11 @@
     conference:
       url: https://www.usenix.org/conference/osdi25
     paper:
-      url: '#'
+      url: paper/traincheck-osdi25-preprint.pdf
+    bib:
+      url: paper/traincheck-osdi25.bib
+    arxiv:
+      url: https://www.arxiv.org/abs/2506.14813
     software:
       url: https://github.com/OrderLab/TrainCheck
 - title: 'Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems'
@@ -33,7 +86,9 @@
     conference:
       url: https://www.usenix.org/conference/osdi25
     paper:
-      url: '#'
+      url: paper/t2c-osdi25-preprint.pdf
+    bib:
+      url: paper/t2c-osdi25.bib
     software:
       url: https://github.com/OrderLab/T2C
 - title: 'One-Size-Fits-None: Understanding and Enhancing Slow-Fault Tolerance in Modern Distributed Systems'
diff --git a/_data/authors.yml b/_data/authors.yml
@@ -109,7 +109,7 @@ calvin:
     url: http://cs.unc.edu/~cd
 yigong:
     name: Yigong Hu
-    url: https://www.cs.jhu.edu/~yigonghu
+    url: https://yigonghu.github.io
 suyi:
     name: Suyi Liu
     url: https://sylll.github.io
@@ -251,3 +251,44 @@ beijie:
     name: Beijie Liu
 runhui:
     name: Runhui Xu
+chengtan:
+    name: Cheng Tan
+    url: https://naizhengtan.github.io
+youshan:
+    name: Youshan Miao
+    url: https://www.microsoft.com/en-us/research/people/yomia
+yizhu:
+    name: Yi Zhu
+    url: https://www.microsoft.com/en-us/research/people/yizhu1
+xianzhang:
+    name: Xian Zhang
+    url: https://www.microsoft.com/en-us/research/people/zhxian
+fanyang:
+    name: Fan Yang
+    url: https://www.microsoft.com/en-us/research/people/fanyang
+yuqimai:
+    name: Yuqi Mai
+angting:
+    name: Angting Cai
+yichen:
+    name: Yi Chen
+    url: https://chenyi.world
+wanning:
+    name: Wanning He
+    url: https://hwanning.netlify.app
+xiaoyang:
+    name: Xiaoyang Qian
+peter:
+    name: Peter M. Chen
+    url: https://web.eecs.umich.edu/~pmchen
+zeyin:
+    name: Zeyin Zhang
+yicheng:
+    name: Yicheng Liu
+yile:
+    name: Yile Gu
+shuangyu:
+    name: Shuangyu Lei
+baris:
+    name: Baris Kasikci
+    url: https://homes.cs.washington.edu/~baris
diff --git a/_includes/head.html b/_includes/head.html
@@ -17,4 +17,5 @@
   <link rel="stylesheet" href="{{ '/vendors/flaticon/flaticon.css' | relative_url }}" />
   <link rel="stylesheet" href="{{ '/vendors/owl-carousel/owl.carousel.min.css' | relative_url }}">
   <link rel="stylesheet" href="{{ '/assets/css/style.css' | relative_url }}">
+  <link rel="stylesheet" href="{{ '/assets/css/site.css' | relative_url }}">
 </head>
diff --git a/_layouts/publication.html b/_layouts/publication.html
@@ -1,3 +1,5 @@
+<section class="section-margin">
+    <div class="container">
 {%- assign allpubs = site.data.allpubs -%}
 {%- assign prevyear = null -%}
 {%- for pub in allpubs -%}
@@ -12,3 +14,5 @@ <h2 id="publications">{{ pub.year }}</h2>
   {%- include pubitem.html pub=pub -%}
 {%- endfor %}
       </ul>
+    </div>
+</section>
diff --git a/assets/css/site.css b/assets/css/site.css
@@ -0,0 +1,3 @@
+.authorlist i {
+  color: #333;
+}
diff --git a/paper/t2c-osdi25-preprint.pdf b/paper/t2c-osdi25-preprint.pdf
diff --git a/paper/t2c-osdi25.bib b/paper/t2c-osdi25.bib
@@ -0,0 +1,10 @@
+@inproceedings{T2COSDI2025,
+  author = {Lou, Chang and Parikesit, Dimas Shidqi and Huang, Yujin and Yang, Zhewen and Diwangkara, Senapati and Jing, Yuzhuo and Kistijantoro, Achmad Imam and Yuan, Ding and Nath, Suman and Huang, Peng},
+  title = {Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems},
+  booktitle = {Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation},
+  series = {OSDI '25},
+  month = {July},
+  year = {2025},
+  address = {Boston, MA, USA},
+  publisher = {USENIX Association},
+}
diff --git a/paper/traincheck-osdi25-preprint.pdf b/paper/traincheck-osdi25-preprint.pdf
diff --git a/pubs.html b/pubs.html
@@ -3,19 +3,33 @@
 title: Publications
 ---
 <section class="section-margin">
-	<div class="container">
+    <div class="container">
       <h2 id="publications">2025</h2>
       <ul class="publications">
         <li>
-          <a target="_blank" href="paper/traincheck-osdi25-preprint.pdf">Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks/a><br>
+          <a target="_blank" href="#">Verifying Distributed Deep Learning Training via Parallelization Equivalence</a><br>
+          <span class="authorlist"><i><a href="https://mercury-browser-ede.notion.site/yunchi" class="nodec">Yunchi Lu</a>, </i><i><a href="https://naizhengtan.github.io" class="nodec">Cheng Tan</a>, </i><i><a href="https://www.microsoft.com/en-us/research/people/yomia" class="nodec">Youshan Miao</a>, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a>, </i><i><a href="https://www.microsoft.com/en-us/research/people/yizhu1" class="nodec">Yi Zhu</a>, </i><i><a href="https://www.microsoft.com/en-us/research/people/zhxian" class="nodec">Xian Zhang</a>, </i><i><a href="https://www.microsoft.com/en-us/research/people/fanyang" class="nodec">Fan Yang</a><br></i></span>
+          <a target="_blank" href="https://sigops.org/s/conferences/sosp/2025/" class="conf"><b>SOSP 2025</b></a>
+        </li>
+        <li>
+          <a target="_blank" href="#">Optimistic Recovery for High-Availability Software via Partial Process State Preservation</a><br>
+          <span class="authorlist"><i><a href="https://osdi.dev" class="nodec">Yuzhuo Jing</a>, </i><i>Yuqi Mai, </i><i>Angting Cai, </i><i><a href="https://chenyi.world" class="nodec">Yi Chen</a>, </i><i><a href="https://hwanning.netlify.app" class="nodec">Wanning He</a>, </i><i>Xiaoyang Qian, </i><i><a href="https://web.eecs.umich.edu/~pmchen" class="nodec">Peter M. Chen</a>, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a><br></i></span>
+          <a target="_blank" href="https://sigops.org/s/conferences/sosp/2025/" class="conf"><b>SOSP 2025</b></a>
+        </li>
+        <li>
+          <a target="_blank" href="#">Mitigating Application Resource Overload with Targeted Task Cancellation</a><br>
+          <span class="authorlist"><i><a href="https://yigonghu.github.io" class="nodec">Yigong Hu</a>, </i><i>Zeyin Zhang, </i><i>Yicheng Liu, </i><i>Yile Gu, </i><i>Shuangyu Lei, </i><i><a href="https://homes.cs.washington.edu/~baris" class="nodec">Baris Kasikci</a>, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a><br></i></span>
+          <a target="_blank" href="https://sigops.org/s/conferences/sosp/2025/" class="conf"><b>SOSP 2025</b></a>
+        </li>
+        <li>
+          <a target="_blank" href="paper/traincheck-osdi25-preprint.pdf">Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks</a><br>
           <span class="authorlist"><i><a href="https://essoz.github.io" class="nodec">Yuxuan Jiang</a>, </i><i>Ziming Zhou, </i><i>Boyu Xu, </i><i>Beijie Liu, </i><i>Runhui Xu, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a><br></i></span>
-          <a target="_blank" href="https://www.usenix.org/conference/osdi25" class="conf"><b>OSDI 2025</b></a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="paper/traincheck-osdi25.bib">BibTeX</a>
-          &nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="https://github.com/OrderLab/TrainCheck">Software</a>
+          <a target="_blank" href="https://www.usenix.org/conference/osdi25" class="conf"><b>OSDI 2025</b></a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="paper/traincheck-osdi25.bib">BibTeX</a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="https://github.com/OrderLab/TrainCheck">Software</a>&nbsp;&nbsp;<a target="_blank" role="button" class="btn btn-outline-primary publinkitem" href="https://www.arxiv.org/abs/2506.14813">[ArXiv]</a>
         </li>
         <li>
-          <a target="_blank" href="#">Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems</a><br>
+          <a target="_blank" href="paper/t2c-osdi25-preprint.pdf">Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems</a><br>
           <span class="authorlist"><i><a href="https://www.cs.jhu.edu/~chlou/about" class="nodec">Chang Lou</a>, </i><i>Dimas Shidqi Parikesit, </i><i>Yujin Huang, </i><i>Zhewen Yang, </i><i>Senapati Diwangkara, </i><i><a href="https://osdi.dev" class="nodec">Yuzhuo Jing</a>, </i><i>Achmad Imam Kistijantoro, </i><i><a href="http://www.eecg.toronto.edu/~yuan" class="nodec">Ding Yuan</a>, </i><i><a href="https://www.microsoft.com/en-us/research/people/sumann" class="nodec">Suman Nath</a>, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a><br></i></span>
-          <a target="_blank" href="https://www.usenix.org/conference/osdi25" class="conf"><b>OSDI 2025</b></a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="https://github.com/OrderLab/T2C">Software</a>
+          <a target="_blank" href="https://www.usenix.org/conference/osdi25" class="conf"><b>OSDI 2025</b></a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="paper/t2c-osdi25.bib">BibTeX</a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="https://github.com/OrderLab/T2C">Software</a>
         </li>
         <li>
           <a target="_blank" href="paper/xinda-nsdi25-preprint.pdf">One-Size-Fits-None: Understanding and Enhancing Slow-Fault Tolerance in Modern Distributed Systems</a><br>
@@ -50,13 +64,13 @@ <h2 id="publications">2023</h2>
         </li>
         <li>
           <a target="_blank" href="paper/pbox-sosp23.pdf">Pushing Performance Isolation Boundaries into Application with pBox</a><br>
-          <span class="authorlist"><i><a href="https://www.cs.jhu.edu/~yigonghu" class="nodec">Yigong Hu</a>, </i><i><a href="https://gongqihuang.com" class="nodec">Gongqi Huang</a>, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a><br></i></span>
+          <span class="authorlist"><i><a href="https://yigonghu.github.io" class="nodec">Yigong Hu</a>, </i><i><a href="https://gongqihuang.com" class="nodec">Gongqi Huang</a>, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a><br></i></span>
           <a target="_blank" href="https://sosp2023.mpi-sws.org" class="conf"><b>SOSP 2023</b></a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="paper/pbox-sosp23.bib">BibTeX</a>
           &nbsp;&nbsp;<a target="_blank" role="button" class="btn btn-outline-primary publinkitem" href="slides/pbox_sosp23_slides.pdf">Slides</a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="https://github.com/OrderLab/pBox">Software</a>
         </li>
         <li>
           <a target="_blank" href="paper/vprof-eurosys23.pdf">Effective Performance Issue Diagnosis with Value-Assisted Cost Profiling</a><br>
-          <span class="authorlist"><i>Lingmei Weng, </i><i><a href="https://www.cs.jhu.edu/~yigonghu" class="nodec">Yigong Hu</a>, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a>, </i><i><a href="http://www.cs.columbia.edu/~nieh" class="nodec">Jason Nieh</a>, </i><i><a href="http://www.cs.columbia.edu/~junfeng" class="nodec">Junfeng Yang</a><br></i></span>
+          <span class="authorlist"><i>Lingmei Weng, </i><i><a href="https://yigonghu.github.io" class="nodec">Yigong Hu</a>, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a>, </i><i><a href="http://www.cs.columbia.edu/~nieh" class="nodec">Jason Nieh</a>, </i><i><a href="http://www.cs.columbia.edu/~junfeng" class="nodec">Junfeng Yang</a><br></i></span>
           <a target="_blank" href="https://2023.eurosys.org" class="conf"><b>EuroSys 2023</b></a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="paper/vprof-eurosys23.bib">BibTeX</a>
           &nbsp;&nbsp;<a target="_blank" role="button" class="btn btn-outline-primary publinkitem" href="slides/vprof_eurosys23_slides.pdf">Slides</a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="https://github.com/wenglingmei/vprofAE">Software</a>
         </li>
@@ -104,7 +118,7 @@ <h2 id="publications">2020</h2>
       <ul class="publications">
         <li>
           <a target="_blank" href="paper/violet-osdi20.pdf">Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution</a><br>
-          <span class="authorlist"><i><a href="https://www.cs.jhu.edu/~yigonghu" class="nodec">Yigong Hu</a>, </i><i><a href="https://gongqihuang.com" class="nodec">Gongqi Huang</a>, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a><br></i></span>
+          <span class="authorlist"><i><a href="https://yigonghu.github.io" class="nodec">Yigong Hu</a>, </i><i><a href="https://gongqihuang.com" class="nodec">Gongqi Huang</a>, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a><br></i></span>
           <a target="_blank" href="https://www.usenix.org/conference/osdi20" class="conf"><b>OSDI 2020</b></a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="paper/violet-osdi20.bib">BibTeX</a>
           &nbsp;&nbsp;<a target="_blank" role="button" class="btn btn-outline-primary publinkitem" href="slides/violet_osdi20_slides.pdf">Slides</a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="https://github.com/OrderLab/violet">Software</a>&nbsp;&nbsp;<a target="_blank" role="button" class="btn btn-outline-primary publinkitem" href="paper/violet-tech-report.pdf">TechReport</a>
         </li>
@@ -126,7 +140,7 @@ <h2 id="publications">2020</h2>
         </li>
         <li>
           <a target="_blank" href="paper/sdig-aaai20-workshop.pdf">Scaling Performance Issue Detection and Diagnosis in Cloud Infrastructures</a><br>
-          <span class="authorlist"><i><a href="https://www.cs.jhu.edu/~yigonghu" class="nodec">Yigong Hu</a>, </i><i>Ze Li, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a>, </i><i>Suhas Pinnamaneni, </i><i>Francis David, </i><i>Yingnong Dang, </i><i>Murali Chintalapati<br></i></span>
+          <span class="authorlist"><i><a href="https://yigonghu.github.io" class="nodec">Yigong Hu</a>, </i><i>Ze Li, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a>, </i><i>Suhas Pinnamaneni, </i><i>Francis David, </i><i>Yingnong Dang, </i><i>Murali Chintalapati<br></i></span>
           <a target="_blank" href="https://cloudintelligenceworkshop.org" class="conf"><b>AAAI-20 Workshop on Cloud Intelligence</b></a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="paper/sdig-aaai20.bib">BibTeX</a>
         </li>
 
@@ -146,7 +160,7 @@ <h2 id="publications">2019</h2>
         </li>
         <li>
           <a target="_blank" href="paper/leaseos-asplos19.pdf">A Case for Lease-Based, Utilitarian Resource Management on Mobile Devices</a>&nbsp;&nbsp;&nbsp;<b style="color:green">[Best Paper Award]</b><br>
-          <span class="authorlist"><i><a href="https://www.cs.jhu.edu/~yigonghu" class="nodec">Yigong Hu</a>, </i><i><a href="https://sylll.github.io" class="nodec">Suyi Liu</a>, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a><br></i></span>
+          <span class="authorlist"><i><a href="https://yigonghu.github.io" class="nodec">Yigong Hu</a>, </i><i><a href="https://sylll.github.io" class="nodec">Suyi Liu</a>, </i><i><a href="https://web.eecs.umich.edu/~ryanph" class="nodec">Peng Huang</a><br></i></span>
           <a target="_blank" href="https://asplos-conference.org" class="conf"><b>ASPLOS 2019</b></a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="paper/leaseos.bib">BibTeX</a>
           &nbsp;&nbsp;<a target="_blank" role="button" class="btn btn-outline-primary publinkitem" href="slides/leaseos_asplos19_slides.pptx">Slides</a>&nbsp;&nbsp;<a target="_blank" class="btn btn-outline-primary publinkitem" href="https://orderlab.io/LeaseOS">Software</a><br><div class="press"><b>Coverage:</b> <a target="_blank" href="https://blog.acolyer.org/2019/05/31/lease-os">The Morning Paper</a> </div>
         </li>
@@ -280,5 +294,5 @@ <h2 id="publications">2010</h2>
         </li>
 
       </ul>
-  </div>
+    </div>
 </section>

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+.authorlist i {`
	`2`	`+ color: #333;`
	`3`	`+}`