deploy: 99d287c

ryanphuang · ryanphuang · commit ad91cfbe8799 · 2025-07-14T16:18:29.000Z
diff --git a/404.html b/404.html
@@ -19,6 +19,7 @@
   <link rel="stylesheet" href="/vendors/flaticon/flaticon.css" />
   <link rel="stylesheet" href="/vendors/owl-carousel/owl.carousel.min.css">
   <link rel="stylesheet" href="/assets/css/style.css">
+  <link rel="stylesheet" href="/assets/css/site.css">
 </head>
 
   <body>
diff --git a/about.html b/about.html
@@ -19,6 +19,7 @@
   <link rel="stylesheet" href="/vendors/flaticon/flaticon.css" />
   <link rel="stylesheet" href="/vendors/owl-carousel/owl.carousel.min.css">
   <link rel="stylesheet" href="/assets/css/style.css">
+  <link rel="stylesheet" href="/assets/css/site.css">
 </head>
 
   <body>
diff --git a/activity.html b/activity.html
@@ -19,6 +19,7 @@
   <link rel="stylesheet" href="/vendors/flaticon/flaticon.css" />
   <link rel="stylesheet" href="/vendors/owl-carousel/owl.carousel.min.css">
   <link rel="stylesheet" href="/assets/css/style.css">
+  <link rel="stylesheet" href="/assets/css/site.css">
 </head>
 
   <body>
diff --git a/assets/css/site.css b/assets/css/site.css
@@ -0,0 +1,3 @@
+.authorlist i {
+  color: #333;
+}
diff --git a/feed.xml b/feed.xml
@@ -1 +1 @@
-<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.2.2">Jekyll</generator><link href="/feed.xml" rel="self" type="application/atom+xml" /><link href="/" rel="alternate" type="text/html" /><updated>2025-07-14T09:36:14-04:00</updated><id>/feed.xml</id><title type="html">Ordered Systems Lab at U-M</title><subtitle>This is the website for the Ordered Systems Lab (a.k.a Order Lab) at University of Michigan, led by Prof. Ryan Huang.</subtitle></feed>
+<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.2.2">Jekyll</generator><link href="/feed.xml" rel="self" type="application/atom+xml" /><link href="/" rel="alternate" type="text/html" /><updated>2025-07-14T12:18:23-04:00</updated><id>/feed.xml</id><title type="html">Ordered Systems Lab at U-M</title><subtitle>This is the website for the Ordered Systems Lab (a.k.a Order Lab) at University of Michigan, led by Prof. Ryan Huang.</subtitle></feed>
diff --git a/index.html b/index.html
@@ -19,6 +19,7 @@
   <link rel="stylesheet" href="/vendors/flaticon/flaticon.css" />
   <link rel="stylesheet" href="/vendors/owl-carousel/owl.carousel.min.css">
   <link rel="stylesheet" href="/assets/css/style.css">
+  <link rel="stylesheet" href="/assets/css/site.css">
 </head>
 
   <body>
diff --git a/join.html b/join.html
@@ -19,6 +19,7 @@
   <link rel="stylesheet" href="/vendors/flaticon/flaticon.css" />
   <link rel="stylesheet" href="/vendors/owl-carousel/owl.carousel.min.css">
   <link rel="stylesheet" href="/assets/css/style.css">
+  <link rel="stylesheet" href="/assets/css/site.css">
 </head>
 
   <body>
diff --git a/news.html b/news.html
@@ -19,6 +19,7 @@
   <link rel="stylesheet" href="/vendors/flaticon/flaticon.css" />
   <link rel="stylesheet" href="/vendors/owl-carousel/owl.carousel.min.css">
   <link rel="stylesheet" href="/assets/css/style.css">
+  <link rel="stylesheet" href="/assets/css/site.css">
 </head>
 
   <body>
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/projects.html b/projects.html
@@ -19,6 +19,7 @@
   <link rel="stylesheet" href="/vendors/flaticon/flaticon.css" />
   <link rel="stylesheet" href="/vendors/owl-carousel/owl.carousel.min.css">
   <link rel="stylesheet" href="/assets/css/style.css">
+  <link rel="stylesheet" href="/assets/css/site.css">
 </head>
 
   <body>
diff --git a/pubs.html b/pubs.html
@@ -19,6 +19,7 @@
   <link rel="stylesheet" href="/vendors/flaticon/flaticon.css" />
   <link rel="stylesheet" href="/vendors/owl-carousel/owl.carousel.min.css">
   <link rel="stylesheet" href="/assets/css/style.css">
+  <link rel="stylesheet" href="/assets/css/site.css">
 </head>
 
   <body>
@@ -61,19 +62,33 @@ <h1>Publications</h1>
       </section>
       <!--================ End banner =================-->
   		<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>
@@ -108,13 +123,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>
@@ -162,7 +177,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>
@@ -184,7 +199,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>
 
@@ -204,7 +219,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>
@@ -338,7 +353,7 @@ <h2 id="publications">2010</h2>
         </li>
 
       </ul>
-  </div>
+    </div>
 </section>
 
     	<!-- ================ Start footer area ================= -->
@@ -348,7 +363,7 @@ <h2 id="publications">2010</h2>
     <p class="footer-text m-0 col-lg-8 col-md-12">
       Copyright &copy; OrderLab 2017-<script>
  document.write(new Date().getFullYear());
-      </script> All rights reserved. | Last updated 2025-07-14 03:03:26 -0400.
+      </script> All rights reserved. | Last updated 2025-07-14 12:16:57 -0400.
     </p>
   </div>
 </div>
diff --git a/software.html b/software.html
@@ -19,6 +19,7 @@
   <link rel="stylesheet" href="/vendors/flaticon/flaticon.css" />
   <link rel="stylesheet" href="/vendors/owl-carousel/owl.carousel.min.css">
   <link rel="stylesheet" href="/assets/css/style.css">
+  <link rel="stylesheet" href="/assets/css/site.css">
 </head>
 
   <body>
diff --git a/team.html b/team.html
@@ -19,6 +19,7 @@
   <link rel="stylesheet" href="/vendors/flaticon/flaticon.css" />
   <link rel="stylesheet" href="/vendors/owl-carousel/owl.carousel.min.css">
   <link rel="stylesheet" href="/assets/css/style.css">
+  <link rel="stylesheet" href="/assets/css/site.css">
 </head>
 
   <body>

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+.authorlist i {`
	`2`	`+ color: #333;`
	`3`	`+}`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		-<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.2.2">Jekyll</generator><link href="/feed.xml" rel="self" type="application/atom+xml" /><link href="/" rel="alternate" type="text/html" /><updated>2025-07-14T09:36:14-04:00</updated><id>/feed.xml</id><title type="html">Ordered Systems Lab at U-M</title><subtitle>This is the website for the Ordered Systems Lab (a.k.a Order Lab) at University of Michigan, led by Prof. Ryan Huang.</subtitle></feed>
	`1`	+<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.2.2">Jekyll</generator><link href="/feed.xml" rel="self" type="application/atom+xml" /><link href="/" rel="alternate" type="text/html" /><updated>2025-07-14T12:18:23-04:00</updated><id>/feed.xml</id><title type="html">Ordered Systems Lab at U-M</title><subtitle>This is the website for the Ordered Systems Lab (a.k.a Order Lab) at University of Michigan, led by Prof. Ryan Huang.</subtitle></feed>